1984
73 references published this year.
The Gaits of Bipedal and Quadrupedal Animals
R. M. Alexander (1984) · SAGE Publications
Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism
Krzysztof R. Apt (1984) · Theoretical Computer Science
Proving the correctness of digital hardware designs
H. G. Barrow (1984) · VLSI Design
Verify: A program for proving correctness of digital hardware designs
Harry G. Barrow (1984) · Artificial Intelligence · Elsevier BV
Quantum cryptography: Public key distribution and coin tossing
Charles H. Bennett and others (1984) · Proceedings of the IEEE International Conference on Computers, Systems and Signal Processing
A case study of the F.I.R.S.T. silicon compiler
N. Bergmann (1984) · Department of Computer Science, University of Edinburgh
Implementing remote procedure calls
Andrew Birrell and others (1984) · ACM Transactions on Computer Systems · Association for Computing Machinery
Prototyping Versus Specifying: A Multiproject Experiment
B. W. Boehm and others (1984) · Institute of Electrical and Electronics Engineers (IEEE)
Basic Tense Logic
John P. Burgess (1984) · Handbook of Philosophical Logic · Springer Netherlands
The drinking philosophers problem
K. M. Chandy and others (1984) · Association for Computing Machinery (ACM)
The Second Generation MOTIS Mixed-Mode Simulator
C.-F. Chen and others (1984) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
The characterization problem for Hoare logics
Edmund M. Clarke Jr. (1984) · Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences · The Royal Society
Behavioral simulation of LSI and VLSI circuits
D. Coelho (1984) · VLSI Design
Formal specification of VIPER microprocessor
W. J. Cullyer (1984) · Royal Signals and Radar Establishment, Malvern
Orwellian programming in safety-critical systems
I. F. Currie (1984) · Proceedings of the IFIP Working Conference on System Implementation Languages: Experience and Assessment, University of Kent at Canterbury
Spatial visual channels in the fourier plane
J. G. Daugman (1984) · Elsevier BV
UNIT and LEGO: database languages for the U2 silicon compiler
A. Deas (1984) · Department of Computer Science, University of Edinburgh
Understanding and Developing Combat Power
Huba Wass de Czege (1984)
Testing equivalences for processes
R. De Nicola and others (1984) · Theoretical Computer Science · Elsevier BV
Multinet Gateway - Towards A1 Certification
George W. Dinolt and others (1984) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
The program dependence graph and its use in optimization
J. Ferrante and others (1984) · Springer Berlin Heidelberg
Description and Reasoning of VLSI circuit in temporal logic
Akira Fusaoka and others (1984) · New Generation Computing · Springer Science and Business Media LLC
TRING
D. Gaubatz and others (1984) · Computer Laboratory, University of Cambridge
Smalltalk-80: The Interactive Programming Environment
A. Goldberg (1984) · Addison-Wesley
How to specify and verify hardware using higher order logic
M. J. C. Gordon (1984)
Multilevel verification using higher order logic
M. J. C. Gordon (1984)
Heyting-Valued Semantics
R. J. Grayson (1984) · Elsevier
A good Hoare axiom system for an ALGOL-like language
Joseph Y. Halpern (1984) · ACM Press
The VERITAS project
F. K. Hanna (1984)
Working Mothers Reach Record Number in 1984
Howard Hayghe (1984) · Monthly Labor Review 107 (1984): 31+. https://go.gale.com/ps/i.do?id=GALE%7CA3538075&sid=googleScholar&v=2.1&it=r&linkac
Proving systolic systems correct
M. Hennessy (1984) · Department of Computer Science, University of Edinburgh
Timing Models for MOS Circuits
M. A. Horowitz (1984)
Transport Protocol Specification
International Organization for Standardization (1984) · International Organization for Standardization
Synthesis of Digital Designs from Recursion Equations
S. D. Johnson (1984) · MIT Press
On expressive interpretations of a Hoare-logic for Clarke's language L4
Bernhard Josko (1984) · Lecture notes in computer science · Springer Science+Business Media
The CRITTER System -- Automated Critiquing of Digital Circuit Designs
V.E. Kelly (1984) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
VIPER: a microprocessor for safety-critical applications
J. Kershaw (1984) · Royal Signals and Radar Establishment, Malvern
Social psychological aspects of computer-mediated communication.
Sara Kiesler and others (1984) · American Psychologist · American Psychological Association (APA)
Wafer-scale integration and two-level pipelined implementations of systolic arrays
H. T. Kung and others (1984) · Journal of Parallel and Distributed Computing
Quantitative system performance
E. Lazowska and others (1984) · 1984.
A new algorithm to compute the discrete cosine Transform
G. Lee (1984) · Institute of Electrical and Electronics Engineers (IEEE)
Capability-based computer systems
Henry M. Levy (1984) · Digital Equipment Corporation, 1984. ISBN 148310740X
Signal Delay in General RC Networks
Tzu-Mu Lin and others (1984) · Institute of Electrical and Electronics Engineers (IEEE)
The Foundations of Program Verification
Jacques Loeckx and others (1984) · John Wiley & Sons and B. G. Teubner
Constructive mathematics and computer programming
P Martin-Löf (1984) · The Royal Society
Intuitionistic Type Theory
Per Martin-Löf (1984) · Bibliopolis
A fast file system for UNIX
Marshall K. McKusick and others (1984) · ACM Transactions on Computer Systems · Association for Computing Machinery
A Model for Hardware Description and Verification
G. J. Milne (1984) · IEEE
Alternating finite automata on ω-words
S. Miyano and others (1984) · Elsevier BV
ELLA: Hardware description or specification?
J. D. Morison and others (1984) · Proceedings of the IEEE International Conference on Computer-Aided Design (ICCAD-84), Santa Clara
An Early Program Proof by Alan Turing
F. Lockwood Morris and others (1984) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers
Expected subjective utility: Is the Neumann-Morgenstern utility the same as the Neoclassical's?
Yew‐Kwang Ng (1984) · Social Choice and Welfare · Springer Science+Business Media
A low-overhead coherence solution for multiprocessors with private cache memories
Mark S. Papamarcos and others (1984) · Proceedings - International Symposium on Computer Architecture/Proceedings
Specification and proof of a simple fault tolerant system in CCS
K. V. S. Prasad (1984) · Department of Computer Science, University of Edinburgh
Electrical, environmental and timing specification of VIPER microprocessor
C. H. Pygott (1984) · Royal Signals and Radar Establishment, Malvern
The Electronic Bulletin Board: A Computer-Driven Mass Medium
Sheizaf Rafaeli (1984) · Social Science Micro Review · SAGE Publishing
Fault-Tolerant Computing—Concepts and Examples
Rennels (1984) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
What is technology? The issue of its origins and definitions∗
Jean‐Jacques Salomon (1984) · History and Technology · Routledge
End-to-end arguments in system design
Jerome H. Saltzer and others (1984) · ACM Transactions on Computer Systems · Association for Computing Machinery
Syntactic aspects of the non-deterministic lambda calculus
K. Sharma (1984)
muFP, a language for VLSI design
Mary Sheeran (1984) · ACM Press
Meta-level inference: Representing and Learning Control Information in Artificial Intelligence
B. Silver (1984)
Reporting Crimes to the Police: The Status of World Research
W. G. Skogan (1984) · SAGE Publications
Latchkey Children: The Fastest-Growing Special Interest Group in the Schools
Deborah Burnett Strother (1984) · Phi Delta Kappan 66, no. 4 (1984): 290–93. http://www.jstor.org/stable/20387321.
A Class of Reduced-Complexity Viterbi Detectors for Partial Response Continuous Phase Modulation
A. Svensson and others (1984) · Institute of Electrical and Electronics Engineers (IEEE)
Combinations of Tense and Modality
Richmond H. Thomason (1984) · Springer Nature
Reflections on Trusting Trust
Ken Thompson (1984) · Communications of the ACM · Association for Computing Machinery
A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms
B. A. Trakhtenbrot (1984) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers
Problems in Decentralized Decision Making and Computation
John N. Tsitsiklis (1984)
Classification and composition of delay-insensitive circuits
Jan Tijmen Udding (1984) · Technische Hogeschool Eindhoven
Computational Aspects of VLSI
J. D. Ullman (1984) · Computer Science Press
On War
Carl von Clausewitz (1984)
A Competitive Assessment of the U.s
R. Watkins and others (1984) · Video Game Industry: Report on Investigation No. 332-160 under Section 332(b) of the Tariff Act of 1930. U.S. Internatio