1988
108 references published this year.
An evaluation of directory schemes for cache coherence
A. Agarwal and others (1988) · [1988] The 15th Annual International Symposium on Computer Architecture. Conference Proceedings · IEEE Comput. Soc. Press
Theoretical study of the coherent backscattering of light by disordered media
E. Akkermans and others (1988) · EDP Sciences
A fast DCT-SQ scheme for images
Y. Arai and others (1988) · The Transactions of the IEICE
Verification of VHDL designs using VAL
L. Augustin and others (1988) · IEEE
The ESTEREL synchronous programming language: Design, semantics, implementation
Gerard Berry and others (1988) · Technical Report 842
An algebraic model for asynchronous circuits verification
Christian Berthet and others (1988) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
Verification of Asynchronous Circuits: Behaviors, Constraints and Specifications
Christian Berthet and others (1988) · Kluwer international series in engineering and computer science · Springer Nature
Introduction to Functional Programming
R. Bird and others (1988) · Prentice Hall
Hardware Verification by Formal Proof
G. Birtwistle and others (1988) · Proceedings of the Canadian Conference on Electrical and Computer Engineering, Vancouver, November 3–4, 1988
VLSI Specification, Verification and Synthesis
Unattributed (1988) · Kluwer Academic Publishers
A formal approach towards electrical verification of synchronous MOS circuits
I. Bolsens and others (1988) · IEEE
A Computational Logic Handbook
R. S. Boyer and others (1988) · Academic Press
Nondeterministic data flow programs: How to avoid the merge anomaly
Manfred Broy (1988) · Elsevier BV
Verifying a Static RAM Design by Logic Simulation
Randal E. Bryant (1988) · Advanced Research in VLSI: Proceedings of the Fifth MIT Conference
The use of explicit plans to guide inductive proofs
Alan Bundy (1988) · Springer Nature
Automated compilation of concurrent programs into self-timed circuits
Steven M. Burns (1988)
Syntax-directed Translation of Concurrent Programs into Self-timed Circuits
Steven M. Burns and others (1988) · Advanced Research in VLSI · The MIT Press
Executing behavioural definitions in higher order logic
Albert John Camilleri (1988) · University of Cambridge Computer Laboratory
Simulation as an aid to Verification using the HOL Theorem Prover
Albert John Camilleri (1988) · University of Cambridge Computer Laboratory
Statistics in Medicine: Calculating confidence intervals for some non-parametric analyses
M. J. Campbell and others (1988) · BMJ
Formal verification of hardware correctness: introduction and survey of current research
Paolo Enrico Camurati and others (1988) · Computer · IEEE Computer Society
Electronics Technology and Computer Science, 1940-1975: A Coevolution
Paul Ceruzzi (1988) · Institute of Electrical and Electronics Engineers (IEEE)
Parallel Program Design: A Foundation
K. Chandy and others (1988) · Addison-Wesley
Using Higher Order Logic to Synthesize Correct Designs
S. Chin and others (1988) · CASE center, Syracuse University
The design philosophy of the DARPA internet protocols
David D. Clark (1988) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery
Correctness properties of the Viper block model: the second level
Avra Cohn (1988) · University of Cambridge Computer Laboratory
A Proof of Correctness of the Viper Microprocessor: The First Level
Avra Cohn (1988) · VLSI Specification, Verification and Synthesis · Springer Nature
Airline Reservations Systems: Lessons From History
Duncan G. Copeland and others (1988) · MIS Quarterly
The calculus of constructions
Thierry Coquand and others (1988) · Information and Computation · Elsevier BV
Implementing Safety-Critical Systems: The VIPER Microprocessor
W. J. Cullyer (1988) · VLSI Specification, Verification and Synthesis · Kluwer Academic Publishers
Complete discrete 2-D Gabor transforms by neural networks for image analysis and compression
J. G. Daugman (1988) · Institute of Electrical and Electronics Engineers (IEEE)
Contextual Constraints for Design and Verification
B. S. Davie and others (1988) · Springer US
A Formal, Hierarchical Design and Validation Methodology for VLSI
Bruce S. Davie (1988)
Mathematical equivalence in a primitive ELLA
M B Davies (1988) · Memorandum 4225, Royal Signals and Radar Establishment, August
Formalising an integrated circuit design style in higher order logic
Inderpreet-Singh Dhingra (1988) · University of Cambridge Computer Laboratory
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
David L. Dill (1988) · The MIT Press
A logic design structure for LSI testability
E. B. Eichelberger and others (1988) · Papers on Twenty-five years of electronic design automation · ACM
An application of xed point theory to the ELLA language
Bruce Elliot (1988) · Internal Technical Report N045.90.3
Visual and spatial mental imagery: Dissociable systems of representation
Martha J. Farah and others (1988) · Cognitive Psychology · Elsevier BV
Correlations and Fluctuations of Coherent Wave Transmission through Disordered Media
Shechao Feng and others (1988) · American Physical Society (APS)
Memory Effects in Propagation of Optical Waves through Disordered Media
Isaac Freund and others (1988) · Physical Review Letters · American Physical Society
Inductive methods for reasoning about abstract data types
S.J. Garland and others (1988) · ACM Press
Using Ada as an HDL
Sumit Ghosh (1988) · IEEE Design & Test of Computers · Institute of Electrical and Electronics Engineers
A history of personal workstations
Adele Goldberg (1988) · ACM
Mechanizing programming logics in higher order logic
Michael J. C. Gordon (1988) · CL Technical Reports
Programming Language Theory and its Implementation
M. J. C. Gordon (1988) · Prentice-Hall
Reevaluating Amdahl's law
John L. Gustafson (1988) · Communications of the ACM · Association for Computing Machinery (ACM)
Programming in Temporal Logic
R.W.S. Hale (1988)
The Confused Deputy (or why capabilities might have been invented)
Norm Hardy (1988) · ACM SIGOPS Operating Systems Review · Association for Computing Machinery
Case Study of the Cambridge Fast Ring ECL Chip using HOL
John Herbert (1988) · University of Cambridge Computer Laboratory
Formal verification of basic memory devices
John Herbert (1988) · CL Technical Reports
Temporal abstraction of digital designs
Herbert, John (1988) · Computer Laboratory, University of Cambridge
THE PROCESS OF CRIMINALIZATION: THE CASE OF COMPUTER CRIME LAWS*
Richard C. Hollinger and others (1988) · Criminology · Wiley
Bistable Deformable Mirror Device
L. J. Hornbeck and others (1988) · Optica Publishing Group
IEEE Standard VHDL Language Reference Manual
IEEE (1988) · IEEE
Nondeterministic space is closed under complementation
Neil Immerman (1988) · SIAM Journal on Computing
Congestion avoidance and control
Van Jacobson and others (1988) · Symposium proceedings on Communications architectures and protocols · Association for Computing Machinery
Design and Analysis of Fault Tolerant Digital Systems
Barry W. Johnson (1988) · Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA
A Tactical Framework for Hardware Design
Steven Johnson and others (1988) · Kluwer international series in engineering and computer science · Springer Nature
A support system for formal reasoning: Requirements and status
C. B. Jones and others (1988) · VDM '88 VDM — The Way Ahead · Springer Berlin Heidelberg
Formal specification and verification of asynchronous processes in higher-order logic
Jeffrey J. Joyce (1988) · University of Cambridge Computer Laboratory
Formal specification and verification of microprocessor systems
Jeffrey J. Joyce (1988) · University of Cambridge Computer Laboratory
Formal Verification and Implementation of a Microprocessor
Jeffrey J. Joyce (1988) · Kluwer international series in engineering and computer science · Springer Nature
Generic Structures in the Formal Specification and Verification of Digital Circuits
J.J. Joyce (1988) · The Fusion of Hardware Design and Verification: Proceedings of the IFIP WG 10.2 Working Conference
The C Programming Language
Brian W. Kernighan and others (1988) · Prentice Hall Professional Technical Reference, 2nd edition
Hardware C - A Language for Hardware Design
David C. Ku and others (1988) · Defense Technical Information Center
The linear abstract machine
Yves Lafont (1988) · Theoretical Computer Science · Elsevier BV
CMOS cookbook
D. Lancaster and others (1988) · Elsevier
Dissipation and noise immunity in computation and communication
Rolf Landauer (1988) · Nature · Nature Portfolio
Verification of input constraints for synchronous circuits
M. Langevin and others (1988) · The Fusion of Hardware Design and Verification · North-Holland
A modal process logic
Kim G. Larsen and others (1988) · Proceedings of the 3rd Annual Symposium on Logic in Computer Science
Circuit aging simulator (CAS)
P. Lee and others (1988) · IEEE
Reasoning about the function and timing of integrated circuits with Prolog and temporal logic
Miriam Ellen Leeser (1988) · University of Cambridge Computer Laboratory
Reasoning about the function and timing of integrated circuits with Prolog and temporal logic
M. E. Leeser (1988) · University of Cambridge Computer Laboratory
The early years: founding IPTO
J. C. R. Licklider (1988) · Expert Systems and Artificial Intelligence · Howard W. Sams
Proving circuit correctness using formal comparison between expected and extracted behaviour
J.-C. Madre and others (1988) · 25th ACM/IEEE, Design Automation Conference.Proceedings 1988. · IEEE
The History of Computing in the History of Technology
Michael S. Mahoney (1988) · Institute of Electrical and Electronics Engineers (IEEE)
Verification of programs that destructively manipulate data
Ian A. Mason (1988) · Science of Computer Programming · Elsevier BV
Automating recursive type definitions in higher order logic
Thomas Frederick Melham (1988) · CL Technical Reports
Using recursive types to reason about hardware in higher order logic
Thomas F. Melham (1988) · University of Cambridge Computer Laboratory
SPAM: a microcode based tool for tracing operating sytsem events
S. Melvin and others (1988) · Association for Computing Machinery (ACM)
Development of the Domain Name System
Paul V. Mockapetris and others (1988) · Symposium Proceedings on Communications Architectures and Protocols (SIGCOMM '88) · Association for Computing Machinery
The Partial Lambda-Calculus
E. Moggi (1988)
The ARPANET and the DARPA Internet
Dennis G. Perry and others (1988) · Library Hi Tech
A Critique of the GATEMAP Logic Synthesis System
E. B. Pitty (1988) · International Workshop on Logic and Architecture Synthesis for Silicon Compilers, Grenoble
The Design and Implementation of an Interactive Proof Editor
Brian Ritchie (1988)
The interactive proof editor
Brian Ritchie and others (1988) · An experiment in interactive theorem proving. In G Birtwistle and P A Subrahmanyam, editors, Current Trends in Hardware Verification and Automated Theorem Proving, pages 303–322, New York, 1988. Springer Verlag
Q-modules: internally clocked delay-insensitive modules
Fred U. Rosenberger and others (1988) · Institute of Electrical and Electronics Engineers (IEEE)
The UNIVAC SHORT CODE
William F. Schmitt (1988) · Institute of Electrical and Electronics Engineers (IEEE)
FIAT-fault injection based automated testing environment
Zary Segall (1988) · IEEE Comput. Soc. Press
Retiming and slowdown in Ruby
M. Sheeran (1988) · The Fusion of Hardware Design and Verification · North-Holland
User Manual for the S2C Silage to C Compiler
C. Sheers (1988) · IMEC (internal report)
Implementing precise interrupts in pipelined processors
James Edward Smith and others (1988) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
The New Assembler
D. J. Snell and others (1988) · Royal Signals and Radar Establishment, Malvern
Introducing Z: a Specification Language and its Formal Semantics
J. M. Spivey (1988) · Cambridge University Press
Formal specification and verification of hardware: a comparative case study
V. Stavridou and others (1988) · 25th ACM/IEEE, Design Automation Conference.Proceedings 1988. · IEEE
Contextual constraints, temporal abstraction, and observational equivalence
P. A. Subrahmanyam (1988) · The Fusion of Hardware Design and Verification · North-Holland
Towards a framework for dealing with system timing in Very High Level Silicon Compilers
Pasupathi A. Subrahmanyam (1988) · Kluwer international series in engineering and computer science · Springer Nature
Formal Specification of Built in Operations
S. Tait (1988) · Praxis (internal memorandum)
System specification for a new simulator
S. Tait (1988) · Praxis (internal memorandum)
The implementation and application of micro rollback in fault-tolerant VLSI systems
Yuval Tamir and others (1988)
Constructivism in Mathematics, Vol 1
Anne Sjerp Troelstra and others (1988) · Elsevier
Constructivism in Mathematics, Vol 2
Anne Sjerp Troelstra and others (1988) · Elsevier
Principles of Database and Knowledge-Base Systems
Jeffrey D. Ullman (1988) · Computer Science Press
Delay-insensitive codes — an overview
Tom Verhoeff (1988) · Distributed Computing · Springer Science and Business Media LLC
A Compositional Model of MOS Circuits
Glynn Winskel (1988) · VLSI Specification, Verification and Synthesis · Kluwer Academic Publishers
Modular supervisory control of discrete-event systems
W. M. Wonham and others (1988) · Springer Science and Business Media LLC
A verified code generator for a subset of Gypsy
W. D. Young (1988)