Solving the generalized mask constraint for test generation of binary floating point add operation
- Abraham Ziv
- Laurent Fournier
- 2003
- Theoretical Computer Science
Paper
Publications
26904 results for Science
The Bancomat problem: An example of resource allocation in a partitionable asynchronous system
- Jeremy Sussman
- Keith Marzullo
- 2003
- Theoretical Computer Science
PaperSix orders of magnitude in linear tape technology: The one-terabyte project
- Edwin R. Ed Childers
- Wayne Imaino
- et al.
- 2003
- IBM J. Res. Dev
PaperThe new dynamics of strategy: Sense-making in a complex and complicated world
- C.F. Kurtz
- D.J. Snowden
- 2003
- IBM Systems Journal
PaperHigh-quality crystalline layer transfer from a silicon-on-insulator substrate onto a sapphire substrate using wafer bonding
- D. Singh
- L.T. Shi
- et al.
- 2003
- Journal of Electronic Materials
PaperStudy of the reaction mechanism between electroless Ni-P and Sn and its effect on the crystallization of Ni-P
- Y.C. Sohn
- Jin Yu
- et al.
- 2003
- Journal of Materials Research
PaperApplication of an SOI 0.12-μm CMOS technology to SoCs with low-power and high-frequency circuits
- Jean-Olivier Plouchart
- Noah Zamdmer
- et al.
- 2003
- IBM J. Res. Dev
PaperBusiness artifacts: An approach to operational specification
- A. Nigam
- N.S. Caswell
- 2003
- IBM Systems Journal
PaperDiamond-like carbon coatings as biocompatible materials - An overview
- A. Grill
- 2003
- Diamond and Related Materials
PaperTechnological impact of magnetic hard disk drives on storage systems
- E. Grochowski
- R.D. Halem
- 2003
- IBM Systems Journal
Paper