1982
64 references published this year.
Consumerism
D. A. Aaker (1982)
Waveguide Electrooptic Modulators
Rod C. Alferness (1982) · IEEE Transactions on Microwave Theory and Techniques · IEEE Microwave Theory and Techniques Society
Countable nondeterminism and random assignment
K. R. Apt and others (1982) · LITP, Université Paris 7
Fair termination revisited - with delay
K. R. Apt and others (1982) · Proceedings of the 2nd Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore
Handbook of mathematical logic
Jon Barwise (1982) · Elsevier
Deterministic propositional dynamic logic: Finite models, complexity, and completeness
Mordechai Ben‐Ari and others (1982) · Journal of Computer and System Sciences · Elsevier BV
The thermodynamics of computation---a review
Charles H. Bennett (1982) · International Journal of Theoretical Physics · Springer Science+Business Media
Expressiveness and the completeness of Hoare's logic
Jan A. Bergstra and others (1982) · Journal of Computer and System Sciences · Elsevier BV
Floyd's principle, correctness theories and program equivalence
J.A. Bergstra and others (1982) · Theoretical Computer Science · Elsevier BV
Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs
Jan A. Bergstra and others (1982) · Theoretical Computer Science
Hardware Specification with Temporal Logic: An Example
Gregor V. Bochmann (1982) · Institute of Electrical and Electronics Engineers (IEEE)
The assessment of safety-critical software
B. D. Bramson (1982) · Ministry of Defence (unpublished report)
The decomposition and factorization of Boolean expressions
R. K. Brayton and others (1982) · Proceedings of the International Symposium on Circuits and Systems · IEEE
Charles Babbage's Analytical Engine, 1838
Allan G. Bromley (1982) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers
MOSSIM II: A Switch Level Simulator for MOS LSI, User's Manual
Randal E. Bryant and others (1982) · California Institute of Technology, Computer Science Department
An Algebraic Approach to Hardware Description and Verification
Luca Cardelli (1982)
Graphs and Networks
B. A. Carre (1982) · Oxford University Press
Name, addresses, ports, and routes
D Clark (1982)
Window and Acknowledgement Strategy in TCP
D.D. Clark (1982) · RFC Editor
The MPC adventures: Experiences with the generation of VLSI design and implementation methodologies
L. Conway (1982) · Elsevier BV
Principal type-schemes for functional programs
Luis Damas and others (1982) · Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages · Association for Computing Machinery
Using branching time temporal logic to synthesize synchronization skeletons
E.Allen Emerson and others (1982) · Elsevier BV
The Equivalence of an Operational and a Denotational Semantics for Pure Dataflow
Antony Azio Faustini (1982)
Security Policies and Security Models
J. A. Goguen and others (1982) · IEEE
A model of register transfer systems with applications to microcode and VLSI correctness
M. J. C. Gordon (1982) · University of Edinburgh, Department of Computer Science
Representing a logic in the LCF metalanguage
M. J. C. Gordon (1982) · Tools and Notions for Program Construction · Cambridge University Press
Verifying Concurrent Processes Using Temporal Logic
Brent T. Hailpern (1982) · Springer Berlin Heidelberg
A programming language for the inductive sets, and applications
D. Harel and others (1982) · Automata, Languages and Programming (ICALP 1982) · Springer
The Logical Foundations of Mathematics
W.S. Hatcher (1982) · Pergamon Press
A unified switching theory with applications to VLSI design
John P. Hayes (1982) · Institute of Electrical and Electronics Engineers (IEEE)
A Theory of Data Type Representation Independence
C. T. Haynes (1982) · Department of Computer Science, University of Iowa
Direct Implementation of Asynchronous Control Units
Lee A. Hollaar (1982) · Institute of Electrical and Electronics Engineers (IEEE)
Upper and lower bounds for first-order expressibility
Neil Immerman (1982) · Journal of Computer and System Sciences
TMS99105A and TMS99110A 16-Bit Microprocessors Data Manual
Texas Instruments Incorporated (1982)
Basic Concepts of Enriched Category Theory
G. M. Kelly (1982) · Cambridge University Press
GEMINI microprogrammer's handbook
J. Kershaw (1982) · Royal Signals and Radar Establishment, Malvern
The Byzantine Generals Problem
Leslie Lamport and others (1982) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
On termination problems for finitely interpreted ALGOL-like programs
Hans Langmaack (1982) · Acta Informatica · Springer Science+Business Media
Designing with Gate Arrays
Lattice Logic Ltd. (1982)
A semantic model of types for applicative languages
D. B. MacQueen and others (1982) · Proceedings of the 1982 ACM symposium on LISP and functional programming - LFP '82 · ACM Press
Subitizing: An analysis of its component processes.
G. Mandler and others (1982) · American Psychological Association (APA)
Computer Equity for Young Women in Rural Schools
Walter M. Mathews and others (1982) · Research in Rural Education 1, no. 1 (1982): 37–41. https://eric.ed.gov/?id=EJ298562.
The architecture of the Burroughs B5000: 20 years later and still ahead of the times?
Alastair J.W. Mayer (1982) · Association for Computing Machinery (ACM)
MOS Devices and Circuit Design
O. J. McCarthy (1982) · Wiley-Interscience
ELLA: a hardware description language
J. D. Morison and others (1982) · IEEE International Conference on Circuits and Computers, ICCC 82, New York
A General Axiom of Assignment
Joseph M. Morris (1982) · Theoretical Foundations of Programming Methodology · Springer
A Temporal Logic for Multi-Level Reasoning About Hardware
Ben Moszkowski (1982) · Stanford University, Department of Computer Science
A Category-Theoretic Approach to the Semantics of Programming Languages
F. J. Oles (1982)
Concurrent Error Detection in ALU's by Recomputing with Shifted Operands
J. Patel and others (1982) · Institute of Electrical and Electronics Engineers (IEEE)
Heretics Threaten Computer ‘Religion.’ (Employees Fear and Fight Automation)
William Pat Patterson (1982) · Industry Week 215, no. 6 (1982): 66–68.
The Yorktown Simulation Engine: Introduction
G. F. Pfister (1982) · IEEE
A formal method for computer design verification
V. Pitchumani and others (1982) · 19th Design Automation Conference · IEEE
An Ethernet Address Resolution Protocol: Or Converting Network Protocol Addresses to 48.bit Ethernet Address for Transmission on Ethernet Hardware
D. C. Plummer (1982)
Specification and verification of concurrent systems in CESAR
J. P. Queille and others (1982) · 5th International Symposium on Programming · Springer
Proof techniques for CCS
M. T. Sanderson (1982)
Connecting Different Types of Networks with Gateways
Alan Sheltzer and others (1982) · Data Communications
The Category-Theoretic Solution of Recursive Domain Equations
M. B. Smyth and others (1982) · Society for Industrial & Applied Mathematics (SIAM)
Autonomous, Antitone, Sequential Circuits
N. A. Starodubtsev (1982) · Engineering Cybernetics
Solving symbolic equations with press
L. Sterling and others (1982) · Springer Berlin Heidelberg
Electronic Bullies
Lois Timnick (1982) · Psychology Today 16, no. 1 (1982).
The complexity of relational query languages
Moshe Y. Vardi (1982) · Proceedings of the 14th ACM Symposium on Theory of Computing
Microcomputers for Libraries: An Overview
William H. Warden and others (1982) · Emerald
A single quantum cannot be cloned
W. K. Wootters and others (1982) · Springer Science and Business Media LLC
Mainsail Language Manual
Xidak, (1982) · Xidak, Inc., Menlo Park, CA