1995
146 references published this year.
The formal verification of a pipelined double-precision IEEE floating-point multiplier
Mark D. Aagaard and others (1995) · International Conference on Computer Aided Design
Reasoning about pipelines with structural hazards
M. D. Aagaard and others (1995) · Springer Berlin Heidelberg
Verifying a logic-synthesis algorithm and implementation: a case study in software verification
Mark D. Aagaard and others (1995) · IEEE Transactions on Software Engineering · IEEE Computer Society
Foundations of Databases
Serge Abiteboul and others (1995) · Addison-Wesley
Computation of discrete cosine transform using Clenshaw's recurrence formula
M. F. Aburdene and others (1995) · Institute of Electrical and Electronics Engineers (IEEE)
The MIT Alewife machine: Architecture and performance
Anant Agarwal and others (1995) · Proceedings - International Symposium on Computer Architecture/Proceedings
Causal memory: definitions, implementation, and programming
Mustaque Ahamad and others (1995) · Springer Science and Business Media LLC
Digital carrier frequency estimation for multilevel CPM signals
a.N. D’Andrea and others (1995) · Proceedings IEEE International Conference on Communications ICC ’95, vol. 2, no. 2
Formal verification of a PowerPC microprocessor
D.P. Appenzeller and others (1995) · IEEE Comput. Soc. Press
Symbolic controller synthesis for discrete and timed systems
E. Asarin and others (1995) · Springer Berlin Heidelberg
The growth of research on anxiety disorders during the 1980s
Gordon J. G. Asmundson and others (1995) · Elsevier BV
An action system specification of the caltech asynchronous microprocessor
R. J. R. Back and others (1995) · Mathematics of Program Construction · Springer Berlin Heidelberg
Model checking in practice: the T9000 virtual channel processor
G. Barrett (1995) · Institute of Electrical and Electronics Engineers (IEEE)
Hardware verification using monadic second-order logic
David Basin and others (1995) · Proceedings of the Conputer Aided Verification Conference, LNCS 939 · Springer-Verlag
Generalized privacy amplification
C.H. Bennett and others (1995) · IEEE Transactions on Information Theory · Institute of Electrical and Electronics Engineers (IEEE)
A mixed linear and non-linear logic: Proofs, terms and models
P. N. Benton (1995) · Lecture notes in computer science · Springer Science+Business Media
Quantitative evaluation of formal based synthesis in ASIC design
G. Bezzi and others (1995) · Lecture notes in computer science · Springer Science+Business Media
The fm9001 microprocessor proof
B. Bishop and others (1995) · Technical report 86
Model Checking in Industrial Hardware Design
Jörg Bormann (1995) · ACM/IEEE Design Automation Conference (DAC) · Association for Computing Machinery
Formal verification of hardware designs
D. Borrione and others (1995) · Journal of the Brazilian Computer Society, Special Issue on Electronic Design Automation
Specification and validation of a security policy model
Anthony Boswell (1995) · IEEE Transactions on Software Engineering · IEEE Computer Society
Seven more myths of formal methods
J. P. Bowen and others (1995) · IEEE Software · IEEE
Ten commandments of formal methods
Jonathan Peter Bowen and others (1995) · Computer · IEEE Computer Society
Universal computation and other capabilities of hybrid and continuous dynamical systems
Michael S. Branicky (1995) · Theoretical Computer Science · Elsevier BV
2-D DCT using on-line arithmetic
J.D. Bruguera and others (1995) · IEEE International Conference on Acoustics Speech and Signal Processing
Binary decision diagrams and beyond: enabling technologies for formal verification
Randal E. Bryant (1995) · IEEE Comput. Soc. Press
Verification of Arithmetic Circuits with Binary Moment Diagrams
Randal E. Bryant (1995) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
Asynchronous Circuits
Janusz Brzozowski and others (1995) · Springer Nature
Automatic guidance of mechanically generated proofs
A. Bundy and others (1995) · Epsrc research proposal, Edinburgh and Cambridge Universities
Relational rippling: a general approach
Alan Bundy and others (1995) · Proceedings of IJCAI-95 · IJCAI
Ballistic Conductance Fluctuations in Shape Space
I. H. Chan and others (1995) · American Physical Society (APS)
New systolic array implementation of the 2-D discrete cosine transform and its inverse
Y. T. Chang and others (1995) · Institute of Electrical and Electronics Engineers (IEEE)
The United Nations at Age Fifty: A Legal Perspective
Tomuschat Christian (1995)
Verification of the Futurebus+ cache coherence protocol
Edmund M. Clarke and others (1995) · Formal Methods in System Design · Springer Science+Business Media
A front-end generator for verification tools
Rance Cleaveland and others (1995) · Springer Berlin Heidelberg
A 0.6 μm BiCMOS processor with dynamic execution
R. P. Colwell and others (1995) · IEEE
Using integer programming to verify general safety and liveness properties
James C. Corbett and others (1995) · Springer Science and Business Media LLC
The coq proof assistant reference manual version 5.10
C. Cornes and others (1995) · Tech. Rep.
Formal methods reality check: industrial usage
D. Craigen and others (1995) · IEEE Transactions on Software Engineering · IEEE
Formal methods technology transfer: Impediments and innovation (abstract)
Dan Craigen (1995) · Lecture notes in computer science · Springer Science+Business Media
A tutorial introduction to PVS
J. Crow and others (1995) · Presented at WIFT ’95: Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, Florida, April 1995. Available, with specification files, at http://www.csl.sri.com/wift-tutorial.html
Effective theorem proving for hardware verification
D. Cyrluk and others (1995) · Springer Berlin Heidelberg
Specification and Validation Methods for Programming Languages and Systems, Chap
W. Damm and others (1995) · Specification and verification of VHDL-based system-level hardware designs
Frequency detectors for CPM signals
A. N. D’Andrea and others (1995) · Institute of Electrical and Electronics Engineers (IEEE)
Electronic Transport in Mesoscopic Systems
Supriyo Datta (1995) · Cambridge University Press
Two examples of verification of multirate timed automata with Kronos
C. Daws and others (1995) · IEEE Comput. Soc. Press
Investigation into micropipeline latch design styles
P. Day and others (1995) · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · Institute of Electrical and Electronics Engineers (IEEE)
Internet Protocol, Version 6 (IPv6) Specification
S. Deering and others (1995) · RFC Editor
Nearly perfect sets in graphs
Jean E. Dunbar and others (1995) · Discrete Mathematics · Elsevier BV
Signed domination in graphs
J. E. Dunbar and others (1995) · Graph Theory, Combinatorics and Algorithms: Proceedings of the Seventh Quadrennial International Conference on Graph Theory, Algorithms and Applications · Wiley
An all-digital phase-locked loop with 50-cycle lock time suitable for high-performance microprocessors
J. Dunning and others (1995) · Institute of Electrical and Electronics Engineers (IEEE)
Finite Model Theory
Heinz-Dieter Ebbinghaus and others (1995) · Springer Berlin Heidelberg
An automata theory dedicated towards formal circuit synthesis
Dirk Eisenbiegler and others (1995) · Lecture notes in computer science · Springer Science+Business Media
Formally embedding existing high level synthesis algorithms
D. Eisenbiegler and others (1995) · Springer Berlin Heidelberg
Approximating minimum feedback sets and multi-cuts in directed graphs
Guy Even and others (1995) · Springer Berlin Heidelberg
Reasoning About Knowledge
Ronald Fagin and others (1995) · The MIT Press
Analysis of glitch power dissipation in CMOS ICs
M. Favalli and others (1995) · ACM Press
The CMU master of Software Engineering core curriculum
David Garlan and others (1995) · Lecture notes in computer science · Springer Science+Business Media
An overview of workflow management: From process modeling to workflow automation infrastructure
Dimitrios Georgakopoulos and others (1995) · Distributed and Parallel Databases · Springer Science+Business Media
Memory Consistency Models for Shared-Memory Multiprocessors
Kourosh Gharachorloo (1995)
Asynchronous circuit verification using trace theory and CCS
G. Gopalakrishnan (1995)
The semantic challenge of Verilog HDL
Mike Gordon (1995) · Tenth Annual IEEE Symposium on Logic in Computer Science (LICS) · IEEE
Efficient strategies for software-only protocols in shared-memory multiprocessors
H. Grahn and others (1995) · ACM Press
A bound on the exponent of a primitive matrix using Boolean rank
David Alexander Gregory and others (1995) · Linear Algebra and its Applications · Elsevier BV
Avoiding the Undefined by Underspecification
David Gries and others (1995) · Computer Science Today: Recent Trends and Developments · Springer
Cyclic scheduling on parallel processors: an overview
C. Hanen and others (1995) · Scheduling Theory and Its Applications
On the algorithmic complexity of signed domination in graphs
J. H. Hattingh and others (1995) · Australasian Journal of Combinatorics
Asynchronous design methodologies: an overview
Scott Hauck (1995) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
Discrete Structures, Logic, and Computability
J. L. Hein (1995) · Jones and Bartlett
Automated analysis of an audio control protocol
Pei-Hsin Ho and others (1995) · Springer Berlin Heidelberg
Automatic datapath abstraction in hardware systems
Ramin Hojati and others (1995) · Lecture notes in computer science · Springer Science+Business Media
An Improvement in Formal Verification
Gerard J. Holzmann and others (1995) · IFIP advances in information and communication technology · Springer Science+Business Media
The Oyster proof development system
Christian Horn (1995) · Technical report
VLSI implementation of parallel coefficient-by-coefficient two-dimensional IDCT processor
Shih-Chang Hsia and others (1995) · IEEE Transactions on Circuits and Systems for Video Technology · Institute of Electrical and Electronics Engineers (IEEE)
Testing asynchronous circuits: A survey
H. Hulgaard and others (1995) · Elsevier BV
The DUAL-EVAL hardware description language and its use in the formal specification and verification of the FM9001 microprocessor
Warren A. Hunt and others (1995)
Descriptive complexity: a logician's approach to computation
Neil Immerman (1995) · Notices of the American Mathematical Society
Capture-Recapture and Multiple-Record Systems Estimation I: History and Theoretical Development
International Working Group for Disease Monitoring and Forecasting (1995) · Oxford University Press (OUP)
Specifying a safety-critical control system in Z
J. Jacky (1995) · IEEE Transactions on Software Engineering · Institute of Electrical and Electronics Engineers (IEEE)
FERRARI: a flexible software-based fault and error injection system
Ghani A. Kanawati and others (1995) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
A low ROM distributed arithmetic implementation of the forward/inverse DCT/DST using rotations
H.C. Karathanasis (1995) · IEEE Transactions on Consumer Electronics · Institute of Electrical and Electronics Engineers
ACL2: A Computational Logic for Applicative Common Lisp, The User’s Manual (Version 1.8)
M. Kaufmann and others (1995) · ftp:// ftp.cli.com/pub/acl2/v1-8/acl2-sources/doc/ HTML/acl2-doc.html
Formal Semantics for VHDL
Unattributed (1995) · Springer US
Low-power design techniques for high-performance CMOS adders
U. Ko and others (1995) · Institute of Electrical and Electronics Engineers (IEEE)
Random-matrix-theory approach to the intensity distributions of waves propagating in a random medium
E. Kogan and others (1995) · American Physical Society (APS)
JAGUAR: a fully pipelined VLSI architecture for JPEG image compression standard
M. Kovac and others (1995) · Institute of Electrical and Electronics Engineers (IEEE)
A formal framework for high level synthesis
Thomas Kröpf and others (1995) · Lecture notes in computer science · Springer Science+Business Media
Verity—A formal verification program for custom CMOS circuits
Andreas Kuehlmann and others (1995) · IBM Journal of Research and Development · IBM
DC Analysis
K. S. Kundert (1995) · Springer Science+Business Media
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
Robert P. Kurshan (1995) · Princeton University Press
Industrial and academic protocol testing: the gap and the means of convergence
R. Lai and others (1995) · Elsevier BV
An engineering approach to formal digital system design
M. Larsson (1995) · Oxford University Press (OUP)
A General Approach to Performance Analysis and Optimization of Asynchronous Circuits
T. K. Lee (1995)
Understanding Changed Readings: Fidelity and Theory
Lawrence Lessig (1995) · JSTOR
On the realizability and synthesis of delay-insensitive behaviors
S. C. Leung and others (1995) · Institute of Electrical and Electronics Engineers (IEEE)
Medical Devices: The Therac-25
Nancy G. Leveson (1995) · Safeware: System Safety and Computers · Addison-Wesley
On micro-kernel construction
J. Liedtke (1995) · Proceedings of the fifteenth ACM symposium on Operating systems principles - SOSP '95 · ACM Press
The ANL/IBM SP scheduling system
D. A. Lifka (1995) · Springer Berlin Heidelberg
AMULET1: Specification and Verification in CCS
Y. Liu (1995)
An attack on the Needham-Schroeder public-key authentication protocol
Gavin Lowe (1995) · Information Processing Letters · Elsevier
Forward and backward simulations: I. untimed systems
Nancy A. Lynch and others (1995) · Inf. Comput.
A 100 MHz 2-D 8×8 DCT/IDCT processor for HDTV applications
A. Madisetti and others (1995) · Institute of Electrical and Electronics Engineers (IEEE)
On the synthesis of discrete controllers for timed systems
O. Maler and others (1995) · Springer Berlin Heidelberg
Timing analysis of asynchronous circuits using timed automata
O. Maler and others (1995) · Springer Berlin Heidelberg
Temporal Verification of Reactive Systems: Safety
Zohar Manna and others (1995) · Springer Nature
Quasi-delay-insensitive circuits are Turing-complete
Rajit Manohar and others (1995) · California Institute of Technology
VLSI implementation of inverse discrete cosine transformer and motion compensator for MPEG2 HDTV video decoding
T. Masaki and others (1995) · IEEE Transactions on Circuits and Systems for Video Technology · Institute of Electrical and Electronics Engineers
Multiparadigm specification of an AT&T switching system
P. Mataga and others (1995) · Formal Methods Applications of Formal Methods
Waves of Change: Business Evolution through Information Technology
James L. McKenney and others (1995)
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods
S.P. Miller and others (1995)
Automation's Finest Hour: Bell Labs and Automatic Control in World War II
D. A. Mindell (1995) · Institute of Electrical and Electronics Engineers (IEEE)
Defining the IEEE-854 floating-point standard in PVS
P. S. Miner (1995) · Technical Report TM-110167
Lithography and the future of Moore's law
Gordon E. Moore (1995) · Proceedings of SPIE 2438: Advances in Resist Technology and Processing XII · SPIE
Inconsistent Mathematics
Chris Mortensen (1995) · Kluwer Academic Publishers
Exploiting parallelism in cache coherency protocol engines
A. Nowatzyk and others (1995) · Springer Berlin Heidelberg
Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
Sam Owre and others (1995) · Institute of Electrical and Electronics Engineers (IEEE)
A tutorial on using PVS for hardware verification
Sam Owre and others (1995) · Lecture notes in computer science · Springer Science+Business Media
An automatic generalization method for the inductive proof of replicated and parallel architectures
Laurence Pierre (1995) · Springer Berlin Heidelberg
Anatomy of the Pentium bug
Vaughan Pratt (1995) · Lecture notes in computer science · Springer Science+Business Media
MIPS iv instruction set
Charles Price (1995)
Pentium FDIV flaw-lessons learned
D. Price (1995) · Institute of Electrical and Electronics Engineers (IEEE)
An integration of model checking with automated proof checking
Sreeranga P. Rajan and others (1995) · Lecture notes in computer science · Springer Science+Business Media
An introduction to GSM
S. M. Redl and others (1995) · Artech House
A Border Gateway Protocol 4 (BGP-4)
Y. Rekhter and others (1995)
Proof planning data type changes in pure functional programs
J. D. C. Richardson (1995)
Hierarchical compression for model-checking CSP or how to check 1020 dining philosophers for deadlock
A. W. Roscoe and others (1995) · Tools and Algorithms for the Construction and Analysis of Systems · Springer Berlin Heidelberg
Python tutorial
Guido van Rossum and others (1995) · Centrum voor Wiskunde en Informatica
Measuring cache and TLB performance and their effect on benchmark runtimes
Rafael H. Saavedra and others (1995) · Institute of Electrical and Electronics Engineers (IEEE)
Remote Procedure Callback System and Method
Benn L. Schreiber and others (1995) · United States Patent and Trademark Office
Formal verification by symbolic evaluation of partially-ordered trajectories
Carl-Johan H. Seger and others (1995) · Formal Methods in System Design · Springer Science+Business Media
The T-Ruby design system
R. Sharp and others (1995) · Computer Hardware Description Languages and their Applications (CHDL 1995)
Correct compilation of specifications to deterministic asynchronous circuits
Scott F. Smith and others (1995) · Formal Methods in System Design · Springer Science and Business Media LLC
First-Order Logic
Raymond M. Smullyan (1995) · Dover
Applying formal verification to a commercial microprocessor
Mandayam K. Srivas and others (1995)
An Algebra of Dataflow Networks
Eugene W. Stark (1995) · Fundamenta Informaticae · SAGE Publications
Asynchronous 2-D discrete cosine transform core processor
B. Stott and others (1995) · IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD) · Institute of Electrical and Electronics Engineers
A survey of program slicing techniques
F. Tip (1995) · J. Program. Lang.
Executable and Linkable Format (ELF), Version 1.2
Unattributed (1995) · Tool Interface Standard (TIS) Committee
Semantics of VLSI Synthesis
M van der Goot (1995)
3DAS: a 3D structure authentication system
Rudolf L. van Renesse (1995) · Proceedings of the European Convention on Security and Detection, IEE
Alternating automata and program verification
Moshe Y. Vardi (1995) · Lecture notes in computer science · Springer Science+Business Media
Sensemaking in Organizations
Karl E. Weick (1995) · SAGE Publications
A correctness model for pipelined microprocessors
P.J. Windley and others (1995) · Springer Berlin Heidelberg
Formal modeling and verification of microprocessors
P. J. Windley (1995) · Institute of Electrical and Electronics Engineers (IEEE)
The SPLASH-2 programs: Characterization and methodological considerations
Steven Cameron Woo and others (1995) · Proceedings - International Symposium on Computer Architecture/Proceedings
Hitting the Memory Wall: Implications of the Obvious
Wm. A. Wulf and others (1995) · ACM SIGARCH Computer Architecture News · Association for Computing Machinery