1997

100 references published this year.

A logic of object-oriented programs
Martín Abadi and others (1997) · TAPSOFT '97: Theory and Practice of Software Development · Springer
An introduction to binary decision diagrams
H. R. Andersen (1997) · 1997.
A low-power microprocessor based on resonant energy
W.C. Athas and others (1997) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Abstract Modelling of Asynchronous Micropipeline Systems using Rainbow
Howard Barringer and others (1997) · Springer Nature
Reverse engineering is reverse forward engineering
Ira D. Baxter and others (1997) · IEEE Comput. Soc
A note on negligible functions
Mihir Bellare (1997) · Department of Computer Science and Engineering, University of California at San Diego
Compositional reasoning in model checking
Sergey Berezin and others (1997) · International Symposium on Compositionality · Springer
Links and Law: Myths
Tim Berners-Lee (1997)
Vpr: a new packing, placement and routing tool for fpga research
Vaughn Betz and others (1997) · Field- Programmable Logic and Applications
Differential fault analysis of secret key cryptosystems
Eli Biham and others (1997) · Lecture notes in computer science · Springer Science+Business Media
Self-generating clock using an augmented distribution network
G. Blair (1997) · Institution of Engineering and Technology (IET)
On the Importance of Checking Cryptographic Protocols for Faults
Dan Boneh and others (1997) · Lecture notes in computer science · Springer Science+Business Media
The Classical Decision Problem
Egon Börger and others (1997) · Springer Nature
Asynchronous wrapper for heterogeneous systems
David S. Bormann and others (1997) · IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD) · Institute of Electrical and Electronics Engineers
Using reflection to build efficient and certified decision procedures
Samuel Boutin (1997) · Lecture notes in computer science · Springer Science+Business Media
The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor
B. C. Brock and others (1997) · Springer Science and Business Media LLC
Disco: Running commodity operating systems on scalable multiprocessors
Edouard Bugnion and others (1997) · ACM Transactions on Computer Systems
Billion-Transistor Architectures
D. Burger and others (1997) · Institute of Electrical and Electronics Engineers (IEEE)
The SimpleScalar tool set, version 2.0
D. Burger and others (1997) · Association for Computing Machinery (ACM)
Proof Planning for Automating Hardware Verification
Francisco Javier Cantu-Ortiz (1997)
*PBHD: An Efficient Graph Representation for Floating Point Circuit Verification
Yirng-An Chen and others (1997) · Carnegie Mellon University, Department of Computer Science
Set theory for the working mathematician
Krzysztof Ciesielski (1997) · Cambridge University Press
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers
Jordi Cortadella and others (1997) · IEICE Transactions on information and Systems
The Sovereign Individual: Mastering the Transition to the Information Age
James Dale Davidson and others (1997) · Simon & Schuster
Tactical Digital Information Link (TADIL) J Range Extension (JRE)
Barry B. Davis and others (1997)
The number sense: How the mind creates mathematics
S. Dehaene (1997) · Oxford University Press, USA
Getting around non-executable stack (and fix)
Solar Designer (1997)
The Ariane 5 software failure
Mark Dowson (1997) · Association for Computing Machinery (ACM)
Sequences, Discrepancies and Applications
Michael Drmota and others (1997) · Springer Berlin Heidelberg
The Mathematics of the Pentium Division Bug
Alan Edelman (1997) · SIAM Review · Society for Industrial & Applied Mathematics (SIAM)
Software acceleration using coprocessors: is it worth the effort?
Martyn D. Edwards (1997)
First-order logic with two variables and unary temporal logics
K. Etessami and others (1997) · LICS’97
On the design of IEEE compliant floating point units
Guy Even and others (1997)
The use of a synchronizer yields the maximum computation rate in distributed networks
Shimon Even and others (1997) · Theory of Computing Systems · Springer Science+Business Media
Self-organizing nest construction in ants: individual worker behaviour and the nest's dynamics
Nigel R. Franks and others (1997) · Elsevier BV
The Art of Scanning
Fyodor (1997) · Phrack Magazine
Model checking expands verification's scope
Richard Goering (1997)
On the Decision Problem for Two-Variable First-Order Logic
E. Grädel and others (1997) · Cambridge University Press (CUP)
Spectral information and distinguishability in type-II down-conversion with a broadband pump
W. P. Grice and others (1997) · Physical Review A · American Physical Society (APS)
Group Key Management Protocol (GKMP) Specification
Hugh Harney and others (1997)
Floating point verification in HOL light: The exponential function
J. Harrison (1997) · Springer Berlin Heidelberg
Hardware/software co-design of the Stanford FLASH multiprocessor
M. Heinrich and others (1997) · Institute of Electrical and Electronics Engineers (IEEE)
Validation tools for complex digital designs
C.-M. R. Ho (1997) · Ph.D. dissertation
A Shorter Model Theory
Wilfrid Hodges (1997) · Cambridge University Press
A Survey of Petri Net Methods for Controlled Discrete Event Systems
L.E. Holloway and others (1997) · Discrete Event Dynamic Systems · Springer Science+Business Media
Why engineers should consider formal methods
C.M. Holloway (1997) · IEEE
The model checker SPIN
G. J. Holzmann (1997) · IEEE Transactions on Software Engineering · Institute of Electrical and Electronics Engineers (IEEE)
Fault injection techniques and tools
Mei-Chen Hsueh and others (1997) · Institute of Electrical and Electronics Engineers (IEEE)
Automatic verification of pointer programs using monadic second-order logic
Jakob L. Jensen and others (1997) · ACM SIGPLAN Notices · Association for Computing Machinery
Multivariable control, simulation, optimization and signal processing for the microlithographic process
T. Kailath (1997) · Stanford University (Multidisciplinary University Research Initiative report)
Mechanizing verification of arithmetic circuits: SRT division
Deepak Kapur and others (1997) · Lecture notes in computer science · Springer Science+Business Media
DESMET: a methodology for evaluating software engineering methods and tools
B. Kitchenham and others (1997) · Institution of Engineering and Technology (IET)
Practical Formal Methods for Hardware Design
Carlos Delgado Kloos and others (1997) · Springer Nature
Limits of formal methods
Ralf Kneuper (1997) · Formal Aspects of Computing
Why are formal methods not used more widely?
J. C. Knight and others (1997) · Fourth NASA Formal Methods Workshop
The art of computer programming
Donald E. Knuth (1997) · Addison-Wesley
HMAC: Keyed-Hashing for Message Authentication
Hugo Krawczyk and others (1997)
Formal Hardware Verification - Methods and Systems in Comparison, volume 1287 of Lecture Notes in Computer Science
Thomas Kropf (1997) · Springer
Formal verification in a commercial setting
Robert P. Kurshan (1997) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
THE FLASH MULTIPROCESSOR: DESIGNING a FLEXIBLE AND SCAL-ABLE SYSTEM
J. Kuskin (1997)
A hierarchy of authentication specifications
Gavin Lowe (1997) · IEEE Computer Security Foundations Workshop (CSFW) · Institute of Electrical and Electronics Engineers
The capacity of visual working memory for features and conjunctions
S. J. Luck and others (1997) · Springer Science and Business Media LLC
Formal methods: Promises and problems
Luqi and others (1997) · IEEE Software
The design of an asynchronous MIPS R3000 microprocessor
Alain J. Martin and others (1997)
Multi-Dimensional Modal Logic
M. Marx and others (1997) · Springer Nature (Netherlands)
A Survey of Formal Hardware Verification Tools Developed in Europe
Jean Mermet and others (1997) · Asia-Pacific Conference on Hardware Description Languages (APCHDL'97)
Single Event Phenomena
George C. Messenger and others (1997) · Springer Nature
Coherence controller architectures for SMP-based CC-NUMA multiprocessors
Maged M. Michael and others (1997) · ACM SIGARCH Computer Architecture News · ACM SIGARCH
Limit to the Bit-Rate Capacity of Electrical Interconnects from the Aspect Ratio of the System Architecture
D. A. B. Miller and others (1997) · Journal of Parallel and Distributed Computing · Academic Press
The Definition of Standard ML
Robin Milner and others (1997) · The MIT Press
Joint phase and timing recovery with CPM signals
M. Morelli and others (1997) · Institute of Electrical and Electronics Engineers (IEEE)
Group Key Management Protocol (GKMP) Architecture
C. F. Muckenhirn and others (1997) · RFC Editor
Review of verification techniques
G. Musgrave and others (1997)
Powers of matrices over an extremal algebra with applications to periodic graphs
Karl Nachtigall (1997) · Springer Science and Business Media LLC
Image Representation with Gabor Wavelets and Its Applications
R. Navarro and others (1997) · Elsevier
Division algorithms and implementations
S. F. Oberman and others (1997) · Institute of Electrical and Electronics Engineers (IEEE)
A GCC machine description for DLX
M. O’Keefe (1997) · available at http://www-mount.ee.umn.edu/ ∼okeefe/mcerg/gcc-dlx.html
Supervisory control using failure semantics and partial specifications
A.A.F. Overkamp (1997) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers
Investigating the influence of formal methods
S. L. Pfleeger and others (1997) · Computer · IEEE
Inconsistent Models of Arithmetic Part I: Finite Models
Graham Priest (1997) · Journal of Philosophical Logic · Springer
State clock logic: A decidable real-time logic
Jean-François Raskin and others (1997) · Lecture notes in computer science · Springer Science+Business Media
The Essence of Algol
John Reynolds (1997) · Algol-like Languages · Birkhäuser Boston
Konrad Zuse's legacy: the architecture of the Z1 and Z3
R. Rojas (1997) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers (IEEE)
Juggernaut
route (1997) · Phrack Magazine
LOKI2 (the implementation)
route (1997) · Phrack Magazine
DO-240, Minimum Operational Performance Standards (MOPS) for Aeronautical Telecommunication Network (ATN) Avionics
RTCA, (1997) · Technical Report DO-240
Why Do States Build Nuclear Weapons? Three Models in Search of a Bomb
Scott D. Sagan (1997) · MIT Press - Journals
VERIFY: evaluation of reliability using VHDL-models with embedded fault descriptions
Volkmar Sieh and others (1997)
Database System Concepts
Abraham Silberschatz and others (1997) · McGraw-Hill
Introduction to the Theory of Computation
Michael Sipser (1997) · PWS Publishing Company
Hardware verification using PVS
M. Srivas and others (1997) · Springer Berlin Heidelberg
Operating Systems: Design and Implementation (Second Edition)
Andrew S. Tanenbaum (1997) · Prentice-Hall
Asynchronous transpose-matrix architectures
J. Tierno and others (1997) · IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD) · Institute of Electrical and Electronics Engineers
Clusters Precede Shapes in Perceptual Organization
L. M. Trick and others (1997) · SAGE Publications
I.McIC: a single-chip MPEG-2 video encoder for storage
A. van der Werf and others (1997) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Alternating automata: Unifying truth and validity checking for temporal logics
Moshe Y. Vardi (1997) · Lecture notes in computer science · Springer Science+Business Media
Databases and finite-model theory
Victor Vianu (1997) · Descriptive Complexity and Finite Models · American Mathematical Society
THE RELATION OF HABITUAL THOUGHT AND BEHAVIOR TO LANGUAGE
Benjamin Lee Whorf (1997) · ETC.: A Review of General Semantics
Turing’s Legacy: A History of Computing at the National Physical Laboratory
David M. Yates (1997)
KRONOS: a verification tool for real-time systems
S. Yovine (1997) · Springer Science and Business Media LLC