1981
79 references published this year.
Image data compression with the Laplacian pyramid
E. H. Adelson and others (1981) · Proceedings of the Conference on Pattern Recognition and Image Processing
Pioneer Day 1981: UNIVAC I
Unattributed (1981) · Institute of Electrical and Electronics Engineers (IEEE)
Computer Design Aids for VLSI Circuits
Paolo Antognetti and others (1981) · Springer Nature
A Cook's tour of countable nondeterminism
K. R. Apt and others (1981) · Automata, Languages and Programming (ICALP 1981) · Springer
Ten Years of Hoare's Logic: A Survey - Part I
Krzysztof R. Apt (1981) · ACM Transactions on Programming Languages and Systems
School, Work and Play (World of Tomorrow)
Neil Ardley (1981)
The algebra of functional programs: Function level reasoning, linear equations, and extended definitions
John Backus (1981) · Lecture notes in computer science · Springer Science+Business Media
Instruction set processor specifications (ISPS): The notation and its applications
Mario R. Barbacci (1981) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)
The temporal logic of branching time
M. Ben-Ari and others (1981) · ACM Press
Snowball Sampling: Problems and Techniques of Chain Referral Sampling
Patrick Biernacki and others (1981) · Sociological Methods & Research · SAGE Publishing
Metafunctions: proving them correct and using them efficiently as new proof procedures
Robert S. Boyer and others (1981) · The Correctness Problem in Computer Science · Academic Press
A Switch-Level Model of MOS Logic Circuits
R. E. Bryant (1981) · VLSI 81 · Academic Press
MOSSIM: A Switch-Level Simulator for MOS LSI
R.E. Bryant (1981) · 18th Design Automation Conference · IEEE
A Switch-Level Simulation Model for Integrated Logic Circuits
Randal E. Bryant (1981)
Sticks and stones: an applicative VLSI design language
L. Cardelli (1981) · Department of Computer Science, University of Edinburgh
Alternation
Ashok K. Chandra and others (1981) · Journal of the ACM · Association for Computing Machinery
The India-Bhutan Relationship: Some New Trends
T.K Roy Choudhury (1981) · World Today 37, no. 12 (1981): 476–81.
Design and synthesis of synchronization skeletons using branching time temporal logic
Edmund M. Clarke and others (1981) · Logic of Programs · Springer
Programming in Prolog
W.F. Clocksin and others (1981) · Springer-Verlag
Mixed-Mode Circuit Simulation Techniques and their Implementation in DIANA
H. De Man and others (1981) · Springer Netherlands
Timestamps in key distribution protocols
Dorothy E. Denning and others (1981) · Communications of the ACM · Association for Computing Machinery
Computers and communications in the 1980's: Benefits and problems
Alexander S. Douglas (1981) · Elsevier BV
The application of Conlan assertions to the correct description of hardware
H. Eveking (1981) · Proceedings of the IFIP TC-10 Fifth International Conference on Computer Hardware Description Languages and their Applications
Expressive Functional Completeness in Tense Logic (Preliminary report)
D. Gabbay (1981) · Springer Netherlands
Shuffle languages, Petri nets, and context-sensitive grammars
Jay Loren Gischer (1981) · Communications of the ACM · Association for Computing Machinery
Microcomputers in Education: The State of the Art
Gerald T. Gleason (1981) · Educational Technology 21, no. 3 (1981): 7–18. http://www.jstor.org/stable/44422568.
Register transfer systems and their behavior
M. Gordon (1981) · Proceedings of the IFIP TC-10 Fifth International Conference on Computer Hardware Description Languages and their Applications
Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer
Irene Greif and others (1981) · Association for Computing Machinery (ACM)
The science of programming
David Gries (1981) · Springer
A proof rule for fair termination of guarded commands
O. Grumberg and others (1981) · Algorithmic Languages · North-Holland
A Logic Design Theory for VLSI
J. P. Hayes (1981) · Proceedings of the Second Caltech Conference on VLSI
Stored State Asynchronous Sequential Circuits
Hayes (1981) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
The emperor's old clothes
C. A. R. Hoare (1981) · Association for Computing Machinery (ACM)
A model for communicating sequential processes
C. A. R. Hoare (1981) · Technical Report PRG-22
A MOS/LSI Oriented Logic Simulator
D. Holt and others (1981) · IEEE
IBM System/38 support for capability-based addressing
Merle E. Houdek and others (1981) · Proceedings of the 8th Annual Symposium on Computer Architecture
Number of quantifiers is better than number of tape cells
Neil Immerman (1981) · Journal of Computer and System Sciences · Elsevier BV
Encryption and Authentication in On-Board Processing Satellite Communication Systems
I. Ingemarsson and others (1981) · Institute of Electrical and Electronics Engineers (IEEE)
Computer abuse and computer crime as organizational activities
Rob Kling (1981) · Association for Computing Machinery (ACM)
Specifying concurrent program modules
L. Lamport (1981) · Computer Science Laboratory, SRI International
Bounds for eigenvalues of certain stochastic matrices
H.J. Landau and others (1981) · Elsevier BV
Another proof for the completeness of a rule for the fair termination of guarded commands and another rule for their just termination
D. Lehmann (1981) · Mathematisch Centrum, Amsterdam
Impartiality, justice and fairness: The ethics of concurrent termination
Daniel J. Lehmann and others (1981) · Lecture notes in computer science · Springer Science+Business Media
CLU Reference Manual
Barbara Liskov and others (1981) · Springer Nature
Temporal Specifications of Self-Timed Systems
Yonatan Malachi and others (1981) · Springer Nature
What Makes Computer Games Fun?
Thomas Malone (1981)
Verification of concurrent programs: Temporal proof principles
Z. Manna and others (1981) · Springer-Verlag
Verification of concurrent programs: the temporal framework
Z. Manna and others (1981) · The Correctness Problem in Computer Science
General theory of metastable operation
Leonard R. Marino (1981) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)
Consumerism in the 70's: The Emergence of New Issues
Robert Nathan Mayer (1981) · Journal of Consumer Affairs · Wiley
On approaches to the study of social issues in computing
Abbe Mowshowitz (1981) · Communications of the ACM · Association for Computing Machinery
GMSK Modulation for Digital Mobile Radio Telephony
K. Murota and others (1981) · IRE Transactions on Communications Systems · Institute of Electrical and Electronics Engineers
Techniques for program verification
G. Nelson (1981) · Xerox Palo Alto Research Center
Timing, Logic and Mixed-Mode Simulation for Large MOS Integrated Circuits
A. R. Newton (1981) · Springer Netherlands
Petri nets, event structures and domains, part I
Mogens Nielsen and others (1981) · Theoretical Computer Science · Elsevier BV
Sound and complete Hoare-like calculi based on copy rules
Ernst-Rüdiger Olderog (1981) · Springer Science and Business Media LLC
Concurrency and automata on infinite sequences
D. Park (1981) · Proceedings of the 5th GI-conference
A predicate transformer for weak fair iteration
D. Park (1981) · Proceedings of the 6th IBM Symposium on Mathematical Foundations of Computer Science, Hakone, Japan
Slide: An I/O Hardware Descriptive Language
A. C. Parker and others (1981) · Institute of Electrical and Electronics Engineers (IEEE)
RISC I: A reduced instruction set VLSI computer
David A. Patterson and others (1981) · Proceedings of the 8th annual symposium on Computer Architecture
The temporal semantics of concurrent programs
Amir Pnueli (1981) · Theoretical Computer Science · Elsevier BV
The ARPA internet protocol
Jon Postel and others (1981) · Computer Networks (1976) · Elsevier BV
Assigned numbers
J. Postel (1981) · RFC Editor
Transmission Control Protocol
J. Postel (1981) · RFC Editor
Correlates of Computer Anxiety in College Students
Annalyse Callahan Raub (1981)
The VLSI challenge: complexity bridling
M. Rem (1981) · VLSI 81
The Craft of Programming
J. C. Reynolds (1981) · Prentice-Hall International
The Essence of Algol
John C. Reynolds (1981) · Algorithmic Languages · North-Holland
A Set of Programs for MOS Design
G. Sakauye (1981) · IEEE
Temporal logic specification of distributed systems
R. L. Schwartz and others (1981) · Proceedings of the Second International Conference on Distributed Computing Systems
A MOS Modelling Technique for 4-State True-Value Hierarchical Logic Simulation or Karnough Knowledge
W. Sherwood (1981) · IEEE
Formal Models of Capability-Based Protection Systems
Snyder (1981) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
The design structure system: A method for managing the design of complex systems
D. V. Steward (1981) · Institute of Electrical and Electronics Engineers (IEEE)
A new multi-level hardware design language (LALSD II) and translator
S. Y. H. Su and others (1981) · Proceedings of the IFIP TC-10 Fifth International Conference on Computer Hardware Description Languages and their Applications
Computer Networks
Andrew S. Tanenbaum (1981) · Prentice-Hall
iPAX 432 General Data Processor Architecture Reference Manual
Paul Tyner (1981) · Intel Corporation
Light Scattering by Small Particles
H. C. van de Hulst (1981) · Dover
SPICE Version 2G User's Guide
A. Vladimirescu and others (1981)
Dc drift phenomena in linbo3 optical waveguide devices
Syoji Yamada and others (1981) · Japanese Journal of Applied Physics