1996 · dr. heap references

Circuit techniques for CMOS low-power high-performance multipliers

I. S. Abu-Khater and others (1996) · Institute of Electrical and Electronics Engineers (IEEE)

Shared memory consistency models: a tutorial

Sarita V. Adve and others (1996) · Computer · IEEE Computer Society

Smashing The Stack For Fun And Profit

Aleph1 (1996) · Phrack Magazine

Automatic symbolic verification of embedded systems

Rajeev Alur and others (1996) · IEEE Transactions on Software Engineering · IEEE Computer Society

The benefits of relaxing punctuality

Rajeev Alur and others (1996) · ACM Symposium on Principles of Distributed Computing (PODC)

The embedded software of an electricity meter: An experience in using formal methods in an industrial project

André Arnold and others (1996) · Lecture notes in computer science · Springer Science+Business Media

Short Random Walks on Graphs

Greg Barnes and others (1996) · Society for Industrial & Applied Mathematics (SIAM)

Annotated rewriting in inductive theorem proving

David Basin and others (1996) · Journal of Automated Reasoning

A calculus for and termination of rippling

David Basin and others (1996) · Journal of Automated Reasoning

Modeling a hardware synthesis methodology in isabelle

David Basin and others (1996) · Theorem Proving in Higher Order Logics · Springer Berlin Heidelberg

Verification of an Audio Protocol with bus collision using Uppaal

Johan Bengtsson and others (1996) · Springer Berlin Heidelberg

Automated Theorem Proving

W. Bibel (1996) · Bibel, Automated Theorem Proving. Springer

STeP: Deductive-algorithmic verification of reactive and real-time systems

Nikolaj Bjørner and others (1996) · Lecture notes in computer science · Springer Science+Business Media

Software Check for Power-down Mode of Analog Circuits

S Blieck and others (1996) · ESSCIRC’96: Proceedings of the 22nd European Solid-State Circuits Conference (1996), 404–407.

Improving the variable ordering of OBDDs is NP-complete

B. Bollig and others (1996) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)

On the importance of checking computations

Dan Boneh and others (1996) · (1996).

An Invitation to Formal Methods

Jonathan Peter Bowen and others (1996) · Computer · IEEE Computer Society

Automated proofs of object code for a widely used microprocessor

Robert S. Boyer and others (1996) · Association for Computing Machinery (ACM)

VIS: A system for verification and synthesis

Robert K. Brayton and others (1996) · Computer Aided Verification · Springer Berlin Heidelberg

Market Segmentation and the Sources of Rents from Innovation: Personal Computers in the Late 1980's

Timothy Bresnahan and others (1996) · National Bureau of Economic Research

ACL2 theorems about commercial microprocessors

Bishop C. Brock and others (1996) · Lecture notes in computer science · Springer Science+Business Media

FPGA and CPLD architectures: a tutorial

Stephen Dean Brown and others (1996) · IEEE Design & Test of Computers · Institute of Electrical and Electronics Engineers

Bit-level analysis of an SRT divider circuit

R. E. Bryant (1996) · 33rd Design Automation Conference (DAC’96)

A bitvectors library for PVS

R. W. Butler and others (1996) · Technical Report TM-110274

Design, experimentation, and analysis of hardware verification cases in a proofplanning/higher-order logic framework

Francisco J. Cantu (1996) · Research proposal submitted to CONACYT, Mexico, Monterrey Institute of Technology

Experiments in automating hardware verification using inductive proof planning

Francisco J. Cantú-Ortiz and others (1996) · Lecture notes in computer science · Springer Science+Business Media

BGP Communities Attribute

R. Chandra and others (1996) · RFC Editor

Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS

Ghassan Chehaibar and others (1996) · IFIP advances in information and communication technology · Springer Science+Business Media

ACV: an arithmetic circuit verifier

Y.-A. Chen and others (1996) · IEEE Comput. Soc. Press

Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking

