Using a constraint satisfaction formulation and solution techniques for random test program generation
- Eyal Bin
- Roy Emek
- et al.
- 2002
- IBM Systems Journal
Paper
Publications
9271 results for Computer Science
Machine learning in a multimedia document retrieval framework
- Michael P. Perrone
- Gregory F. Russell
- et al.
- 2002
- IBM Systems Journal
PaperSoftware debugging, testing, and verification
- Brent Hailpern
- Padmanabhan Santhanam
- 2002
- IBM Systems Journal
PaperChallenges and future directions for the scaling of dynamic random-access memory (DRAM)
- Jack A. Mandelman
- Robert H. Dennard
- et al.
- 2002
- IBM J. Res. Dev
ReviewReliability limits for the gate insulator in CMOS technology
- 2002
- IBM J. Res. Dev
ReviewInfrastructure requirements for a large-scale, multi-site VLSI development project
- Gregory P. Rodgers
- Isidore G. Bendrihem
- et al.
- 2002
- IBM J. Res. Dev
ReviewBeyond the conventional transistor
- H.-S. Philip Wong
- 2002
- IBM J. Res. Dev
ReviewAn architecture of diversity for commonsense reasoning
- J. McCarthy
- M. Minsky
- et al.
- 2002
- IBM Systems Journal
ReviewInterconnect opportunities for gigascale integration
- James D. Meindl
- Jeffrey A. Davis
- et al.
- 2002
- IBM J. Res. Dev
ReviewHypergeometric functions in Exact Geometric Computation
- Zilin Du
- Maria Eleftheriou
- et al.
- 2002
- Electronic Notes in Theoretical Computer Science
Conference paper