1990
124 references published this year.
Digital systems testing and testable design
Miron Abramovici and others (1990)
Unfriendly partitions of a graph
Ron Aharoni and others (1990) · Journal of Combinatorial Theory Series B · Elsevier BV
Verification of the shutdown system software at the Darlington Nuclear Generating System
G. Archinoff (1990) · International Conference on Control and Instrumentation in Nuclear Installations
Applications of Process Algebra
J. C. M. Baeten (1990) · Cambridge University Press
Process Algebra
J. C. M. Baeten and others (1990) · Cambridge University Press
Functional Programming and Lambda Calculus
H. P. Barendregt (1990) · Elsevier
Category Theory for Computing Science
M. Barr and others (1990) · Prentice Hall
Towards an Operational Semantics of ELLA
H. Barringer and others (1990) · Formal Verification Support for ELLA, IED project 4-1-1357
Synchronous circuit verification by symbolic simulation: an illustration
D. L. Beatty and others (1990) · Advanced Research in VLSI: Proceedings of the Sixth MIT Conference
How to define complexity in physics, and why
Charles H. Bennett (1990) · Complexity, Entropy, and the Physics of Information, Santa Fe Institute Studies in the Sciences of Complexity 8
Machine-checked proofs of the design and implementation of a fault-tolerant circuit
William R. Bevier and others (1990)
Designing delayinsensitive circuits
Hans Bisseling and others (1990) · Technical Report VOC
The HOL Verification of ELLA Designs
Richard Boulton and others (1990) · University of Cambridge Computer Laboratory
Efficient implementation of a BDD package
Karl S. Brace and others (1990) · ACM Press
Towards Truly Delay-Insensitive Circuit Realizations of Process Algebras
Geoffrey M. Brown (1990) · Workshops in computing · Springer Nature
Verification of synchronous circuits by symbolic logic simulation
Randal E. Bryant (1990) · Lecture Notes in Computer Science · Springer New York
The OYSTER-CLAM system
Alan Bundy and others (1990) · Springer Berlin Heidelberg
Symbolic model checking: 10^20 states and beyond
Jerry R. Burch and others (1990) · Proceedings - Symposium on Logic in Computer Science · Institute of Electrical and Electronics Engineers
Performance Analysis and Optimization of Asynchronous Circuits
Steven M Burns (1990)
A logic of authentication
Michael Burrows and others (1990) · ACM Transactions on Computer Systems · Association for Computing Machinery
Higher order logic mechanization of the CSP failuredivergence semantics
Albert Camilleri (1990) · Technical Report HPL-90-194
Simulating hardware specifications within a theoremproving framework
Albert John Camilleri (1990) · International Journal of Computer Aided Design
Behavior-preserving transformations for high-level synthesis
R. Camposano (1990) · Springer New York
CCITT Recommendation H.261
Unattributed (1990)
The ELLANET Reference Manual
Computer General Electronic Design (1990) · Computer General Electronic Design, Bath
The ELLA Language Reference Manual
Computer General Electronic Design (1990) · Computer General Electronic Design, Bath
The ELLA Tutorial
Computer General Electronic Design (1990) · Computer General Electronic Design, Bath
The ELLA User Manual
Computer General Electronic Design (1990) · Computer General Electronic Design, Bath
Model theory
Chen Chung Chang and others (1990) · Elsevier
A unified approach for showing language containment and equivalence between various types of ω-automata
E. M. Clarke and others (1990) · Springer Berlin Heidelberg
How to read floating point numbers accurately
W. D. Clinger (1990) · Association for Computing Machinery (ACM)
Nuprl as a general logic
Robert L Constable and others (1990) · Logic and computer science · Academic Press
Introduction to Algorithms
Thomas H. Cormen and others (1990) · The MIT Press
Verification of synchronous sequential machines based on symbolic execution
Olivier Coudert and others (1990) · Lecture notes in computer science · Springer Science+Business Media
New foundations for fixpoint computations
R.L. Crole and others (1990) · IEEE Comput. Soc. Press
Introduction to Lattice and Order
B. A. Davey and others (1990) · Cambridge University Press
Influences of Mathematical Logic on Computer Science
Martin Davis (1990)
A formal specification of an oscilloscope
N. Dellsie and others (1990) · IEEE Software · IEEE Computer Society
The design and formal verification of an integrated circuit for use in a floating-point systolic array fast fourier transform processor
Peter E. DelVecchio (1990)
Generic linear RC delay modeling for digital CMOS circuits
A.-C. Deng and others (1990) · Institute of Electrical and Electronics Engineers (IEEE)
In Memoriam: J. C. R. Licklider 1915-1990
Digital Equipment Corporation Systems Research Center (1990) · Digital Equipment Corporation Systems Research Center
Predicate Calculus and Program Semantics
Edsger W. Dijkstra and others (1990) · Springer New York
Dynamic analysis of repetitive decision-free discrete event processes: The algebra of timed marked graphs and algorithmic issues
Didier Dubois and others (1990) · Annals of Operations Research · Springer Science+Business Media
Arbiters: An exercise in specifying and decomposing asynchronously communicating components
Jo C. Ebergen (1990) · Technical Report CS-90-29
Axiomatizing hardware description languages
Hans Eveking (1990) · International Journal of Computer Aided VLSI Design
Logic Manual for the Lambda System
Simon Finn and others (1990) · Abstract Hardware Limited, version 3.1, May
DIALOG Reference Manual
Mick Francis (1990) · Abstract Hardware Limited, version 3.2, December
Reference Manual for the Lambda System
Mick Francis and others (1990) · Abstract Hardware Limited, version 3.2, November
Automatic and semi-automatic verification of switch-level circuits with temporal logic and binary decision diagrams
M. Fujita and others (1990) · 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers · IEEE Comput. Soc. Press
The organization of learning
C. R. Gallistel (1990) · The MIT Press
Memory consistency and event ordering in scalable shared-memory multiprocessors
Kourosh Gharachorloo and others (1990) · Proceedings of the 17th annual international symposium on Computer Architecture - ISCA '90 · ACM Press
An operational semantics for a subset of the HDDL ELLA
K G W Goossens (1990) · Version 0.3 Manuscript, April
Semantics for picoELLA
K G W Goossens (1990) · Manuscript, June
Computers: The Old/New Problem of Dominion
Richard L. Gorsuch (1990) · SAGE Publications
Entropy and Information Theory
Robert M. Gray (1990) · Springer New York
Reducing memory and traffic requirements for scalable directory-based cache coherence schemes
A. Gupta and others (1990) · Proceedings of the 1990 International Conference on Parallel Processing, Volume 1: Architecture · Pennsylvania State University Press
Seven myths of formal methods
Anthony Hall (1990) · IEEE Software
Knowledge and common knowledge in a distributed environment
Joseph Y. Halpern and others (1990) · Journal of the ACM · Association for Computing Machinery (ACM)
Veritas+: A specification language based on type theory
F.K. Hanna and others (1990) · Springer New York
Software for Analytical Development of Communications Protocols
Zvi Har'el and others (1990) · AT&T Technical Journal · Institute of Electrical and Electronics Engineers
Higher-order modules and the phase distinction
Robert Harper and others (1990) · ACM Press
Linearizability: a correctness condition for concurrent objects
Maurice Herlihy and others (1990) · Association for Computing Machinery (ACM)
Formal Semantic Definition of ELLA Timing
M.G. Hill and others (1990) · Royal Signals and Radar Establishment
Real number arithmetic for mixed behavioural and structural descriptions
M.G. Hill and others (1990) · IEE Proceedings G Circuits, Devices and Systems · Institution of Engineering and Technology (IET)
SPRITE-ELLA language enhancements
M. G. Hill and others (1990) · Royal Signals and Radar Establishment, Malvern
Deformable-Mirror Spatial Light Modulators
L. J. Hornbeck (1990) · SPIE
Distributed-directory scheme: scalable coherent interface
D. James and others (1990) · Institute of Electrical and Electronics Engineers (IEEE)
Manipulating logical organization with system factorizations
S. D. Johnson (1990) · Springer New York
Circuit design in Ruby
G. Jones and others (1990) · Formal Methods for VLSI Design · North-Holland
Systematic Software Development Using VDM
C. B. Jones (1990) · Prentice Hall
Delay-insensitive circuits: an algebraic approach to their design
Mark B. Josephs and others (1990) · CONCUR '90, Theories of Concurrency: Unification and Extension
The Design of a Delay-Insensitive Stack
Mark B. Josephs and others (1990) · Workshops in computing · Springer Nature
Designing a delay-insensitive stack
Mark B. Josephs and others (1990) · Technical Report CS9004
The convergence of mildly context-sensitive grammar formalisms, 1990.
Aravind K. Joshi and others (1990)
Multi-level verification of microprocessor-based systems
Jeffrey J. Joyce (1990) · University of Cambridge Computer Laboratory
Elements of Relational Database Theory
Paris C. Kanellakis (1990) · Elsevier
Designing systolic, distributed buffers with bounded response time
Joep Kessels and others (1990) · Springer Science and Business Media LLC
A parallel algorithm for constructing binary decision diagrams
S. Kimura and others (1990) · IEEE Comput. Soc. Press
Specifying real-time properties with metric temporal logic
Ron Koymans (1990) · Real-Time Systems · Springer Science and Business Media LLC
Formal specification and verification of control software for cryptographic equipment
D.R. Kuhn and others (1990) · IEEE Comput. Soc. Press
Decentralized control and coordination of discrete-event systems with partial observation
F. Lin and others (1990) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers
Don't care minimization of multi-level sequential logic networks
B. Lin and others (1990) · IEEE Comput. Soc. Press
E-Law 2.0: Computer Information Systems Law and System Operator Liability Revisited
Larry Loundy (1990) · 2 (1990).
The complexity of graph problems for succinctly represented graphs
Antonio Lozano and others (1990) · Lecture notes in computer science · Springer Science+Business Media
Tight bounds on the complexity of cascaded decomposition of automata
Oded Maler and others (1990) · Annual Symposium on Foundations of Computer Science · Institute of Electrical and Electronics Engineers
The Limitations to Delay-Insensitivity in Asynchronous Circuits
Alain J. Martin (1990) · Proceedings of the 6th MIT Conference on Advanced Research in VLSI · California Institute of Technology
The limitations to delay-insensitivity in asynchronous circuits
Alain J. Martin (1990) · Sixth MIT Conference on Advanced Research in VLSI · MIT Press
The high-level synthesis of digital systems
M.C. McFarland and others (1990) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
Christians in the Crossfire: Guarding Your Mind against Manipulation and Self-Deception
Mark R. McMinn and others (1990)
Formalising abstraction mechanisms for hardware verification in higher order logic
Thomas Frederick Melham (1990)
Formalizing abstraction mechanisms for hardware verification in higher order logic
Thomas Frederick Melham (1990) · University of Cambridge Computer Laboratory
Mural: A formal development support environment
Richard Moore (1990) · SafetyNet '90 Conference, October 1990.
Infoworld: Understanding Personal Computer Networks
Raphael Needleman (1990)
Campaign against Pornography
Barbara Norden (1990) · JSTOR
Programming in Martin-Löf's Type Theory
B. Nordström and others (1990) · Oxford University Press
The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages
Karl J. Ottenstein and others (1990) · ACM SIGPLAN Notices · Association for Computing Machinery
Asymptotic waveform evaluation for timing analysis
Lawrence T. Pillage and others (1990) · Institute of Electrical and Electronics Engineers (IEEE)
Technologies with Boundaries: On Telecommunications in a Global Age
Ithiel de Sola Pool (1990)
Understanding Force Multipliers: The Key to Optimizing Force Capabilities in Peacetime Contingency Operations
David S. Powell (1990) · Defense Technical Information Center
Formal Specification of the VIPER Microprocessor in HOL
C.H. Pygott (1990) · Royal Signals and Radar Establishment
DARPA Technical Accomplishments. An Historical Review of Selected DARPA Projects. Volume 1
Sidney G. Reed and others (1990) · Institute for Defense Analyses
One-way functions are necessary and sufficient for secure signatures
John Rompel (1990) · ACM Symposium on Theory of Computing (STOC)
Quantales and their Applications
K.I. Rosenthal (1990) · Pitman Research Notes in Mathematics Series 234
Formal Ruby
L. Rossen (1990) · Formal Methods for VLSI Design · North-Holland
On oraclizable networks and Kahn's principle
James R. Russell (1990) · ACM Press
Graphs with no unfriendly partitions
Saharon Shelah and others (1990) · A Tribute to Paul Erdős · Cambridge University Press
Defense Data Network Security Architecture
Robert W. Shirey (1990) · ACM SIGCOMM Computer Communication Review
Network grammars, communication behaviors and automatic verification
Z. Shtadler and others (1990) · Springer Berlin Heidelberg
Referential transparency, definiteness and unfoldability
Harald Søndergaard and others (1990) · Acta Informatica · Springer
Numerical abstraction by human infants
Prentice Starkey and others (1990) · Cognition · Elsevier BV
Designing delay insensitive circuits using using 'synchronized transitions'
J. Staunstrup and others (1990) · Formal VLSI Specification and Synthesis · North-Holland/Elsevier
Synchronized transitions
J Staunstrup and others (1990) · Summer School on Formal Methods for VLSI Design
Implicit state enumeration of finite state machines using BDD's
H. J. Touati and others (1990) · IEEE Comput. Soc. Press
A stubborn attack on state explosion
Antti Valmari (1990) · Springer Nature
Optimized synthesis of asynchronous control circuits from graph-theoretic specifications
P. Vanbekbergen and others (1990) · International Conference on Computer Aided Design
The semantics of VHDL with VAL and HOL: Towards practical verification tools
John Peter van Tassel (1990)
Self-Timed Control of Concurrent Processes
V. Varshavsky and others (1990) · Springer Netherlands
Constraints, abstraction, and verification
Daniel Weise (1990) · Springer New York
Multilevel verification of MOS circuits
D. Weise (1990) · Institute of Electrical and Electronics Engineers (IEEE)
Verification requirements analysis
Alan Williams (1990) · Technical Report Deliverable D2.1
A specifier's introduction to formal methods
Jeannette M. Wing (1990) · Computer · IEEE Computer Society
Verifying properties of large sets of processes with network invariants
P. Wolper and others (1990) · Springer Berlin Heidelberg
Formal Verification of Hardware Design
Michael Yoeli (1990) · IEEE Computer Society Press
On the consistency of hierarchical supervision in discrete-event systems
Hao Zhong and others (1990) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers