1985
88 references published this year.
Development of the ALOHANET
N. Abramson (1985) · Institute of Electrical and Electronics Engineers (IEEE)
Defining liveness
B. Alpern and others (1985) · Elsevier BV
The question of classical localization: a theory of white paint?
P. W. Anderson (1985) · Philosophical Magazine B
Some questions about expressiveness and relative completeness in Hoare's logic
Mario Rodriguez Artalejo (1985) · Theoretical Computer Science
Complexity of network synchronization
Baruch Awerbuch (1985) · Journal of the ACM · Association for Computing Machinery
Transient simulation of silicon devices and circuits
Randolph E. Bank and others (1985) · IEEE Transactions on Electron Devices · Institute of Electrical and Electronics Engineers
Ada as a hardware description language: An initial report
Mario R Barbacci and others (1985) · CHDL 85: 7th International Symposium on Computer Hardware and Description Languages and their Applications
Logic designers toss out the clock
Clifford Barney (1985) · Electronics
Toposes, Triples and Theories
Michael Barr and others (1985) · Springer Nature
IBM’s Early Computers: A Technical History
C. J. Bashe (1985)
Quantitative Evaluation of Software Methodology.
V. R. Basili (1985) · Defense Technical Information Center
Proofs as programs
Joseph L. Bates and others (1985) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery (ACM)
Can a simulator verify a circuit?
Randal E Bryant (1985) · Formal Aspects of VLSI Design
Symbolic Manipulation of Boolean Functions Using a Graphical Representation
Randal E. Bryant (1985) · Proceedings of the 22nd ACM/IEEE Design Automation Conference (DAC '85)
Symbolic Verification of MOS Circuits
Randal E. Bryant (1985) · 1985 Chapel Hill Conference on Very Large Scale Integration
Latchkey Children—What is the Answer?
Lloyd P. Campbell and others (1985) · The Clearing House A Journal of Educational Strategies Issues and Ideas · Taylor & Francis
On understanding types, data abstraction, and polymorphism
Luca Cardelli and others (1985) · ACM Computing Surveys · Association for Computing Machinery
SPADE Pascal
B. A. Carre and others (1985) · Program Validation Ltd, Southampton
Distributed snapshots: determining global states of distributed systems
K. Mani Chandy and others (1985) · ACM Transactions on Computer Systems · Association for Computing Machinery
Logic Programming and the Specification of Circuits
W. F. Clocksin (1985) · University of Cambridge Computer Laboratory
A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing
Guy Cohen and others (1985) · Institute of Electrical and Electronics Engineers (IEEE)
VIPER - Correspondence between specification and host machine
W. J. Cullyer (1985) · Royal Signals and Radar Establishment, Malvern
Hardware Proofs Using LCF-LSM and ELLA
W.J. Cullyer and others (1985) · Royal Signals and Radar Establishment
VIPER Microprocessor: Formal Specification
W. J. Cullyer (1985) · Royal Signals and Radar Establishment, Malvern
Uncertainty relation for resolution in space, spatial frequency, and orientation optimized by two-dimensional visual cortical filters
J. G. Daugman (1985) · Optica Publishing Group
The quest for compositionality: A survey of assertion-based proof systems for concurrent programs
W. P. de Roever (1985) · Formal Models in Programming, Proceedings of the IFIP Working Conference · North-Holland
Automatic verification of asynchronous circuits using temporal logic
David L. Dill and others (1985) · 1985 Chapel Hill Conference on VLSI · Computer Science Press
The application of CHDLs to the abstract specification of hardware
H. Eveking (1985) · NorthHolland
Impossibility of distributed consensus with one faulty process
Michael J. Fischer and others (1985) · Journal of the ACM · Association for Computing Machinery
Mechanical proofs about computer programs
Donald I. Good (1985) · Mathematical Logic and Programming Languages · Prentice Hall
Statistical Optics
Joseph W. Goodman (1985) · Wiley-Interscience
A formal hardware verification methodology and its application to a network interface chip
Mike Gordon and others (1985) · University of Cambridge Computer Laboratory
HOL: A machine oriented formulation of higher order logic
Mike Gordon (1985) · University of Cambridge Computer Laboratory
Why higher-order logic is a good formalisation for specifying and verifying hardware
Mike Gordon (1985) · University of Cambridge Computer Laboratory
On relative completeness of Hoare logics
Michal Grabowski (1985) · Information and Control
Modelling a Ring Network in Interval Temporal Logic
R.W.S. Hale (1985) · Microcomputers, Usage and Design: Proceedings of the eleventh EUROMICRO Symposium on Microprocessing and Microprogramming
I Want to be a Mathematician: An Automathography
Paul Richard Halmos (1985) · Springer Nature
Specification and verification using higher-order logic: A case study
F. K. Hanna and others (1985) · Proceedings of the 7th International Conference on Computer Hardware Description Languages and their Applications (CHDL 85), Tokyo · North-Holland
Communicating Sequential Processes
C. A. R. Hoare (1985) · Prentice-Hall International
Charles Babbage: Pioneer of the Computer
Anthony Hyman (1985)
General correctness: A unification of partial and total correctness
D. Jacobs and others (1985) · Springer Science and Business Media LLC
Implementing a cache consistency protocol
R. H. Katz and others (1985) · Association for Computing Machinery (ACM)
Effectiveness of computer-based education in elementary schools
James A. Kulik and others (1985) · Computers in Human Behavior · Elsevier BV
Modelling concurrent processes
R. P. Kurshan (1985) · American Mathematical Society
Checking that finite state concurrent programs satisfy their linear specification
Orna Lichtenstein and others (1985) · ACM Press
The glory of the past
Orna Lichtenstein and others (1985) · Lecture notes in computer science · Springer Science+Business Media
Design methodology for self-timed VLSI systems
P. F. Lister and others (1985) · Institution of Engineering and Technology (IET)
The Logical Basis for Computer Programming
Zohar Manna and others (1985) · Addison-Wesley
A Delay-Insensitive Fair Arbiter
Alain J. Martin (1985) · California Institute of Technology
The probe: An addition to communication primitives
Alain J Martin (1985) · Elsevier BV
Abstraction in hardware verification: progress report and thesis proposal
Tom Melham (1985) · University of Cambridge Computer Laboratory
A Signal Abstraction Function
T.F. Melham (1985) · Computer Laboratory, University of Cambridge
Composition of Temporal Operators
M. Michel (1985) · Logique et Analyse
CIRCAL and the representation of communication, concurrency, and time
George J. Milne (1985) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Simulation and Verification: Related Techniques for Hardware Analysis
G.J. Milne (1985) · Computer Hardware Description Languages and their Applications: Proceedings of the IFIP WG 10.2 Seventh International Conference, Tokyo, August 1985
Hierarchical Verification of Asynchronous Circuits Using Temporal Logic
Bud Mishra and others (1985) · Theoretical Computer Science · North-Holland
Implementations of process synchronization and their analysis
K. Mitchell (1985)
Synthesis of delay-insensitive modules
Charles E. Molnar and others (1985) · 1985 Chapel Hill Conference on VLSI · Computer Science Press
Data Type Proofs Using Edinburgh LCF
B.Q. Monahan (1985)
The Design Rationale of ELLA, A Hardware Design and Description Language
J. D. Morison and others (1985) · Computer Hardware Description Languages and their Applications (CHDL 85), Tokyo
Executing temporal logic programs (full version)
Ben Moszkowski (1985) · University of Cambridge Computer Laboratory
A Temporal Logic for Multilevel Reasoning about Hardware
Ben Moszkowski (1985) · Computer · IEEE Computer Society
A combined logical and functional programming language
M. Newton (1985)
Computer data authentication
United States (1985) · National Institute of Standards and Technology (U.S.)
A database approach to design data management and programming support for ELLA, a high-level HDDL
N E Peeling and others (1985) · CHDL 85: 7th International Symposium on Computer Hardware and Description Languages and their Applications
An algorithm for distributed computation of a spanning tree in an extended LAN
Radia Perlman (1985) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery
The Conlan Project: Concepts, Implementations, and Applications
Piloty (1985) · Computer · IEEE Computer Society
Denotational semantics with partial functions
G. D. Plotkin (1985)
Types and partial functions
G. D. Plotkin (1985)
In Transition From Global to Modular Temporal Reasoning about Programs
A. Pnueli (1985) · Springer Berlin Heidelberg
Formal proof of correspondence between the specification of a hardware module and its gate level implementation
C. H. Pygott (1985) · Royal Signals and Radar Establishment, Malvern
Three approaches to type structure
John C. Reynolds (1985) · Mathematical Foundations of Software Development · Springer Berlin Heidelberg
Computer Crime Deterrence
Jerome Y. Roache (1985) · American Journal of Criminal Law 13 (1985): 391. https://heinonline.org/HOL/LandingPage?handle=hein.journals/ajcl13&div=
Signal graphs: From self-timed to timed ones
L. Ya. Rosenblum and others (1985) · Proceedings of the International Workshop on Timed Petri Nets · IEEE Computer Society Press
VHSIC Hardware Description Language
Shahdad and others (1985) · Computer · Institute of Electrical and Electronics Engineers (IEEE)
Networking for travel agents
Paul Shimell (1985) · Data Processing · Elsevier BV
Race to the Swift: Thoughts on Twenty-First Century Warfare
Richard E. Simpkin (1985)
Trace Theory and VLSI Design
Jan L. A. van de Snepscheut (1985) · Springer-Verlag
Modal logics for communicating systems
Colin Stirling (1985) · Department of Computer Science, University of Edinburgh
The SATNET Monitoring System
Claudio Topolcic and others (1985) · MILCOM 1985 - IEEE Military Communications Conference · IEEE
Observation of Weak Localization of Light in a Random Medium
Meint P. Van Albada and others (1985) · American Physical Society (APS)
Lithium niobate: Summary of physical properties and crystal structure
RS Weis and others (1985) · Springer Science and Business Media LLC
Principles of CMOS VLSI Design: A Systems Perspective
N.H.E. Weste and others (1985) · Addison-Wesley
Specification firms: A vision for the future
J. Wing (1985) · Third International Workshop on Software Specification and Design
A complete proof system for SCCS with modal assertions
Glynn Winskel (1985) · Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science 206
Weak Localization and Coherent Backscattering of Photons in Disordered Media
Pierre-Etienne Wolf and others (1985) · Physical Review Letters · American Physical Society (APS)
Designing self-timed systems
Alexandre Yakovlev (1985) · VLSI Systems Design