1987 · dr. heap references

Randal E. Bryant (1987) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers

Boolean Analysis of MOS Circuits

Randal E. Bryant (1987) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)

COSMOS: A Compiled Simulator for MOS Circuits

Randal E. Bryant and others (1987) · 24th ACM/IEEE Design Automation Conference · ACM Press

Two Papers on a Symbolic Analyzer for MOS Circuits

Randal E. Bryant (1987) · Carnegie Mellon University, Computer Science Department

A Characterization of Ternary Simulation of Gate Networks

J. A. Brzozowski and others (1987) · Institute of Electrical and Electronics Engineers (IEEE)

Synthesis of Self-Timed Circuits by Program Transformation

Steven M. Burns and others (1987) · California Institute of Technology

Data Communications at the National Physical Laboratory (1965-1975)

Martin Campbell-Kelly (1987) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers

LUSTRE: a declarative language for real-time programming

P. Caspi and others (1987) · Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87 · ACM Press

PRISM: An algorithm for inducing modular rules

Jadzia Cendrowska (1987) · International Journal of Man-Machine Studies · Academic Press

Planning for conjunctive goals

D. Chapman (1987) · Elsevier BV

An approach to the verification of a fault-tolerant, computer-based reactor safety system: A case study using automated reasoning (Vol

G. Chisolm and others (1987) · 1

The Use of Computers in the Sexual Exploitation of Children and Child Pornography

Patricia N. Chock (1987) · Computer/Law Journal 7, no. 3 (1987): 383.

Synthesis of Self-timed VLSI Circuits from Graph-theoretic Specifications

Tam-Anh Chu (1987)

Logic programming and digital circuit analysis

W.F. Clocksin (1987) · The Journal of Logic Programming · Elsevier BV

Computer viruses

Fred Cohen (1987) · Computers & Security · Elsevier BV

A proof of correctness of the Viper microprocessor: the first level

Avra Cohn (1987) · University of Cambridge Computer Laboratory

Partial objects in constructive type theory

R. L. Constable and others (1987) · 2nd Annual IEEE Symposium on Logic in Computer Science

UNDERSTANDING CRIME DISPLACEMENT: AN APPLICATION OF RATIONAL CHOICE THEORY

D. B. Cornish and others (1987) · Wiley

Application of formal methods to the VIPER microprocessor

W.J. Cullyer and others (1987) · IEE Proceedings E Computers and Digital Techniques · Institution of Engineering and Technology (IET)

Software-implemented fault insertion: An FTMP example

Edward W Czeck and others (1987) · (1987).

Ranking from Unbalanced Paired-Comparison Data

H. A. DAVID (1987) · Biometrika · Oxford University Press

High-gain erbium-doped traveling-wave fiber amplifier

E. Desurvire and others (1987) · Optics Letters · Optica Publishing Group

On the verification of sequential machines at differing levels of abstraction

Srinivas Devadas and others (1987) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery

Formal validation of an integrated circuit design style

Inderpreet-Singh Dhingra (1987) · University of Cambridge Computer Laboratory

Models of arithmetic and categories with finiteness conditions

R. Diaconescu and others (1987) · Annals of Pure and Applied Logic · Elsevier BV

New 2^n DCT algorithms suitable for VLSI implementation

Pierre Duhamel and others (1987) · IEEE International Conference on Acoustics Speech and Signal Processing

Translating Programs into Delay-Insensitive Circuits

Jo C. Ebergen (1987)

EDIF: Electronic Design Interchange Format

Electronic Industries Association (1987)

Verification, synthesis and correctness-preserving transformations - cooperative approaches to correct hardware design

H. Eveking (1987) · From HDL Descriptions to Guaranteed Correct Circuit Designs · North-Holland

Hardware verification based on HDL sources

Masahiro Fujita (1987) · Hardware Description Languages · Elsevier Science Publishers (North Holland)

Asymptotic optimality of shortest path routing algorithms

E. M. Gafni and others (1987) · Institute of Electrical and Electronics Engineers (IEEE)

Temporal Logics and their Applications

Antony Galton (1987) · Academic Press

Logical Foundations of Artificial Intelligence

M. R. Genesereth and others (1987) · Morgan Kaufmann, Palo Alto, CA

Linear logic

Jean-Yves Girard (1987) · Theoretical Computer Science · Elsevier BV

Developing a New Set of Liability Rules for a New Generation of Technology: Assessing Liability for Computer-Related Injuries in the Health Care Fiel

James N. Godes (1987) · Computer/Law 7, no. 4 (1987): 517–34.

Logics of Time and Computation

Robert Goldblatt (1987) · CSLI, Stanford

From algebraic specifications to correct VLSI circuits

G. C. Gopalakrishnan and others (1987) · From HDL Descriptions to Guaranteed Correct Circuit Designs · North-Holland

HOL: A Proof Generating System for Higher-Order Logic

Mike Gordon (1987) · University of Cambridge Computer Laboratory

CAMILOD - a program system for designing digital hardware with proven correctness

W. Grass and others (1987) · From HDL Descriptions to Guaranteed Correct Circuit Designs · North-Holland

A Categorical Programming Language

Tatsuya Hagino (1987) · University of Edinburgh

A Self-Checking Computer Module Based on the Viper Microprocessor — A Building Block for Reliable Systems

M. P. Halbert (1987) · Springer Netherlands

Describing and Designing Circuits by means of a Synchronous Declarative Language

N. Halbwachs and others (1987) · From HDL Descriptions to Guaranteed Correct Circuit Designs: Proceedings of the IFIP WG 10.2 Working Conference, Grenoble, September 1986

Statecharts: a visual formalism for complex systems

David Harel (1987) · Science of Computer Programming · Elsevier BV

A framework for dening logics

Robert Harper and others (1987) · Second Symposium on Logic in Computer Science, Ithaca, NY, June 1987.

Model for the extraction of image flow

David J. Heeger (1987) · Optica Publishing Group

Assessing computer anxiety: Development and validation of the Computer Anxiety Rating Scale

ROBERT K. HEINSSEN and others (1987) · Computers in Human Behavior · Elsevier BV

Measurement of subpicosecond time intervals between two photons by interference

C. K. Hong and others (1987) · Physical Review Letters · American Physical Society (APS)

Languages that Capture Complexity Classes

Neil Immerman (1987) · SIAM Journal on Computing · Society for Industrial & Applied Mathematics (SIAM)

Power and Limitations of Formal Methods for Software Fabrication

Michael Jackson (1987) · SAGE Publications

An Electronic Soapbox: Computer Bulletin Boards and the First Amendment

Eric C. Jensen (1987) · Federal Communication Law Journal 39 (1987): 217.

Hardware verification of VLSI regular structures

Jeffrey J. Joyce (1987) · University of Cambridge Computer Laboratory

Natural semantics

Gilles Kahn (1987) · Springer Nature

The expressive theory of stacks

Samuel Kamin (1987) · Acta Informatica

Proof by consistency

Deepak Kapur and others (1987) · Elsevier BV

The VIPER Microprocessor

J. Kershaw (1987) · Royal Signals and Radar Establishment

Semantics of Digital Circuits

Carlos Delgado Kloos (1987) · Lecture notes in computer science · Springer Science+Business Media

The Implications of Cognitive Psychology for Computer-Based Learning Tools

Robert B. Kozma (1987) · Educational Technology 27, no. 11 (1987): 20–25. http://www.jstor.org/stable/44424932.

Temporal Logic of Programs

Fred Kröger (1987) · Springer Nature

Reducibility in analysis of coordination

Robert P. Kurshan (1987) · Springer Nature

Synchronous data flow

Edward A. Lee and others (1987) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers

Issues in packet radio network design

B.M. Leiner and others (1987) · Institute of Electrical and Electronics Engineers (IEEE)

Hierarchical correctness proofs for distributed algorithms

Nancy Ann Lynch and others (1987) · ACM Symposium on Principles of Distributed Computing (PODC)

Software Protection - Integrating Patent, Copyright and Trade Secret Law

Gregory J. Maier (1987) · Patent and Trademark Official Society 151, no. 69 (1987): 151.

A synthesis method for self-timed VLSI circuits

Alain J. Martin (1987) · Proceedings of the IEEE International Conference on Computer Design (ICCD)

Hoare's logic in the LF

Ian A Mason (1987) · LFCS Report Series ECS-LFCS-8732

Occam 2 language definition

David May (1987) · A Tutorial Introduction to OCCAM Programming

Low-noise erbium-doped fibre amplifier operating at 1.54μm

R.J. Mears and others (1987) · Electronics Letters · Institution of Engineering and Technology (IET)

Abstraction mechanisms for hardware verification

Thomas F. Melham (1987) · University of Cambridge Computer Laboratory

Algorithmic Logic

Grażyna Mirkowska and others (1987) · D. Reidel and PWN-Polish Scientific Publishers

Sequential Programming Extension to ELLA, with Automatic Transformation to Structure

J. D. Morison and others (1987) · IEEE International Conference on Computer Design (ICCD 87), New York

Sequential programming extensions to ELLA, with automatic transformation to structure

J D Morison and others (1987) · International Conference on Computer Design

Hardware description with recursion equations

John T O'Donnell (1987) · CHDL 87: 8th International Symposium on Computer Hardware Description Languages and Their Applications

Three Partition Refinement Algorithms

Robert Paige and others (1987) · Society for Industrial & Applied Mathematics (SIAM)

CMOS differential pass-transistor logic design

J. Pasternak and others (1987) · Institute of Electrical and Electronics Engineers (IEEE)

Logic and Computation: Interactive Proof with Cambridge LCF

Lawrence Charles Paulson (1987) · Cambridge University Press

Supervisory Control of a Class of Discrete Event Processes

Peter J. Ramadge and others (1987) · SIAM Journal on Control and Optimization · Society for Industrial and Applied Mathematics

Flocks, herds and schools: A distributed behavioral model

Craig W. Reynolds (1987) · ACM SIGGRAPH Computer Graphics · ACM SIGGRAPH

Computer crime — numbers lie

Juhani Saari (1987) · Elsevier BV

Decomposing properties into safety and liveness

F. B. Schneider (1987) · Technical report, Cornell University

On the existence of speed-independent circuits

C.-J. Seger (1987) · Technical Report CS-87-63

Soundness of Hoare's logic: an automated proof using LCF

Stefan Sokołowski (1987) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery

Electrooptical effects in silicon

Richard A. Soref and others (1987) · IEEE Journal of Quantum Electronics · IEEE Photonics Society

Online Education: Planning for the Future

Carol Tenopir (1987)

Firefly: a multiprocessor workstation

C. P. Thacker and others (1987) · ACM

Proofs and synthesis are cooperative approaches for correct circuit designs

T. Uehara (1987) · From HDL Descriptions to Guaranteed Correct Circuit Designs · North-Holland

Cuneiform

C. B. F. Walker (1987)

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits

Daniel Wayne Weise (1987) · MIT Artificial Intelligence Laboratory

Functional verification of MOS circuits

Daniel Weise (1987) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery

Models and logic of MOS circuits

Glynn Winskel (1987) · Logic of Programming and Calculi of Discrete Design · Springer

Relating two models of hardware

Glynn Winskel (1987) · Category Theory and Computer Science · Springer Berlin Heidelberg

A rule-based circuit representation for automated CMOS design and verification

C.-F. E. Wu and others (1987) · 24th ACM/IEEE conference proceedings on Design automation conference - DAC '87 · ACM Press

A framework for information systems architecture

J. A. Zachman (1987) · IBM

Comparative Power of Student T Test and Mann-Whitney U Test for Unequal Sample Sizes and Variances

Donald W. Zimmerman (1987) · The Journal of Experimental Education · Taylor & Francis