1999
9 references published this year.
A WP-calculus for OO
Frank S. de Boer (1999) · Foundations of Software Science and Computation Structures · Springer
VLSI architecture: Past, present, and future
William J. Dally and others (1999) · Proceedings 20th Anniversary Conference on Advanced Research in VLSI · IEEE
The Russians Are Coming: Supercomputer Maker Elbrus Seeks to Join x86/IA-64 Melee
Keith Diefendorff (1999) · Microprocessor Report
Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C
Tapani Hyttinen and others (1999) · The Journal of Symbolic Logic
Differential Power Analysis
Paul Kocher and others (1999) · Advances in Cryptology — CRYPTO '99 · Springer Science+Business Media
JML: A Notation for Detailed Design
Gary T. Leavens and others (1999) · Behavioral Specifications of Businesses and Systems · Springer US
The logic of bunched implications
Peter W. O'Hearn and others (1999) · Bulletin of Symbolic Logic
Formally Verifying IEEE Compliance of Floating-Point Hardware
John W. O'Leary and others (1999) · Intel Technology Journal
Partitioning in avionics architectures: Requirements, mechanisms, and assurance
John Rushby (1999) · NASA Langley Research Center