Yirng-An Chen and others (1996) · Formal Methods in Computer-Aided Design (FMCAD '96)

Application performance on the MIT Alewife machine

Frederic T. Chong and others (1996) · Computer · IEEE Computer Society

Binary translation: static, dynamic, retargetable?

Cifuentes and others (1996)

Computer-aided verification

E. M. Clarke and others (1996) · IEEE Spectrum · Institute of Electrical and Electronics Engineers

Formal methods: State of the art and future directions

Edmund M. Clarke and others (1996) · ACM Computing Surveys · Association for Computing Machinery (ACM)

Verifying the SRT division algorithm using theorem proving techniques

E. M. Clarke and others (1996) · Springer Berlin Heidelberg

Word Level Model Checking -- Avoiding the Pentium FDIV Error

E. M. Clarke and others (1996) · 33rd Design Automation Conference (DAC '96) · ACM

Evaluating deadlock detection methods for concurrent software

James C. Corbett (1996) · IEEE Transactions on Software Engineering · IEEE Computer Society

Breaking through the V and V bottleneck

Martin Croxford and others (1996) · Springer Berlin Heidelberg

IP-Spoofing Demystified (Trust-Relationship Exploitation)

daemon9 (1996) · Phrack Magazine

Writing waveguides in glass with a femtosecond laser

K Miura Davis and others (1996) · Optica Publishing Group

Reducing the number of clock variables of timed automata

C. Daws and others (1996) · IEEE Comput. Soc. Press

Logical analysis of demonic nondeterministic programs

Stéphane Demri and others (1996) · Theoretical Computer Science · Elsevier BV

System for registration, identification, and verification of items utilizing unique intrinsic features

S. Denenberg (1996)

Virtual memory

Peter J. Denning (1996) · ACM Computing Surveys

Formal verification augments simulation

G. Depalma and others (1996) · Electr. Eng. Times

Acceptance of formal methods: Lessons from hardware design

David L. Dill and others (1996) · IEEE Computer

The algorithmic complexity of minus domination in graphs

Jean Dunbar and others (1996) · Elsevier BV

Minus domination in regular graphs

Jean Dunbar and others (1996) · Discrete Mathematics · Elsevier BV

C4I for the Warrior — Global Command and Control System: From Concept to Reality

Albert J. Edmonds (1996) · Information Assurance Technology Analysis Center

Exploiting functional dependencies in finite state machine verification

C. A. J. van Eijk and others (1996) · IEEE Comput. Soc. Press

Implementation issues about the embedding of existing high level synthesis algorithms in HOL

Dirk Eisenbiegler and others (1996) · Theorem Proving in Higher Order Logics · Springer Berlin Heidelberg

On non-deterministic supervisory control

Martin Fabian and others (1996) · IEEE Conference on Decision and Control (CDC) · Institute of Electrical and Electronics Engineers

NULL Convention Logic: a complete and consistent logic for asynchronous digital circuit synthesis

Karl M. Fant and others (1996)

Signed domination in regular graphs

Odile Favaron (1996) · Discrete Mathematics · Elsevier BV

CADP a protocol validation and verification toolbox

Jean-Claude Fernandez and others (1996) · Springer Berlin Heidelberg

Static detection of pointer errors: an axiomatisation and a checking algorithm

Pascal Fradet and others (1996) · European Symposium on Programming · Springer

Dynamic logic in four-phase micropipelines

S. B. Furber and others (1996) · IEEE Comput. Soc. Press

Four-phase micropipeline latch control circuits

S.B. Furber and others (1996) · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · Institute of Electrical and Electronics Engineers (IEEE)

Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering

Gerald C. Gannod and others (1996) · Springer US

Simple On-the-fly Automatic Verification of Linear Temporal Logic

R. Gerth and others (1996) · Springer US

A signaling explanation for charity

A. Glazer and others (1996) · The American Economic Review 86.4

Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

Patrice Godefroid (1996) · Lecture notes in computer science · Springer Science+Business Media

Computer arithmetic

D. Goldberg (1996) · Computer Architecture: A Quantitative Approach (2nd edition), Appendix A · Morgan Kaufmann

A fast quantum mechanical algorithm for database search

Lov K Grover (1996) · ACM Press

Women and Computers

Frances Grundy (1996)

Logic Synthesis and Verification Algorithms

G.D. Hachtel and others (1996) · Springer-Verlag

Where Wizards Stay Up Late: The Origins of the Internet

Katie Hafner and others (1996) · Simon and Schuster

Practical and Provably-Secure Commitment Schemes from Collision-Free Hashing

Shai Halevi and others (1996) · Advances in Cryptology — CRYPTO ’96 · Springer Berlin Heidelberg

Using formal methods to develop an ATC information system

A. Hall (1996) · IEEE Software · IEEE Computer Society

A mizar mode for HOL

John Harrison (1996) · Lecture notes in computer science · Springer Science+Business Media

Theorem proving with the real numbers

John Robert Harrison (1996) · University of Cambridge Computer Laboratory

IBM Journal of Research and Development, Volume 40, Number 1

P. Hauge (1996) · Hauge, IBM Journal of Research and Development, Volume 40, Number 1. Riverton, NJ, United States: IBM Corp.

Experiments in theorem proving and model checking for protocol verification

Klaus Havelund and others (1996) · Lecture notes in computer science · Springer Science+Business Media

Guidelines for creation, selection, and registration of an Autonomous System (AS)

J. Hawkinson and others (1996) · RFC Editor

Completeness and consistency in hierarchical state-based requirements

Mats P. E. Heimdahl and others (1996) · IEEE Transactions on Software Engineering · IEEE Computer Society

The Price of Universality

Edith Hemaspaandra (1996) · Notre Dame Journal of Formal Logic · Duke University Press

Inequalities relating domination parameters in cubic graphs

Michael A. Henning and others (1996) · Discrete Mathematics · Elsevier BV

The theory of hybrid automata

Thomas A. Henzinger (1996) · Proceedings - Symposium on Logic in Computer Science · Institute of Electrical and Electronics Engineers

To formalize or not to formalize?

M. G. Hinchey and others (1996) · IEEE Computer

IPv6 Testing Address Allocation

R. Hinden and others (1996) · RFC Editor

How did software get so reliable without proof?

C. A. R. Hoare (1996) · 3rd International Symposium of Formal Methods Europe (FME) · Springer

Frontiers in Problem Solving: Phase Transitions and Complexity

Tad Hogg and others (1996) · Artificial Intelligence

On verifying the correctness of retimed circuits

Shi-Yu Huang and others (1996) · Proceedings of the Sixth Great Lakes Symposium on VLSI · IEEE Comput. Soc. Press

IEEE Standard Hardware Description Language Based on the Verilog(R) Hardware Description Language

IEEE (1996) · IEEE

Better verification through symmetry

C. Norris Ip and others (1996) · Formal Methods in System Design · Springer Science+Business Media

Productive use of failure in inductive proof

A. Ireland and others (1996) · Journal of Automated Reasoning

On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic

D. Janin and others (1996) · Springer Berlin Heidelberg

A formal approach to reactive systems software: A telecommunications application in Esterel

Lalita Jategaonkar and others (1996) · Formal Methods in System Design · Springer Science+Business Media

Equivalence Checking Using Abstract BDDs

Somesh Jha and others (1996) · School of Computer Science, Carnegie Mellon University

Application-specific processor architectures for embedded control: case studies

E. Kappos and others (1996) · Elsevier BV

Mechanically verifying a family of multiplier circuits

Deepak Kapur and others (1996) · Computer Aided Verification (CAV) · Springer Berlin Heidelberg

ACL2: an industrial strength version of Nqthm

Matt Kaufmann and others (1996)

Fast, automatic checking of security protocols

D. Kindred and others (1996) · Pro-ceedings of the USENIX Workshop on Electronic Commerce Protocols

Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems

Paul C. Kocher (1996) · Advances in Cryptology — CRYPTO '96 · Springer Berlin Heidelberg

An rc network analysis of long term ti: Linbo/sub 3/bias stability

Steven K Korotky and others (1996) · Journal of lightwave technology

Middle-out reasoning for synthesis and induction

I. Kraan and others (1996) · Journal of Automated Reasoning

Formal synthesis in circuit design — A classification and survey

Ramayya Kumar and others (1996) · Formal Methods in Computer-Aided Design (FMCAD) · Springer Berlin Heidelberg

Nonblocking supervisory control of nondeterministic systems via prioritized synchronization

Ratnesh Kumar and others (1996) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers

Dynamic critical-path scheduling: an effective technique for allocating task graphs to multiprocessors

Yu-Kwong Kwok and others (1996) · IEEE Transactions on Parallel and Distributed Systems · Institute of Electrical and Electronics Engineers (IEEE)

How could research on testing of communicating systems become more industrially relevant ?

R. Lai (1996) · Springer Nature

Soft errors induced by alpha particles

L. Lantz (1996) · IEEE Transactions on Reliability · Institute of Electrical and Electronics Engineers

Historical Dictionary of Poland, 966-1945

Jerzy J. Lerski (1996) · Greenwood Publishing Group, Inc.

Toward real microkernels

Jochen Liedtke (1996) · Communications of the ACM · Association for Computing Machinery

ARIANE 5 Flight 501 Failure: Report by the Inquiry Board

Jacques-Louis Lions (1996) · European Space Agency

Flight 501 Failure

Jacques-Louis Lions and others (1996) · Report by the Inquiry Board 190, (1996)

STiNG: A CC-NUMA computer system for the commercial marketplace

Tom Lovett and others (1996) · Proceedings - International Symposium on Computer Architecture/Proceedings

Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR

Gavin Lowe (1996) · Tools and Algorithms for the Construction and Analysis of Systems · Springer

Distributed Algorithms

Nancy A. Lynch (1996) · Morgan Kaufmann, San Francisco

Extensions of first-order logic

Maria Manzano (1996) · Cambridge University Press

Integrating performance monitoring and communication in parallel computers

Margaret Martonosi and others (1996) · ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS)

Handbook of Applied Cryptography

Alfred J. Menezes and others (1996) · CRC Press

Verification of IEEE compliant subtractive division algorithms

P. S. Miner and others (1996) · Springer Berlin Heidelberg

Foundations for Programming Languages

John C. Mitchell (1996) · MIT Press

A mechanically checked proof of the correctness of the AMD5K86 floating point division algorithm

J. S. Moore and others (1996)

A mechanically checked proof of the correctness of the kernel of the AMD5k86 floating-point division algorithm

J S. Moore and others (1996) · Technical report 112

Unifying wp and wlp

Carroll Morgan and others (1996) · Elsevier BV

Proof-carrying code

G. C. Necula and others (1996) · School of Computer Science, Carnegie Mellon University

Changing computing: the computing community and DARPA

Arthur L. Norberg (1996) · IEEE Annals of the History of Computing · IEEE

Emergence of simple-cell receptive field properties by learning a sparse code for natural images

B. A. Olshausen and others (1996) · Springer Science and Business Media LLC

Circuits as streams in Coq: Verification of a sequential multiplier

Christine Paulin-Mohring (1996) · Springer Berlin Heidelberg

Combining partial order reductions with on-the-fly model-checking

Doron Peled (1996) · Springer Science and Business Media LLC

IP Mobility Support

C. Perkins (1996)

Asynchronous four-phase and two-phase circuits: testing and design for testability

O. Petlin and others (1996) · 1st UK Asynchronous Forum, Edinburgh

The 1968/69 NATO software engineering reports

Brian Randell (1996) · Position Papers for Dagstuhl Seminar 9635 on History of Software Engineering

Address Allocation for Private Internets

Y. Rekhter and others (1996) · RFC Editor

The development of the C programming language

Dennis M. Ritchie (1996) · History of Programming languages · Association for Computing Machinery

Formal methods and testing: why the state-of-the art is not the state-of-the practice

David S. Rosenblum (1996) · ACM SIGSOFT Software Engineering Notes

Modular verification of SRT division

H. Rueß and others (1996) · Springer Berlin Heidelberg

Automated deduction and formal methods

John Rushby (1996) · Lecture notes in computer science · Springer Science+Business Media

Evolution of computer systems

M.N.O. Sadiku and others (1996) · IEEE

Automated Synthesis of Delay-Insensitive Circuits

Roger Anthony Sayle (1996)

Applied Cryptography

Bruce Schneier (1996) · John Wiley and Sons

An authenticated camera

Bruce Schneier and others (1996) · IEEE Comput. Soc. Press

Partial order approach to design, verification and synthesis of asynchronous circuits

A. Semenov and others (1996) · 1st UK Asynchronous Forum

Higher-order annotated terms for proof search

A. Smaill and others (1996) · Springer Berlin Heidelberg

VLSI design of high-speed time-recursive 2-D DCT/IDCT processor for video applications

V. Srinivasan and others (1996) · Institute of Electrical and Electronics Engineers (IEEE)

Applying formal verification to the AAMP5 microprocessor: A case study in the industrial use of formal methods

Mandayam K. Srivas and others (1996) · Formal Methods in System Design · Springer Science+Business Media

Real-time and embedded systems

John A. Stankovic (1996) · ACM Computing Surveys · Association for Computing Machinery

An environment for the creation of intelligent network services

B. Steffen and others (1996) · Intelligent Networks: IN/AIN Technologies

The METAFrame'95 environment

Bernhard Steffen and others (1996) · Lecture notes in computer science · Springer Science+Business Media

A history of C++ 1979–1991

Bjarne Stroustrup (1996) · History of Programming Languages---II · Association for Computing Machinery

Automatic generation of invariants in processor verification

Jeffrey X Su and others (1996) · Springer Berlin Heidelberg

In-orbit experiment on the fault-tolerant space computer aboard the satellite Hiten

T. Takano and others (1996) · Institute of Electrical and Electronics Engineers (IEEE)

TIL: A type-directed optimizing compiler for ML

David Tarditi and others (1996) · ACM SIGPLAN Conference on Programming Language Design and Implementation

Towards an active network architecture

David L. Tennenhouse and others (1996) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery

Supervisory control of discrete event systems

J.G. Thistle (1996) · Mathematical and Computer Modelling · Pergamon Press

The energy and entropy of VLSI computations

J.A. Tierno and others (1996) · Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems · IEEE Comput. Soc. Press

State space reduction for asynchronous micropipelines

C. Tofts and others (1996) · BCS-FACS Northern Formal Methods Workshop

The Clam proof planner, user manual and programmer manual (version 2.5)

van Harmelen, and others (1996) · Technical report

An automata-theoretic approach to linear temporal logic

Moshe Y. Vardi (1996) · Springer Berlin Heidelberg

What Ever Happened to the TI 9900 CPU?

Stan Veit (1996)

Computers and other interactive technologies for the home

Alladi Venkatesh (1996) · Association for Computing Machinery (ACM)

Dielectric breakdown I: A review of oxide breakdown

J.F. Verweij and others (1996) · Microelectronics Journal · Elsevier BV