1992
119 references published this year.
Back to the future: towards a theory of timed regular languages
R. Alur and others (1992) · IEEE
Logics and models of real time: A survey
Rajeev Alur and others (1992) · Lecture notes in computer science · Springer Science+Business Media
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism
Thomas E. Anderson and others (1992) · ACM Transactions on Computer Systems
BASIC
Doris Appleby (1992)
Combining angels, demons and miracles in program specifications
R.J.R. Back and others (1992) · Theoretical Computer Science · Elsevier
Control of Discrete Event Systems: Theory and Application
S. Balemi (1992) · PhD thesis
A semantics for Core ELLA
Howard Barringer and others (1992) · Deliverable D2.3b, Department of Computer Science, University of Manchester, November 1992. Formal Verification Support for ELLA, IED project 4/1/1357
Formal Methods: Use and Relevance for the Development of Safety-Critical Systems
L. M. Barroca and others (1992) · The Computer Journal · Oxford University Press (OUP)
Risk Society: Towards a New Modernity
Ulrich Beck (1992) · Sage Publications
The Esterel synchronous programming language: design, semantics, implementation
Gérard Berry and others (1992) · Science of Computer Programming · Elsevier BV
The Proof of Correctness of a Fault-Tolerant Circuit Design
William R. Bevier and others (1992) · Dependable computing and fault-tolerant systems · Springer Vienna
Verification of a fault-tolerant property of a multi-processor system
Mark Bickford and others (1992) · Theorem Provers in Circuit Design: Theory, Practice and Experience
Formal design in an industrial research laboratory: Lessons and perspectives
J Bormann and others (1992) · Second Workshop on Designing Correct Circuits
Experience with embedding hardware description languages in HOL
R. Boulton and others (1992) · Theorem Provers in Circuit Design · North-Holland
A HOL semantics for a subset of ELLA
Richard J. Boulton (1992) · CL Technical Reports · University of Cambridge Computer Laboratory
An experimental test of equilibrium dominance in signaling games
J. Brandts and others (1992) · The American Economic Review 82.5
Introduction to a formally defined hardware description language
Bishop C Brock and others (1992) · Theorem Provers in Circuit Design: Theory, Practice and Experience
Symbolic Boolean manipulation with ordered binary-decision diagrams
Randal E. Bryant (1992) · Association for Computing Machinery (ACM)
Symbolic boolean manipulation with ordered binary decision diagrams
Randal E. Bryant (1992) · Technical Report CMU-CS-92-160
On the delay-sensitivity of gate networks
Janusz Brzozowski and others (1992) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
The token flow model
Joseph Buck and others (1992) · Data Flow Workshop
Symbolic model checking: 10^20 States and beyond
J. R. Burch and others (1992) · Information and Computation · Elsevier BV
Deliverables: a categorical approach to program development in type theory
R. M. Burstall and others (1992) · Department of Computer Science, University of Edinburgh
Transformational design in a theorem prover
H. Busch (1992) · Theorem Provers in Circuit Design · North-Holland
Formal Methods at AT&T - An Industrial Usage Report
John A. Chaves (1992) · Elsevier
Real-time recursive two-dimensional DCT for HDTV systems
C.T. Chiu and others (1992) · IEEE International Conference on Acoustics Speech and Signal Processing
Real-time parallel and fully pipelined two-dimensional DCT lattice structures with application to HDTV systems
C. T. Chiu and others (1992) · Institute of Electrical and Electronics Engineers (IEEE)
CHARME: Towards formal design and verification for provably correct VLSI hardware
L. Claesen and others (1992) · Proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies
Analytica — A theorem prover in mathematica
Edmund Clarke and others (1992) · Springer Berlin Heidelberg
Automatic verification of sequential circuit designs
E. M. Clarke and others (1992) · Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences · Royal Society
Model checking and abstraction
Edmund M. Clarke and others (1992) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
A rational choice perspective on the targets of automobile theft
Ronald V. Clarke and others (1992) · Criminal Behaviour and Mental Health · Wiley
Reasoning About Parallel Architectures
William W. Collier (1992) · Prentice Hall, Upper Saddle River, NJ, USA
White Collar Crime
Hazel Croall (1992)
A novel architecture for VLSI implementation of the 2-D DCT/IDCT
S. Cucchi and others (1992) · IEEE
Cross-linguistic regularities in the frequency of number words
S. Dehaene and others (1992) · Elsevier BV
Protocol verification as a hardware design aid
D.L. Dill and others (1992) · IEEE Comput. Soc. Press
Modulo-N counters: Design and analysis of delay-insensitive circuits
Jo C. Ebergen and others (1992) · 2nd Workshop on Designing Correct Circuits
A Simplified Stochastic Model for the Aeronautical Mobile Radio Channel
S. M. Elnoubi (1992) · Vehicular Technology Conference
Fast algorithms for the discrete cosine transform
E. Feig and others (1992) · Institute of Electrical and Electronics Engineers (IEEE)
A verified implementation of an applicative language with dynamic storage allocation
A. D. Flatau (1992)
Program verification
Nissim Francez (1992) · Addison-Wesley
Reference Manuel for the Lambda System 4.2 Vol I
M. Francis and others (1992) · Abstract Hardware Ltd
An adaptation of proof-planning to declarer play in bridge
I. Frank and others (1992) · Proceedings of ECAI-92
Preverbal and verbal counting and computation
C. R. Gallistel and others (1992) · Elsevier BV
Inference from Iterative Simulation Using Multiple Sequences
Andrew Gelman and others (1992) · Statistical Science · Institute of Mathematical Statistics
Embedding Hardware Description Languages in Proof Systems
Kees G. W. Goossens (1992)
Using the Universal Modality: Gains and Questions
V. Goranko and others (1992) · Oxford University Press (OUP)
The formal definition of a synchronous hardware-description language in higher order logic
Andrew D Gordon (1992) · IEEE Comput. Soc. Press
Formal hardware verification methods: A survey
Aarti Gupta (1992) · Formal Methods in System Design · Springer Science+Business Media
Dependent types and formal synthesis
F. K. Hanna and others (1992) · The Royal Society
Dependent types and formal synthesis
F. K. Hanna and others (1992) · Mechanized Reasoning and Hardware Design · Prentice Hall
Implementation of the Veritas design logic
Keith Hanna and others (1992) · Theorem Provers in Circuit Design: Theory, Practice and Experience
The Veritas design logic: A user's view
Keith Hanna and others (1992) · Theorem Provers in Circuit Design: Theory, Practice and Experience
Biting the silver bullet: toward a brighter future for system development
D. Harel (1992) · Institute of Electrical and Electronics Engineers (IEEE)
Cooperative shared memory: Software and hardware support for scalable multiprocessors
Mark D. Hill and others (1992) · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
The dynamic semantics of kernel ELLA
M G Hill (1992) · Memorandum 4630, Defence Research Agency, Malvern, UK, August
Practical methods for the formal validation of SDL specifications
Gerard J Holzmann (1992) · Elsevier BV
A formal HDL and its use in the FM9001 verification
W. A. Hunt and others (1992) · The Royal Society
Nuprl and its uses in circuit design
Paul B Jackson (1992) · Theorem Provers in Circuit Design: Theory, Practice and Experience
High level design of an asynchronous packet-routing chip
M. B. Josephs and others (1992) · Proceedings of the Second IFIP Workshop on Designing Correct Circuits
Receptive process theory
M. B. Josephs (1992) · Springer Science and Business Media LLC
MIPS RISC Architecture
G. Kane and others (1992) · Prentice Hall
Switch-Level Models in Multi-level VHDL Simulations
K Khordoc and others (1992) · Springer US
A prescriptive formal model for data-path hardware
D.W. Knapp and others (1992) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
Literate Programming
D. E. Knuth (1992) · Center for the Study of Language and Information
Undecidability of static analysis
William A. Landi (1992) · ACM Letters on Programming Languages and Systems · Association for Computing Machinery
Conventional and Delinquent Activities: Implications for the Prevention of Violent Victimization among Adolescents
J. Lauritsen and others (1992) · Springer Publishing Company
Using Nuprl for the verification and synthesis of hardware
Miriam E. Leeser (1992) · Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences · Royal Society
Using Nuprl for the verification and synthesis of hardware
M. Leeser (1992) · Mechanized Reasoning and Hardware Design · Prentice Hall
The Stanford Dash multiprocessor
Daniel E. Lenoski and others (1992) · Computer · IEEE Computer Society
Using the state delta verification system (SDVS) for hardware verification
Beth Levy and others (1992) · Theorem Provers in Circuit Design: Theory, Practice and Experience
LEGO proof development system: User’s manual
Z. Luo and others (1992) · Tech. Rep. ECS-LFCS-92-211
LEGO proof development system: Users's manual
Zhaohui Luo and others (1992) · LFCS Report Series ECS-LFCS-92-211
From timed to hybrid systems
Oded Maler and others (1992) · Lecture notes in computer science · Springer Science+Business Media
Analysis of distributed algorithms based on recurrence relations
Yossi Malka and others (1992) · Springer Berlin Heidelberg
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna and others (1992) · Springer New York
Dynamic asynchronous logic for high-speed CMOS systems
A.J. McAuley (1992) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers (IEEE)
Deliverables: A Categorical Approach to Program Development in Type Theory
J. H. McKinna (1992)
Symbolic Model Checking: An Approach to the State Explosion Problem
Kenneth L. McMillan (1992)
A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
Michael V. Mendler (1992)
Newtonian arbiters cannot be proven correct
Michael Mendler and others (1992) · 2nd Workshop on Designing Correct Circuits
Applying 'design by contract'
Bertrand Meyer (1992) · Computer · IEEE Computer Society
A calculus of mobile processes, I
Robin Milner and others (1992) · Information and Computation · Elsevier BV
An efficient algorithm-based fault tolerance design using extended rearranged Hamming checksum
C.G. Oh and others (1992) · Proceedings 1992 IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems · IEEE Comput. Soc. Press
PVS: A prototype verification system
Sam Owre and others (1992) · Lecture notes in computer science · Springer Science+Business Media
The mobile radio propagation channel
J. Parsons and others (1992) · Wiley
Evaluating and selecting testing tools
R.M. Poston and others (1992) · Institute of Electrical and Electronics Engineers (IEEE)
Numerical Recipes in C: The Art of Scientific Computing
W. Press and others (1992) · Cambridge University Press
A Formal Process for Systolic Array Design Using Recurrences
Jonathan Puddicombe (1992)
Types, abstraction, and parametric polymorphism, part 2
Qingming Ma and others (1992) · Mathematical Foundations of Programming Semantics · Springer Science+Business Media
The modal logic of inequality
M. de Rijke (1992) · Cambridge University Press (CUP)
The MD5 Message-Digest Algorithm
Ronald L. Rivest (1992) · RFC Editor
The Design and Implementation of a Log-Structured File System
Mendel Rosenblum and others (1992) · ACM Transactions on Computer Systems · Association for Computing Machinery
Sequence semantics of ruby
Lars Rossen and others (1992) · Second Workshop on Designing Correct Circuits
Auto/Autograph
Valérie Roy and others (1992) · Computer-Aided Verification · Springer US
Think globally, act locally: decentralized supervisory control
Karen Rudie and others (1992) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers
Formal semantics of VHDL timing constructs
Ashraf Salem and others (1992) · Springer US
Using transformations and verification in circuit design
J. B. Saxe and others (1992) · Designing Correct Circuits · North-Holland
On the synthesis of modulo-n counters
Roger Sayle (1992) · Proceedings of the ACiD- WG/EXACT Workshop on Asynchronous Controllers and Interfacing, IMEC, Leuven, Belgium, September 1992.
An introduction to formal hardware verification
C.-J. Seger (1992) · Department of Computer Science, University of British Columbia
Sequential circuit design using synthesis and optimization
Ellen M. Sentovich and others (1992) · IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD)
Contemporary Cryptology: The Science of Information Integrity
Unattributed (1992) · IEEE
Formal Specification of Memory Models
Pradeep S. Sindhu and others (1992) · Springer US
Circuit analysis by non-standard interpretation
Satnam Singh (1992) · Second Workshop on Designing Correct Circuits
Provably correct synthesis of asynchronous circuits
Scott F Smith and others (1992) · Designing Correct Circuits
Mechanised verification of circuit descriptions using the Larch prover
Jørgen Staunstrup and others (1992) · Theorem Provers in Circuit Design: Theory, Practice and Experience
FUNNEL and 2OBJ: Towards and integrated hardware design environment
V Stavridou and others (1992) · Theorem Provers in Circuit Design: Theory, Practice and Experience
Algebraic verification of a modulo-n counter
Jan Tijmen Udding (1992) · Proceedings of the ACiD-WG/EXACT Workshop on Asynchronous Controllers and Interfacing, IMEC, Leuven, Belgium, September 1992.
Providing a VHDL-interface for proof systems
Gabriele Umbreit (1992) · IEEE Comput. Soc. Press
A 100-MHz 2-D discrete cosine transform core processor
S. Uramoto and others (1992) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
An asynchronous systolic modulo-n counter and its CMOS realization
Kees van Berkel (1992) · Proceedings of the ACiD- WG/EXACT Workshop on Asynchronous Controllers and Interfacing, IMEC, Leuven, Belgium, September 1992.
Handshake Circuits: An intermediary between communicating processes and VLSI
Kees van Berkel (1992)
The information capacity of visual attention
P. Verghese and others (1992) · Elsevier BV
The use of proof plans to sum series
Toby Walsh and others (1992) · Lecture notes in computer science · Springer Science+Business Media
Formal methods in the development of safety critical software systems
Lloyd G. Williams (1992) · Lawrence Livermore National Laboratory
Developing a Formal Semantic Definition of VHDL
Philip A. Wilsey (1992) · Kluwer international series in engineering and computer science · Springer Nature
Addition and subtraction by human infants
Karen Wynn (1992) · Nature · Nature Portfolio
Children's acquisition of the number words and the counting system
Karen Wynn (1992) · Cognitive Psychology · Elsevier BV