2000
99 references published this year.
Formal verification of iterative algorithms in microprocessors
Mark D. Aagaard and others (2000) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
FoCs – Automatic Generation of Simulation Checkers from Formal Specifications
Y. Abarbanel and others (2000) · Springer Berlin Heidelberg
Architecture of the IBM System/360
Gene M. Amdahl and others (2000) · IBM Journal of Research and Development · IBM
Some results on the Collatz problem
Ștefan Andrei and others (2000) · Acta Informatica
Evaluation of a soft error tolerance technique based on time and/or space redundancy
Lorena Anghel and others (2000) · Symposium on Integrated Circuits and Systems Design
Piranha: a scalable architecture based on single-chip multiprocessing
Luiz André Barroso and others (2000) · Proceedings - International Symposium on Computer Architecture/Proceedings
Logical modelling of delay degradation effect in static CMOS gates
M. J. Bellido-Díaz and others (2000) · Institution of Engineering and Technology (IET)
Proving pointer programs in Hoare logic
Richard Bornat (2000) · 5th International Conference on Mathematics of Program Construction (MPC) · Springer
SEU mitigation design techniques for the XQR4000XL
P. Brinkley and others (2000) · Xilinx, Inc
Bypassing Stackguard and Stackshield
Bulba, and others (2000) · Phrack magazine
A dynamic voltage scaled microprocessor system
Thomas D. Burd and others (2000) · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · Institute of Electrical and Electronics Engineers
A dynamic voltage scaled microprocessor system
Thomas D. Burd and others (2000) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Self-report surveys as measures of crime and criminal victimization
D. Cantor and others (2000)
Anytime, Anywhere: Modal Logics for Mobile Ambients
L. Cardelli and others (2000) · POPL’00
Correcting Single-Event Upsets Through Virtex Partial Configuration
C. Carmichael and others (2000) · Xilinx Incorporated, June 2000. XAPP216
A Methodology for the Formal Analysis of Asynchronous Micropipelines
Antonio Cerone and others (2000) · Springer Berlin Heidelberg
Closing the gap between ASIC and custom: an ASIC perspective
David Chinnery and others (2000) · ACM/IEEE Design Automation Conference (DAC) · Association for Computing Machinery
QuickCheck: a lightweight tool for random testing of Haskell programs
Koen Claessen and others (2000) · ACM SIGPLAN International Conference on Functional Programming (ICFP)
Counterexample-Guided Abstraction Refinement
E. Clarke and others (2000) · Springer Berlin Heidelberg
RT-level ITC'99 benchmarks and first ATPG results
F. Corno and others (2000) · Institute of Electrical and Electronics Engineers (IEEE)
Buffer overflows: attacks and defenses for the vulnerability of the decade
Crispin Cowan and others (2000)
"Politics in an Age of Anxiety": Cold War Political Culture and the Crisis in American Masculinity, 1949-1960
K. A. Cuordileone (2000) · Oxford University Press (OUP)
The Universal Computer: The Road from Leibniz to Turing
Martin Davis (2000) · W. W. Norton
Modular control of composed systems
Max Hering de Queiroz and others (2000) · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · Institute of Electrical and Electronics Engineers
Modular Supervisory Control of Large Scale Discrete Event Systems
M. H. de Queiroz and others (2000) · Springer US
The Physical Implementation of Quantum Computation
David Peter Divincenzo (2000) · Fortschritte der Physik · Wiley
Self-Stabilization
Shlomi Dolev (2000) · The MIT Press
The Temporal Rover and the ATG Rover
D. Drusinsky (2000) · Springer Berlin Heidelberg
α-Domination in graphs
J. E. Dunbar and others (2000) · Discrete Mathematics
An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software
Arnaud Dupuy and others (2000) · 19th Digital Avionics Systems Conference · IEEE
Verification of Safety Properties Using Integer Programming: Beyond the State Equation
Javier Esparza and others (2000) · Springer Science and Business Media LLC
The Northern Wars: War, State, and Society in Northeastern Europe, 1558-1721
Robert I. Frost (2000)
Non-verbal numerical cognition: from reals to integers
Charles Randy Gallistel and others (2000) · Trends in Cognitive Sciences · Elsevier BV
Defeating distributed denial of service attacks
Xianjun Geng and others (2000) · IT Professional · IEEE Computer Society
Algorithmic approach to the satisfactory graph partitioning problem
Michael U. Gerber and others (2000) · European Journal of Operational Research · Elsevier BV
On the complexity of supervisory control design in the RW framework
P. Gohari and others (2000) · Institute of Electrical and Electronics Engineers (IEEE)
From LCF to HOL: A Short History
Mike Gordon (2000) · The MIT Press
Ein dynamisches automatisierbares interaktives Kalkül für schematische theorie spezifische Regeln
Elmar Habermalz (2000) · University of Karlsruhe
Digital Democracy: Issues of Theory and Practice
Kenneth Hacker and others (2000) · SAGE Publications Ltd
What is Digital Democracy?
Kenneth L. Hacker and others (2000) · Digital Democracy: Issues of Theory and Practice · SAGE Publications Ltd
Internet Routing Architectures
Bassam Halabi and others (2000) · Cisco Press, 2 edition
Dynamic Logic
David Harel and others (2000) · The MIT Press
Formal Verification of IA-64 Division Algorithms
J. Harrison (2000) · Springer Berlin Heidelberg
A non-proprietary, constant envelope, variant of shaped offset QPSK (SOQPSK) for improved spectral containment and detection efficiency
T. Hill (2000) · MILCOM 2000. 21st Century Military Communications Conference, vol. 1, no. C
Grounding criterion: Toward a formal theory of grounding
Eric Horvitz and others (2000)
Verifying Advanced Microarchitectures that Support Speculation and Exceptions
Ravi Mohan Hosabettu and others (2000) · Lecture notes in computer science · Springer Science+Business Media
God Who Hears
W. Bingham Hunter (2000)
z/Architecture Principles of Operation
IBM, (2000) · Poughkeepsie, NY, December
Shaping the Web: Why the Politics of Search Engines Matters
Lucas D. Introna and others (2000) · Informa UK Limited
Proving the Correctness of a Complete Microprocessor
Christian Jacobi and others (2000) · Informatik aktuell · Springer Nature
IP Mobility Management for the Airborne Communications Node Platform
M. Joe-Ng and others (2000) · Telcordia Tech. Inc.
Degradation Delay Model Extension to CMOS Gates
J. Juan-Chico and others (2000) · Springer Berlin Heidelberg
Computer-Aided Reasoning: An Approach
Matt Kaufmann and others (2000) · Springer Nature
Secure Border Gateway Protocol (S-BGP)
S. Kent and others (2000) · IEEE Journal on Selected Areas in Communications · Institute of Electrical and Electronics Engineers (IEEE)
Proving the correctness of pipelined micro-architectures
D. Kroening and others (2000) · MBMV
Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability
M. Kwiatkowska and others (2000) · Kwiatkowska, N. Gethin, and J. Sproston, Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachab
A low-power adiabatic driver system for AMLCDs
R. Lal and others (2000) · IEEE
System Safety in Computer-Controlled Automotive Systems
Nancy G. Leveson (2000) · SAE World Congress · Society of Automotive Engineers
Production Workflow: Concepts and Techniques
F. Leymann and others (2000) · Prentice Hall PTR
Timing-driven placement for FPGAs
A. Marquardt and others (2000) · ACM
Cadence smv
K. McMillan (2000) · Cadence Berkeley Labs, CA
A methodology for hardware verification using compositional model checking
Kenneth L. McMillan (2000) · Science of Computer Programming · Elsevier BV
Design By Contract and the Component Revolution
Bertrand Meyer (2000) · 34th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS) · IEEE Computer Society
Rationale and challenges for optical interconnects to electronic chips
D. A. B. Miller (2000) · Proceedings of the IEEE · IEEE
Modeling and verification of embedded systems using Cadence SMV
A. Mir and others (2000) · IEEE
Which concurrent error detection scheme to choose ?
S. Mitra and others (2000) · Int. Test Conference
The click modular router
Robert Morris and others (2000) · ACM SIGOPS Operating Systems Review · Association for Computing Machinery
Computer Architecture: Complexity and Correctness
Silvia Melitta Mueller and others (2000) · Springer Nature
Proving the Correctness of Processors with Delayed Branch Using Delayed PC
S. M. Müller and others (2000) · Springer US
Transforming Computer Technology: Information Processing for the Pentagon, 1962-1986
Arthur Norberg (2000) · Johns Hopkins University Press
Place, social relations and the fear of crime: a review
Rachel Pain (2000) · Progress in Human Geography · SAGE Publishing
Structural cut elimination: Intuitionistic and classical logic
Frank Pfenning (2000) · Information and Computation, 157(1-2):84 – 141
Inconsistent models of arithmetic Part II: the general case
Graham Priest (2000) · The Journal of Symbolic Logic · Cambridge University Press (CUP)
The Java memory model is fatally flawed
William Pugh (2000) · Concurrency Practice and Experience · Wiley
System-on-a-chip: Design and Test
Rochit Rajsuman (2000)
Using 31-Bit Prefixes on IPv4 Point-to-Point Links
A. Retana and others (2000) · RFC Editor
Intuitionistic Reasoning about Shared Mutable Data Structure
John C. Reynolds (2000) · Millennial Perspectives in Computer Science · Macmillan Education UK
Remote Authentication Dial In User Service (RADIUS)
C. Rigney and others (2000)
Identifying Mode Confusion Potential in Software Design
Mario Rodriguez and others (2000) · 19th Digital Avionics Systems Conference · IEEE
A Case Study in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon TM Processor
D. M. Russinoff (2000) · Springer Berlin Heidelberg
Enforceable security policies
Fred B Schneider (2000) · Association for Computing Machinery (ACM)
Verifying the EROS confinement mechanism
Jonathan S. Shapiro and others (2000) · IEEE Comput. Soc
Checking Safety Properties Using Induction and a SAT-Solver
Mary Sheeran and others (2000) · Formal Methods in Computer-Aided Design (FMCAD 2000) · Springer Science+Business Media
Modular Verification of Hardware Systems
Xiaowei Shen (2000) · Massachusetts Institute of Technology
Instabilities of Waves in Nonlinear Disordered Media
S. E. Skipetrov and others (2000) · American Physical Society (APS)
Efficient Büchi Automata from LTL Formulae
F. Somenzi and others (2000) · Springer Berlin Heidelberg
Mesoscopic Sensitivity of Speckles in Disordered Nonlinear Media to Changes of the Scattering Potential
Boris Z. Spivak and others (2000) · Physical Review Letters · American Physical Society
Network Algebra
Gheorghe Ştefănescu (2000) · Springer London
Fundamental Concepts in Programming Languages
Christopher Strachey (2000) · Higher-Order and Symbolic Computation · Springer
The Self-Report Method for Measuring Delinquency and Crime
T. P. Thornberry and others (2000)
Basic Proof Theory
Anne Sjerp Troelstra and others (2000) · Cambridge University Press
Isolation and technology: the human disconnect
Gina Vega and others (2000) · Journal of Organizational Change Management · Emerald
Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction
Miroslav N. Velev and others (2000) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
Guide to Administrative Procedures of the Internet Infrastructure
Zita Wenzel and others (2000)
Introduction to graph theory
D. West (2000) · Pearson
A review of lithium niobate modulators for fiber-optic communications systems
E.L. Wooten and others (2000) · Institute of Electrical and Electronics Engineers (IEEE)
Design As The Discovery Of A Mathematical Theorem What Designers Should Know About The Art Of Mathematics
Hanno Wupper (2000) · Journal of Integrated Design and Process Science
Large number discrimination in 6-month-old infants
F. Xu and others (2000) · Elsevier BV
Checking before output may not be enough against fault-based cryptanalysis
Sung-Ming Yen and others (2000) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)