1986
101 references published this year.
Mach: A new kernel foundation for UNIX development
Mike Accetta and others (1986) · Proceedings of the 1986 Summer USENIX Technical Conference
Compilers: Principles, Techniques, and Tools
Alfred V. Aho and others (1986) · Addison-Wesley
Shuffling Cards and Stopping Times
David Aldous and others (1986) · American Mathematical Monthly · Taylor & Francis
Digital Phase Modulation
John B. Anderson and others (1986) · Springer US
Cache coherence protocols: evaluation using a multiprocessor simulation model
James Archibald and others (1986) · ACM Transactions on Computer Systems · Association for Computing Machinery (ACM)
Specification and VLSI Design
G. Birtwistle and others (1986) · Formal Aspects of VLSI Design: Proceedings of the 1985 Edinburgh Workshop on VLSI
On the existence of delay-insensitive fair arbiters: Trace theory and its limitations
David Lee Black (1986) · Distributed Computing · Springer Science+Business Media
Automatic Verification of Sequential Circuits Using Temporal Logic
Michael C. Browne and others (1986) · IEEE Transactions on Computers
Automatic verification using temporal logic: two new examples
M. C. Browne and others (1986) · Formal Aspects of VLSI Design: Proceedings of the 1985 Edinburgh Workshop on VLSI · North-Holland
Reasoning about networks with many identical finite state processes
M. C. Browne and others (1986) · ACM Symposium on Principles of Distributed Computing (PODC 1986)
Graph-Based Algorithms for Boolean Function Manipulation
Randal E. Bryant (1986) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
Hardware Verification using Higher-Order Logic
Albert Camilleri and others (1986) · University of Cambridge Computer Laboratory
Gender and Computers: The Beneficial Effects of Experience on Attitudes
Milton Chen (1986) · SAGE Publications
Software-controlled caches in the VMP multiprocessor
David R. Cheriton and others (1986) · ACM SIGARCH Computer Architecture News · ACM SIGARCH
On the models for designing VLSI asynchronous digital systems
Tam-Anh Chu (1986) · Elsevier BV
Automatic verification of finite-state concurrent systems using temporal logic specifications
Edmund M. Clarke and others (1986) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Automatic determination of signal flow through MOS transistor networks
W.F. Clocksin and others (1986) · Elsevier BV
A mechanised proof of correctness of a simple counter
Avra Cohn and others (1986) · Technical Report 94
A Mechanized Proof of Correctness of a Simple Counter
Avra Cohn and others (1986) · University of Cambridge Computer Laboratory
Implementing Mathematics with the NuPRL Proof Development Environment
R. Constable (1986) · Prentice-Hall
Implementing Mathematics with the Nuprl Proof Development System
R. L. Constable and others (1986) · Prentice-Hall
The ML Handbook
G. Cousineau and others (1986) · INRIA
How to Use the Two Sample t‐Test
Noel Cressie and others (1986) · Biometrical Journal · Wiley
VIPER: Simulation of Specification - User's Guide
W. J. Cullyer (1986) · Ministry of Defence (unpublished report)
VIPER - Correspondence between specification and major-state machine
W. J. Cullyer (1986) · Royal Signals and Radar Establishment, Malvern
Automatic verification of asynchronous circuits using temporal logic
D.L. Dill and others (1986) · Institution of Engineering and Technology (IET)
Defining the Scope of Copyright Protection for Computer Software
Susan A. Dunn (1986) · JSTOR
The butterfly satellite IMP for the wideband packet satellite network
Winston Edmond and others (1986)
A survey of distributed deadlock detection algorithms
Ahmed K. Elmagarmid (1986) · ACM SIGMOD Record · Association for Computing Machinery
Efficient model checking in fragments of the propositional mu-calculus
E. A. Emerson and others (1986) · Proceedings of the First Annual IEEE Symposium on Logic in Computer Science (LICS 1986) · IEEE Computer Society Press
Formal Verification of Synchronous Systems
H. Eveking (1986) · Formal Aspects of VLSI Design: Proceedings of the 1985 Edinburgh Workshop on VLSI
Reasoning with continuations
M. Felleisen and others (1986) · 1st Annual IEEE Symposium on Logic in Computer Science
How not to lie with statistics: the correct way to summarize benchmark results
P. J. Fleming and others (1986) · Association for Computing Machinery (ACM)
Verification using Higher-order Specifications and Transformations
Michael P. Fourman (1986) · Proceedings of the Silicon Design Conference
Logic for Computer Science: Foundations of Automatic Theorem Proving
J.H. Gallier (1986) · Harper and Row
Computer anxiety: sex, race and age
Faith D. Gilroy and others (1986) · Elsevier BV
Verification system for document substance and content
R. Goldman (1986)
Random walk of coherently amplified solitons in optical fiber transmission
J. P. Gordon and others (1986) · Optics Letters · Optica Publishing Group
Why Higher-order Logic is a Good Formalism for Specifying and Verifying Hardware
M. J. C. Gordon (1986) · Formal Aspects of VLSI Design · North-Holland
AN EMPIRICAL TEST OF SCHOOL‐BASED ENVIRONMENTAL AND INDIVIDUAL INTERVENTIONS TO REDUCE THE RISK OF DELINQUENT BEHAVIOR*
D. Gottfredson (1986) · Wiley
Fixed-point extensions of first-order logic
Yuri Gurevich and others (1986) · Annals of Pure and Applied Logic · Elsevier
Purely functional implementation of a logic
F.K. Hanna and others (1986) · Lecture notes in computer science · Springer Science+Business Media
Specification and verification of digital systems using higher-order predicate logic
Keith Hanna and others (1986) · IEE Proceedings E: Computers and Digital Techniques · Institution of Engineering and Technology (IET)
Standard ML
R. Harper and others (1986) · Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh
Digital Simulation with Multiple Logic Values
John P Hayes (1986) · Institute of Electrical and Electronics Engineers (IEEE)
Application of Formal Methods to Digital System Design
J.M.J. Herbert (1986)
Formal hardware verification methodology and its application to a network interface chip
J. M. J. Herbert and others (1986) · Institution of Engineering and Technology (IET)
Introduction to Operations Research, 4th Ed
Frederick S. Hillier and others (1986) · Holden-Day, Inc., San Francisco, CA, USA
The “Virtual Classroom”: Using Computer-Mediated Communication for University Teaching
Starr Roxanne Hiltz (1986) · Oxford University Press (OUP)
The Cambridge Fast Ring Networking System (CFR)
Andy Hopper and others (1986) · University of Cambridge Computer Laboratory
Electrons in Silicon Microstructures
R. E. Howard and others (1986) · American Association for the Advancement of Science (AAAS)
Relational queries computable in polynomial time
Neil Immerman (1986) · Elsevier BV
Protocol for Providing the Connectionless-Mode Network Service
International Organization for Standardization (1986) · International Organization for Standardization
Systematic Program Development
C. B. Jones (1986) · Software Specification Techniques · Addison-Wesley
Proving a computer correct in higher order logic
Jeff Joyce and others (1986) · University of Cambridge Computer Laboratory
Towards a formalization of digital circuit design
C. Delgado Kloos (1986)
An experimental evaluation of the assumption of independence in multiversion programming
John C. Knight and others (1986) · IEEE Transactions on Software Engineering · IEEE
The IBM 650: An Appreciation from the Field
Donald E. Knuth (1986) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers
Testing containment of omega-regular languages
R. P. Kurshan (1986) · Bell Laboratories
Introduction to Higher-Order Categorical Logic
J. Lambek and others (1986) · Cambridge University Press
Context-dependent bisimulation between processes
K. G. Larsen (1986)
Sending Them a Message: Electronic Bulletin Boards
James LaRue (1986) · Wilson Library Bulletin 60, no. 10 (1986): 30–33.
Signal--A data flow-oriented language for signal processing
Paul Le Guernic and others (1986) · IEEE Transactions on Acoustics Speech and Signal Processing · Institute of Electrical and Electronics Engineers
Principles of Computer Design
L. R. Marino (1986) · Computer Science Press
Synthesis of Hardware Systems from Very High Level Behavioural Specifications
Richard Millar Marshall (1986)
Application-specific processor brings high performance to DSP
K. Martin (1986) · Computer Design
Compiling Communicating Processes into Delay-Insensitive VLSI Circuits
Alain J. Martin (1986) · Distributed Computing · California Institute of Technology
Four Ethical Issues of the Information Age
Richard O. Mason (1986) · MIS Quarterly
The Conscience of a Hacker
The Mentor (1986) · Phrack Magazine
Categories of partial morphisms and the λP-calculus
Eugenio Moggi (1986) · Springer Berlin Heidelberg
A review of fault-tolerant techniques for the enhancement of integrated circuit yield
W. R. Moore (1986) · Proceedings of the IEEE
&
C. Mulvey (1986) · Rendiconti del Circolo Matematico di Palermo
Emerging Industries and the Burnout of Pioneers*
F. Xavier Olleros (1986) · Journal of Product Innovation Management · Wiley
On the structure of k-trees
H. P. Patil (1986) · Journal of Combinatorics
Natural deduction as higher-order resolution
Lawrence C. Paulson (1986) · The Journal of Logic Programming · Elsevier BV
The ELLA Language Reference Manual, issue 3.0
Praxis Systems plc (1986) · ella is now marketed by R3 Systems
A Framework for Intuitionistic Modal Logics
Gordon D. Plotkin and others (1986) · Elsevier BV
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends
A. Pnueli (1986) · Current Trends in Concurrency · Springer Berlin Heidelberg
Computers and Accounting - Financial Software
Charles Pridemore (1986)
Dispersion and Interconnection: Approaches to Distributed Systems Architecture
PRISM., (1986) · https://cdn.ymaws.com/www.globalaea.org/resource/collection/EAAC3D6C-D447-451C-AC5F-6E1DC7788D42/PRISM_Report.pdf
Electrical, environmental, and timing specification of the VIPER microprocessor
C. H. Pygott (1986) · Royal Signals and Radar Establishment, Malvern
Notable computer networks
J. Quarterman and others (1986) · Communications of the ACM · Association for Computing Machinery
Concurrent Computations and VLSI Circuits
M. Rem (1986) · Springer Berlin Heidelberg
Topology dependence of floating gate faults in MOS integrated circuits
M Renovell and others (1986) · Institution of Engineering and Technology (IET)
The Arpanet and computer networks
L. Roberts (1986) · ACM
Communication Technology
Everett M. Rogers (1986)
Continuity and Effectiveness in Topoi
G. Rosolini (1986)
Denotational Semantics: A Methodology for Language Development
David A. Schmidt (1986) · Allyn and Bacon
Design and verification of regular synchronous circuits
M. Sheeran (1986) · IEE Proceedings E Computers and Digital Techniques · Institution of Engineering and Technology (IET)
Continuous phase modulation
C.-E.W. Sundberg (1986) · IEEE Communications Magazine · Institute of Electrical and Electronics Engineers
A class of compatible cache consistency protocols and their support by the IEEE futurebus
P. Sweazey and others (1986) · Association for Computing Machinery (ACM)
A formal approach to hardware analysis
Niklas Gerard Traub (1986)
What Electronic Bulletin Boards Are All About
Robert T. Trotter II (1986) · Wiley
An overview of Miranda
D. Turner (1986) · Association for Computing Machinery (ACM)
A formal model for defining and classifying delay-insensitive circuits and systems
Jan Tijmen Udding (1986) · Springer Science and Business Media LLC
Attorney General’s Commission on Pornography: Final Report
United States Attorney General’s Commission on Pornography (1986)
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
Moshe Y. Vardi and others (1986) · Proceedings of the First Annual Symposium on Logic in Computer Science
Formal multilevel hierarchical verification of synchronous MOS VLSI
D. W. Weise (1986)
Education for Balanced Attitudes towards Computer Technology
Mark Williams (1986) · SAGE Publications
Models and logic of MOS circuits: Lectures for the Marktoberdorf Summerschool, August 1986
Glynn Winskel (1986) · University of Cambridge, Computer Laboratory
Past Temporal Logic
L. Zuck (1986) · PhD. Thesis, Weizmann Institute