1983
90 references published this year.
Random walks on finite groups and rapidly mixing markov chains
David Aldous (1983) · Springer Berlin Heidelberg
Maintaining knowledge about temporal intervals
J. Allen (1983) · Association for Computing Machinery (ACM)
Proof rules and transformations dealing with fairness
Krzysztof R. Apt and others (1983) · Science of Computer Programming · Elsevier BV
History of the Design of the SAGE Computer-The AN/FSQ-7
Morton M. Astrahan and others (1983) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers
Silicon Compilation and the Art of Automatic Microchip Design
R. Ayres (1983) · Prentice Hall
Specification and proof of a regular expression recogniser in synchronous CCS
R. Backhouse (1983) · Department of Computer Science, University of Edinburgh
Equivalence of the Arbiter, the Synchronizer, the Latch, and the Inertial Delay
Barros and others (1983) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)
Simulating Pass Transistor Circuits Using Logic Simulation Machines
Z. Barzilai (1983) · IEEE
Quantum Cryptography, or Unforgeable Subway Tokens
Charles H. Bennett and others (1983) · Springer US
Higher-order logic
Johan van Benthem and others (1983) · Handbook of philosophical logic · Springer
A proof rule for restoring logic circuits
J.A. Bergstra and others (1983) · Integration · Elsevier BV
Absorption and Scattering of Light by Small Particles
Craig F. Bohren and others (1983) · Wiley-Interscience
On Communicating Finite-State Machines
Daniel Brand and others (1983) · Association for Computing Machinery (ACM)
A model for communicating sequential processes
S. D. Brookes (1983) · Carnegie-Mellon University
A Switch-Level Model and Simulator for MOS Digital Systems
Randal E. Bryant (1983) · California Institute of Technology, Computer Science Department
Architecture and Design of a Reliable Token-Ring Network
W. Bux and others (1983) · Institute of Electrical and Electronics Engineers (IEEE)
Internetwork protocol
R. Callon (1983) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
The DoD internet architecture model
Vinton G. Cerf and others (1983) · Elsevier BV
Space-time algorithms: semantics and methodology
M. C. Chen (1983)
Automatic verification of finite state concurrent system using temporal logic specifications
E. M. Clarke and others (1983) · ACM Press
Effective axiomatizations of Hoare logics
Edmund M. Clarke Jr. and others (1983) · Journal of the ACM
Situational Crime Prevention: Its Theoretical Basis and Practical Scope
Ronald V. Clarke (1983) · Crime and Justice · University of Chicago Press
The UNIT silicon compiler
A. Deas (1983) · Department of Computer Science, University of Edinburgh
AUTOMATH, a Language for Mathematics
N. G. de Bruijn (1983) · Springer Berlin Heidelberg
Editorial: Moral clarity in the computer age
Peter J. Denning (1983) · Communications of the ACM · Association for Computing Machinery (ACM)
History and overview of CSNET
Peter J. Denning and others (1983) · ACM Press
On the security of public key protocols
Danny Dolev and others (1983) · IEEE Transactions on Information Theory · Institute of Electrical and Electronics Engineers
Electronic Inventions and Discoveries: Electronics from Its Earliest Beginnings to the Present Day
G. W. A. Dummer (1983)
CMOS, the ideal logic family
F. Semiconductor (1983) · Application Note, (77)
Impossibility of distributed consensus with one faulty process
Michael J. Fischer and others (1983) · Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems · ACM Press
Proof methods for modal and intuitionistic logics
Melvin Fitting (1983) · Springer
An Algebra for Logic Strength Simulation
Peter L. Flake and others (1983) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
Representing Vendors in Computer Sales
Marc S. Friedman (1983) · American Bar 70 (1983): 152.
Using cache memory to reduce processor-memory traffic
J. R. Goodman (1983) · ACM Press
LCF LSM
Mike Gordon (1983) · Technical Report 41
LCF_LSM: A system for specifying and verifying hardware
Mike Gordon (1983) · University of Cambridge Computer Laboratory
Proving a Computer Correct with the LCF_LSM Hardware Verification System
Mike Gordon (1983) · University of Cambridge Computer Laboratory
A hardware semantics based on temporal intervals
Joseph Halpern and others (1983) · Automata, Languages and Programming · Springer-Verlag
Overview of the Veritas Project
F.K. Hanna (1983) · University of Kent
Selecting Micro Computer Software
John Huntington (1983) · McGill Journal of Education/Revue des sciences de l'éducation de McGill 18, no. 003 (1983).
Tentative steps toward a development method for interfering programs
C. B. Jones (1983) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery (ACM)
CCS expressions, finite state processes, and three problems of equivalence
Paris C. Kanellakis and others (1983) · ACM Press
Games on the Phone
Arnie Katz (1983)
Real-time programming and asynchronous message passing
R. Koymans and others (1983) · ACM Press
Results on the propositional μ-calculus
Dexter Kozen (1983) · Elsevier BV
Hints for computer system design
Butler Lampson (1983) · ACM SIGOPS Operating Systems Review · Association for Computing Machinery
Wafer-Scale Integration of Systolic Arrays
Frank Thomson Leighton and others (1983) · MIT Laboratory for Computer Science
Optimizing Synchronous Circuitry by Retiming (Preliminary Version)
Charles E Leiserson and others (1983) · Springer Berlin Heidelberg
Structural semantics for polymorphic data types (preliminary report)
Daniël Leivant (1983) · Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 · ACM Press
Computer experiments with the REVE term rewriting system generator
Pierre Lescanne (1983) · ACM Press
The Theory of Relational Databases
David Maier (1983) · Computer Science Press
A compiler for large scale
R. Marshall (1983) · Department of Computer Science, University of Edinburgh
The Design of a Self-timed Circuit for Distributed Mutual Exclusion
Martin, Alain J. (1983) · California Institute of Technology
Introduction to MOS LSI Design
John Mavor and others (1983) · Addison-Wesley
An Abstract Model of Behavior for Hardware Descriptions
McFarland and others (1983) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
A mode control model of counting and timing processes.
Warren H. Meck and others (1983) · Journal of Experimental Psychology: Animal Behavior Processes · American Psychological Association (APA)
Circal: A calculus for circuit description
George Milne (1983) · Integration, the VLSI Journal · Elsevier BV
A formal basis for the analysis of circuit timing
G. J. Milne (1983) · University of Edinburgh
A simple silicon compiler and its correctness
G. J. Milne (1983) · Proceedings of the 6th International Symposium on Computer Hardware Description Languages, Pittsburgh
Calculi for synchrony and asynchrony
Robin Milner (1983) · Theoretical Computer Science · Elsevier BV
Introduction to Assembly Language for the TI Home Computer
Ralph Molesworth (1983)
Reasoning About Digital Circuits
Ben C. Moszkowski (1983)
Simulation from system design to chip design
K. G. Nichols (1983) · Systems on Silicon · Institution of Electrical Engineers
The QWERTY keyboard: a review
Jan Noyes (1983) · Elsevier BV
On the Notion of Expressiveness and the Rule of Adaption
Ernst-Rüdiger Olderog (1983) · Theoretical Computer Science
Specification-oriented semantics for communicating processes
E.-R. Olderog and others (1983) · Springer-Verlag
A higher-order implementation of rewriting
Lawrence Paulson (1983) · Elsevier BV
Microprocessors: Design case history: The Atari Video Computer System: By omitting lots of hardware, designers added flexibility and gave video-game programmers room to be creative
Tekla S. Perry and others (1983) · Institute of Electrical and Electronics Engineers (IEEE)
CONLAN Report
R Piloty and others (1983) · Springer Berlin Heidelberg
Karl Pearson and the Chi-Squared Test
R. L. Plackett (1983) · JSTOR
Fairness and related properties in transition systems ? a temporal logic to deal with fairness
J. P. Queille and others (1983) · Springer Science and Business Media LLC
Implementing atomic actions on decentralized data
David P. Reed (1983) · ACM Transactions on Computer Systems · Association for Computing Machinery (ACM)
Types, Abstraction and Parametric Polymorphism
John C. Reynolds (1983) · Information Processing 83 · North-Holland
Some People Should Be Afraid of Computers
Charles Rubin (1983)
HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
R. A. G. Seely (1983) · Wiley
muFP, an algebraic VLSI design language
Mary Sheeran (1983)
Formal verification of circuit designs
R. E. Shostak (1983) · Computer Hardware Description Languages and their Applications (CHDL 83), Pittsburgh · North-Holland
Learning equation solving methods from examples
B. Silver (1983) · Proceedings of the Eighth IJCAI
Deriving Circuits from Programs
Jan L. A. Snepscheut (1983) · Springer Nature
Trace theory and VLSI design
Jan L. A. van de Snepscheut (1983) · Technische Hogeschool Eindhoven
Synthesizing VLSI circuits from behavioral specifications: a very high level silicon compiler and its theoretical basis
P. A. Subrahmanyam (1983) · VLSI 83
Simulation Tools for Digital LSI Design
Christopher Jay Terman (1983) · MIT Laboratory for Computer Science
A LISP based CIRCAL environment
N. Traub (1983) · Department of Computer Science, University of Edinburgh
DDL veri er and temporal logic
Takao Uehara and others (1983) · CHDL 83: 6th International Symposium on Computer Hardware Description Languages and their Applications
Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications (CHDL 83)
Unattributed (1983) · North-Holland
Reference Manual for the ADA® Programming Language
United States Department of Defense (1983) · Springer New York
Conjugate coding
Stephen Wiesner (1983) · Association for Computing Machinery (ACM)
Formal Design Verification of Digital Systems
Anthony S. Wojcik (1983) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
Temporal logic can be more expressive
Pierre Wolper (1983) · Information and Control · Elsevier BV
A Pragmatic Parallel Computation Model and Its Computer Architecture
Nam Sung Woo (1983) · Doctoral dissertation