1999
7 references published this year.
A WP-calculus for OO
Frank S. de Boer (1999) · Foundations of Software Science and Computation Structures
VLSI architecture: Past, present, and future
William J. Dally et al. (1999) · Proceedings 20th Anniversary Conference on Advanced Research in VLSI
The Russians Are Coming: Supercomputer Maker Elbrus Seeks to Join x86/IA-64 Melee
Keith Diefendorff (1999) · Microprocessor Report
JML: A Notation for Detailed Design
Gary T. Leavens et al. (1999) · Behavioral Specifications of Businesses and Systems
The logic of bunched implications
Peter W. O'Hearn et al. (1999) · Bulletin of Symbolic Logic
Formally Verifying IEEE Compliance of Floating-Point Hardware
John W. O'Leary et al. (1999) · Intel Technology Journal