1994
117 references published this year.
PBS: proven Boolean simplification
M. Aagaard and others (1994) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)
Surveillance and Control Data Link Network (SCDLN) for Joint STARTS
Al Sorgi and others (1994)
A theory of timed automata
R. Alur and others (1994) · Elsevier BV
An Asynchronous Process Algebra with Multiple Clocks
Henrik Reif Andersen and others (1994) · Programming Languages and Systems: ESOP '94
Ferranti-Packard: Pioneers in Canadian Electrical Manufacturing
Norman R. Ball and others (1994)
Delay-insensitive solutions to the committee problem
Igor Benko and others (1994) · Advanced Research in Asynchronous Circuits and Systems
The World-Wide Web
Tim Berners-Lee and others (1994) · Communications of the ACM · Association for Computing Machinery
The software crisis in the Netherlands
M. Boogaard and others (1994) · Serie Research Memoranda · Vrije Universiteit Amsterdam
A tutorial: formal methods for VHDL
D. Borrione and others (1994) · Euro-DAC 1994 with Euro-VHDL, Grenoble
Verification of an audio control protocol
Doeko Bosscher and others (1994) · Springer Berlin Heidelberg
Efficiency in a fully-expansive theorem prover
Richard J. Boulton (1994) · Technical Report 337
Personal view: Formal methods: epideictic or apodeictic?
Jonathan Bowen and others (1994) · Software Engineering Journal · Institution of Engineering and Technology (IET)
Verification of Arithmetic Functions with Binary Moment Diagrams
Randal E. Bryant and others (1994) · Carnegie Mellon University, Department of Computer Science
Automatic verification of pipelined microprocessor control
Jerry R. Burch and others (1994) · Computer Aided Verification (CAV) · Springer
Symbolic model checking for sequential circuit verification
J.R. Burch and others (1994) · Institute of Electrical and Electronics Engineers (IEEE)
Hardware support for fast capability-based addressing
N.P. Carter and others (1994) · ACM SIGPLAN Notices · Association for Computing Machinery
Software-extended coherent shared memory: Performance and cost
David Chaiken and others (1994) · ACM SIGARCH Computer Architecture News · ACM SIGARCH
The Sapir-Whorf Hypothesis
Daniel Chandler (1994)
Another look at LTL Model Checking
E. M. Clarke and others (1994) · CAV’94
Automatic verification of finite-state concurrent systems
Edmund M. Clarke (1994) · Lecture notes in computer science · Springer Science+Business Media
Model checking and abstraction
Edmund M. Clarke and others (1994) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
The procedural analysis of offending and its relevance for situational prevention
D. B. Cornish (1994) · Crime Prevention Studies 3.1
Proceedings of the International Seminar on Environmental Criminology and Crime Analysis
D. B. Cornish (1994) · Proceedings of the International Seminar on Environmental Criminology and Crime Analysis
Space and frequency variant image enhancement based on a Gabor representation
G. Cristobal and others (1994) · Elsevier BV
The Formal Verification of the Fairisle ATM Switching Element
Paul Curzon (1994) · University of Cambridge Computer Laboratory
The Formal Verification of the Fairisle ATM Switching Element: an Overview
Paul Curzon (1994) · University of Cambridge Computer Laboratory
Self-timed logic using Current-Sensing Completion Detection (CSCD)
Mark E. Dean and others (1994) · The Journal of VLSI Signal Processing Systems for Signal Image and Video Technology · Springer Science+Business Media
A Survey of the Project Automath
N. G. De Bruijn (1994) · Selected Papers on Automath · Elsevier
Synthesis and Optimization of Digital Circuits
Giovanni De Micheli (1994) · McGraw-Hill Higher Education, 1st edition
ReserVec: Trans-Canada Air Lines' computerized reservation system
A. Dornian (1994) · Institute of Electrical and Electronics Engineers (IEEE)
The Reservisor automated airline reservation system: combining communications and computing
J. Eklund (1994) · Institute of Electrical and Electronics Engineers (IEEE)
SVE User’s Guide
T. Filkorn and others (1994) · Tech. Rep. ZFE BT SE 1-SVE-1
Strategies for incorporating formal specifications in software development
M. D. Fraser and others (1994) · Association for Computing Machinery (ACM)
ENIAC-a problem solver
W.B. Fritz (1994) · Institute of Electrical and Electronics Engineers (IEEE)
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1
Dov M. Gabbay and others (1994)
Experience with formal methods in critical systems
S. Gerhart and others (1994) · Institute of Electrical and Electronics Engineers (IEEE)
Blocking and controllability of Petri nets in supervisory control
A. Giua and others (1994) · Institute of Electrical and Electronics Engineers (IEEE)
Petri net structural analysis for supervisory control
A. Giua and others (1994) · IEEE Transactions on Robotics and Automation · Institute of Electrical and Electronics Engineers (IEEE)
The HOL Logic and System
M.J.C. Gordon and others (1994) · Elsevier
DMD display systems: The impact of an all-digital display
R. J. Gove (1994) · Society for Information Display International Symposium
High level synthesis based on formal methods
Werner Grass and others (1994)
Switched-current memory circuits for high-precision applications
W. Guggenbuhl and others (1994) · Institute of Electrical and Electronics Engineers (IEEE)
Three-valued k-neighbourhood domination in graphs
J. H. Hattingh and others (1994) · Australasian Journal of Combinatorics
Integration of message passing and shared memory in the Stanford FLASH multiprocessor
John Heinlein and others (1994) · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
The performance impact of flexibility in the Stanford FLASH multiprocessor
M. Heinrich and others (1994) · ACM
Symbolic Model Checking for Real-Time Systems
Thomas A. Henzinger and others (1994) · Information and Computation · Elsevier BV
The theory and practice of a formal method: NewCoRe
G. Holzmann (1994) · IFIP World Computer Congress
13th Generation: Abort, Retry, Ignore, Fail
Neil Howard (1994)
FM8501: A Verified Microprocessor
Warren A. Hunt, Jr. (1994) · Springer Berlin Heidelberg
A new survey on justice and security
H. Huys and others (1994)
A 0.8 μ 100-MHz 2-D DCT core processor
Yi-Feng Jang and others (1994) · IEEE Transactions on Consumer Electronics · Institute of Electrical and Electronics Engineers
Fault injection into VHDL models: the MEFISTO tool
Éric Jenn and others (1994)
Designing arithmetic circuits by refinement in Ruby
Geraint Jones and others (1994) · Science of Computer Programming · Elsevier BV
Event register specification and decomposition
M. B. Josephs (1994) · AMULET1 modelling workshop
Model checking for UNITY
M. Kaltenbach (1994) · Tech. Rep. TR94-31
Finite-memory automata
Michael Kaminski and others (1994) · Theoretical Computer Science · Elsevier BV
Temporal verification of simulation and refinement
Y. Kesten and others (1994) · Springer Berlin Heidelberg
Formalising British rail's signalling rules
Trevor King (1994) · Lecture notes in computer science · Springer Science+Business Media
Critical Behavior in the Satisfiability of Random Boolean Expressions
Scott Kirkpatrick and others (1994) · Science · American Association for the Advancement of Science (AAAS)
Concurrent hardware: the theory and practice of self-timed design
Michael Kishinevsky and others (1994) · John Wiley & Sons, Inc
Signalling
D. M. Kreps and others (1994)
The complexity of verification
R. P. Kurshan (1994) · ACM Press
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
R. P. Kurshan (1994) · Princeton University Press
The Stanford FLASH multiprocessor
J. Kuskin and others (1994) · IEEE Comput. Soc. Press
Architectural principles for safety-critical real-time applications
J.H. Lala and others (1994) · Institute of Electrical and Electronics Engineers (IEEE)
The temporal logic of actions
Leslie Lamport (1994) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
An engineering approach to formal digital system design
Mats A. Larsson (1994) · Lecture notes in computer science · Springer Science+Business Media
Software assistance for directory-based caches
Zhiyuan Li (1994) · IEEE Comput. Soc. Press
The asynchronous discrete cosine transform core
J. Lipsher (1994)
A behavioral notion of subtyping
Barbara H. Liskov and others (1994) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Rippling on relational structures
V. Lombart and others (1994) · Research report
The Alf proof editor and its proof engine
Lena Magnusson and others (1994) · Lecture notes in computer science · Springer Science+Business Media
A 200 MHz 13 mm/sup 2/ 2-D DCT macrocell using sense-amplifying pipeline flip-flop scheme
M. Matsui and others (1994) · Institute of Electrical and Electronics Engineers (IEEE)
Roaring and numerical assessment in contests between groups of female lions, Panthera leo
Karen McComb and others (1994) · Animal Behaviour · Elsevier BV
Novel VLSI implementation of (8×8) point 2-DDCT
F. A. McGovern and others (1994) · Institution of Engineering and Technology (IET)
A survey of power estimation techniques in VLSI circuits
Farid N. Najm (1994) · Institute of Electrical and Electronics Engineers (IEEE)
Selected Papers on Automath
Unattributed (1994) · North-Holland
Overview of SPICE-like circuit simulation algorithms
K.G. Nichols and others (1994) · IEE Proceedings - Circuits Devices and Systems · Institution of Engineering and Technology
Performance analysis based on timing simulation
C. D. Nielsen and others (1994) · ACM Press
The S3.mp scalable shared memory multiprocessor
A. Nowatzyk and others (1994) · IEEE Comput. Soc. Press
History of Electron Tubes
S. Okamura (1994) · IOS Press
The States System of Europe, 1640-1990: Peacemaking and the Conditions of International Stability
Andreas Osiander (1994)
Computational Complexity
Christos H. Papadimitriou (1994) · Addison-Wesley
Efficient building blocks for delay-insensitive circuits
P. Patra and others (1994) · Advanced Research in Asynchronous Circuits and Systems
Asymmetric Conflicts: War Initiation by Weaker Powers
T. V. Paul (1994)
Pattern matching and refinement hybrid approach to circuit comparison
Georg Pelz and others (1994) · Institute of Electrical and Electronics Engineers (IEEE)
Integration Analysis of Product Decompositions
Thomas U. Pimmler and others (1994) · ASME International Conference on Design Theory and Methodology (DTM)
The QED Manifesto
Unattributed (1994) · Automated Deduction - CADE-12 · Springer
SPICE 3 Version 3F3 User’s Manual.
T. Quarles and others (1994)
Experimental realization of any discrete unitary operator
Michael Reck and others (1994) · American Physical Society (APS)
Tempest and Typhoon: user-level shared memory
S.K. Reinhardt and others (1994)
Model-checking CSP
A. Roscoe (1994) · A Classical Mind: Essays in Honour of C.A.R. Hoare
DO-225, VHF Air-Ground Communications System Improvements Alternatives Study and Selection of Proposals for Future Action
RTCA, (1994) · Technical report
Critical system properties: survey and taxonomy
John Rushby (1994) · Elsevier BV
A formally verified algorithm for clock synchronization under a hybrid fault model
John Rushby (1994) · ACM Press
Fine-grain access control for distributed shared memory
Ioannis Schoinas and others (1994) · Proceedings of the sixth international conference on Architectural support for programming languages and operating systems · ACM
Real-Time Computing: A New Discipline of Computer Science and Engineering
Kang G. Shin and others (1994) · Proceedings of the IEEE
Algorithms for quantum computation: discrete logarithms and factoring
Peter W Shor (1994) · IEEE Comput. Soc. Press
Safety, liveness and fairness in temporal logic
A. Prasad Sistla (1994) · Formal Aspects of Computing · Association for Computing Machinery (ACM)
Does Technology Drive History?: The Dilemma of Technological Determinism
Merritt Roe Smith and others (1994)
The counterflow pipeline processor architecture
R. Sproull and others (1994) · Institute of Electrical and Electronics Engineers (IEEE)
Full custom VLSI implementation of high-speed 2-D DCT/IDCT chip
Vishnu Srinivasan and others (1994) · Proceedings - International Conference on Image Processing · Institute of Electrical and Electronics Engineers
Formal Methods and VLSI Engineering Practice
Victoria Stavridou (1994) · The Computer Journal · Oxford University Press
Gordon's computer: A hardware verification case study in OBJ3
V. Stavridou (1994) · Formal Methods in System Design · Springer Science+Business Media
Finite Automata, Formal Logic, and Circuit Complexity
Howard Straubing (1994)
Driving a capacitive load without dissipating fCV^2
Lars J. Svensson and others (1994)
Logical aspects of control of discrete-event systems: A survey of tools and techniques
J.G. Thistle (1994) · Springer Nature
Why are small and large numbers enumerated differently?
L. M. Trick and others (1994) · Psychological review
U.S. Advertising Agency Productivity
Michael Tucker (1994) · Journal of Promotion Management · Taylor & Francis
A fully asynchronous low-power error corrector for the DCC player
Kees van Berkel and others (1994) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Reasoning about Infinite Computations
Moshe Y. Vardi and others (1994) · Information and Computation · Elsevier BV
Assessing the software crisis: Why information systems are beyond control
R.J. Veldwijk and others (1994) · Information Sciences · Elsevier
A theory of delay-insensitive systems
Verhoeff, Tom (1994) · Technische Universiteit Eindhoven
A proof of the nonrestoring division algorithm and its implementation on an ALU
D. Verkest and others (1994) · Formal Methods in System Design · Springer Science and Business Media LLC
Formal Derivation of A Class of Computers
Li-Guo Wang (1994)
Modelling bit vectors in HOL: The word library
Wai Wong (1994) · Higher Order Logic Theorem Proving and Its Applications · Springer Berlin Heidelberg
Probability analysis for CMOS floating gate faults
Hong Xue and others (1994)