The IBM JBICB-ABIC Verification Suite
- P.S. Colyer
- Joan L. Mitchell
- 1998
- IBM J. Res. Dev
Paper
Publications
9271 results for Computer Science
Silicon light-valve array chip for high-resolution reflective liquid crystal projection displays
- J.L. Sanford
- E.S. Schlig
- et al.
- 1998
- IBM J. Res. Dev
PaperIncreasing electronic display information content: An introduction
- P.M. Alt
- K. Noda
- 1998
- IBM J. Res. Dev
PaperProgressive search and retrieval in large image archives
- V. Castelli
- L. Bergman
- et al.
- 1998
- IBM J. Res. Dev
PaperPredictive model-based compensation schemes for robust speech recognition
- M.J.F. Gales
- 1998
- Speech Communication
PaperA security architecture for the internet protocol
- P.-C. Cheng
- Juan A. Garay
- et al.
- 1998
- IBM Systems Journal
PaperSOI for digital CMOS VLSI: Design considerations and advances
- Ching-T.E. Chuang
- L.U. Pong-Fei
- et al.
- 1998
- Proceedings of the IEEE
PaperOscillatory magnetic properties
- R. Allenspach
- W. Weber
- 1998
- IBM J. Res. Dev
PaperProtecting the computation results of free-roaming agents
- G. Karjoth
- N. Asokan
- et al.
- 1998
- Personal and Ubiquitous Computing
PaperFully polynomial byzantine agreement for n > 3t processors in t + 1 rounds
- Juan A. Garay
- Yoram Moses
- 1998
- SIAM Journal on Computing
Paper