1998
96 references published this year.
RTL verification strategies
M. Abrahams and others (1998) · Wescon/98. Conference Proceedings (Cat. No.98CH36265) · IEEE
A Lightweight Approach to Formal Methods
Sten Agerholm and others (1998) · Applied Formal Methods — FM-Trends 98 · Springer
Tamper detection using bulk multiple scattering
N. Amer and others (1998)
About the Collatz conjecture
Ștefan Andrei and others (1998) · Acta Informatica
Aircraft Communications Addressing and Reporting System
ARINC, (1998) · Technical Report ARINC Report 597
Controller Synthesis for Timed Automata 1
Eugene Asarin and others (1998) · IFAC Proceedings Volumes · Elsevier BV
Verification of RTL generated from scheduled behavior in a high-level synthesis flow
P. Ashar and others (1998) · ACM Press
A Theory of Media Power and a Theory of Media Use: Different Stories, Questions, and Ways of Thinking
Sandra J. Ball-Rokeach (1998) · Informa UK Limited
Practical Bilevel Optimization: Algorithms and Applications
Jonathan F. Bard (1998) · Springer US
Binary decision diagrams: Theory and implementation
B. Becker and others (1998)
Dynamic Power Management: Design Techniques and CAD Tools
L. Benini and others (1998) · Springer US
Combining symbolic model checking with uninterpreted functions for out-of-order processor verification
S. Berezin and others (1998) · FMCAD ’98, LNCS 1522 · Springer
The Evolution of a specification – Commentary on Web architecture
Tim Berners-Lee (1998)
The Scale-free nature of the Web
Tim Berners-Lee (1998)
What the Semantic Web can Represent
Tim Berners-Lee (1998)
Lava: Hardware Design in Haskell
Per Bjesse and others (1998) · ACM SIGPLAN Notices 34
A Computational Logic Handbook
R. S. Boyer and others (1998) · Academic Press
Single event upsets in implantable cardioverter defibrillators
P.D. Bradley and others (1998) · IEEE Transactions on Nuclear Science · Institute of Electrical and Electronics Engineers (IEEE)
First-Order Proof Theory of Arithmetic
Samuel R. Buss (1998) · Handbook of Proof Theory · Elsevier
NASA Langley's research and technology-transfer program in formal methods
Ricky W. Butler and others (1998)
Xception: Software fault injection and monitoring in processor functional units
Joao Carreira and others (1998) · Dependable Computing and Fault Tolerant Systems
Verification of floating point adders
Y.-A. Chen and others (1998) · CAV’98
Asymmetric Warfare Threats to US Interests: Expert Panel Support
Central Intelligence Agency (1998)
The Extended Mind
Andy Clark and others (1998) · Analysis · Oxford University Press
Formal methods
Michael Collins (1998) · Dependable Embedded Systems
Proving the IEEE correctness of iterative floating-point square root, divide, and remainder algorithms
M. Cornea-Hasegan (1998) · Intel Technology Journal, Q2
StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks
Crispan Cowan and others (1998) · Proceedings of the 7th USENIX Security Symposium
Vulnerability testing of software system using fault injection
Wenliang Du and others (1998) · Purdue University
What the Media Couldn’t Tell You About Mars Pathfinder
Tom Durkin (1998) · Robot Science & (1998).
Mobile Propagation Measurements using CW and Sliding Correlator Techniques
G. Dyer and others (1998) · Antennas and Propagation Society International Symposium
ACC: using active networking to enhance feedback congestion control mechanisms
T. Faber (1998) · Institute of Electrical and Electronics Engineers (IEEE)
PLC-based implementation of supervisory control for discrete event systems
M. Fabian and others (1998) · IEEE
On the equivalence between SOVA and max-log-MAP decodings
M.P.C. Fossorier and others (1998) · IEEE Communications Letters · IEEE Communications Society
AMULET3: a high-performance self-timed ARM microprocessor
Steve B. Furber and others (1998) · IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD) · Institute of Electrical and Electronics Engineers
Experiences with the Application of Discrete Formal Methods to the Development of Engine Control Software
Andy J. Galloway and others (1998) · IFAC Proceedings Volumes · Elsevier BV
The Foreign and Security Policy Interests of Small States in Today’s Europe
Laurent Goetschel (1998) · Springer US
Efficiently producing default orthogonal IEEE double results using extended IEEE hardware
R. Golliver (1998) · Talk at 3rd Meeting of the Java Study Group, 1998. available as http://std.dkuug.dk/JTC1/SC22/JSG/docs/m3/docs/ jsgn326.pdf
Fundamentals of the Theory of Computation: Principles and Practice
Raymond Greenlaw and others (1998) · Morgan Kaufmann
Routing lookups in hardware at memory access speeds
P. Gupta and others (1998) · IEEE
On-the-fly programmable hardware for networks
Ilija Hadžić and others (1998) · Globecom · Institute of Electrical and Electronics Engineers
Small State as a Third State: Switzerland and Asia-Europe Interregionalism
Heiner Hänggi (1998) · Springer US
Domination in Graphs: Advanced Topics
T. W. Haynes and others (1998) · Marcel Dekker
Fundamentals of Domination in Graphs
T. W. Haynes and others (1998) · Marcel Dekker
The performance and scalability of distributed shared-memory cache coherence protocols
M. Heinrich (1998)
On the need for practical formal methods
C. L. Heitmeyer (1998) · Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 1998) · Springer
It's about time: Real-time logics reviewed
T.A. Henzinger (1998) · Springer Berlin Heidelberg
The regular real-time languages
T. A. Henzinger and others (1998) · Springer Berlin Heidelberg
Discrete-event control of nondeterministic systems
M. Heymann and others (1998) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers
IPv6 Testing Address Allocation
R. Hinden and others (1998) · RFC Editor
Formal verification of pipeline control using controlled token nets and abstract interpretation
P.-H. Ho and others (1998) · ACM Press
High-speed electrical signaling: overview and limitations
M. Horowitz and others (1998) · IEEE Micro · IEEE
Model abstraction for formal verification
Y.-W. Hsieh and others (1998) · IEEE Comput. Soc
ANSI/IEEE Std 802.1D, 1998 Edition: IEEE Standard for Local Area Network MAC (Media Access Control) Bridges
Institute of Electrical and Electronics Engineers (1998) · IEEE
Bad Software
C. Kaner and others (1998) · Wiley
Application of three physical fault injection techniques to the experimental assessment of the MARS architecture
Johan Karlsson (1998) · Dependable Computing and Fault Tolerant Systems
Cultural Norms and National Security: Police and Military in Postwar Japan
Peter J. Katzenstein (1998)
Algorithmic verification of linear temporal logic specifications
Y. Kesten and others (1998) · Springer Berlin Heidelberg
Stalking the elusive computer bug
Peggy Aldrich Kidwell (1998) · IEEE Annals of the History of Computing
ATM Network-Based Integrated Battlespace Simulation With Multiple UAV-AWACS-Fighter Platforms
Jae H. Kim (1998) · USAF Research Lab, Rome NY
Communication and Culture: An Introduction
G. R. Kress (1998)
Fabrication of single-crystal lithium niobate films by crystal ion slicing
M. Levy and others (1998) · Applied Physics Letters · American Institute of Physics
Pipelined asynchronous circuits
A. Lines (1998)
Architecture and control of an adaptive high capacity flat network
Eric Livermore and others (1998) · IEEE Communications Magazine
Quantum computation with quantum dots
Daniel Loss and others (1998) · Physical Review A
An Overview of Space Division Multiple Access Techniques in Cellular Systems
Michiel P. Lotter (1998) · The Transactions of the S.A. Institute of Electrical Engineers
An overview of space division multiple access techniques in cellular systems
Michiel P. Lotter and others (1998) · Proceedings of the 1998 South African Symposium on Communications and Signal Processing-COMSIG '98 (Cat. No. 98EX214) · IEEE
Felson and R
M, (1998)
Slack elasticity in concurrent computing
Rajit Manohar and others (1998) · Lecture notes in computer science · Springer Science+Business Media
Verification of an implementation of Tomasulo's algorithm by compositional model checking
Kenneth L. McMillan (1998) · Lecture notes in computer science · Springer Science+Business Media
A Brief History of Networking in the U.S.
Edgar F. Meyer and others (1998) · Journal of Chemical Information and Computer Sciences · American Chemical Society
A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program
J. S. Moore and others (1998) · Institute of Electrical and Electronics Engineers (IEEE)
PREDICTING RISKS OF LARCENY THEFT VICTIMIZATION: A ROUTINE ACTIVITY ANALYSIS USING REFINED LIFESTYLE MEASURES
E. Mustaine and others (1998) · Wiley
Real-time Nuclear Power Plant Monitoring with Neural Network
Kunihiko Nabeshima and others (1998) · Journal of Nuclear Science and Technology · Taylor & Francis
Object-oriented verification based on record subtyping in Higher-Order Logic
Wolfgang Naraschewski and others (1998) · Springer Berlin Heidelberg
Efficient spatial-domain implementation of a multiscale image representation based on Gabor functions
Oscar Nestares and others (1998) · SPIE-Intl Soc Optical Eng
Quantum Information Theory
Michael Aaron Nielsen (1998)
Java_light is type-safe—definitely
Tobias Nipkow and others (1998) · Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98) · Association for Computing Machinery
C formalised in HOL
Michael Norrish (1998) · Technical report
A low-power, low noise, configurable self-timed DSP
Nigel C. Paver and others (1998) · Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems · Institute of Electrical and Electronics Engineers
Design verification of the S3.mp cache-coherent shared-memory system
Fong Pong and others (1998) · Institute of Electrical and Electronics Engineers (IEEE)
Theories of Programming Languages
John C. Reynolds (1998) · Cambridge University Press
Managing problems at high speed
P. I. Rubinfeld (1998) · IEEE Computer
A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ Processor
D. M. Russinoff (1998) · Wiley
Processor verification with precise exceptions and speculative execution
Jun Sawada and others (1998) · Lecture notes in computer science · Springer Science+Business Media
Formal methods in computer technologies
I. V. Sergienko and others (1998) · Cybernetics and Systems Analysis
Reliable Computer Systems
Daniel P. Siewiorek and others (1998) · A K Peters/CRC Press
An asynchronous 2-D discrete cosine transform chip
R. Smith and others (1998) · IEEE Comput. Soc
Three Approaches to Hardware Verification: HOL, MDG, and VIS Compared
Sofiène Tahar and others (1998) · Formal Methods in Computer-Aided Design · Springer
Micropipeline Controller Design and Verification with Applications in Signal Processing
George Taylor (1998)
IP Security Document Roadmap
R. Thayer (1998) · RFC Editor
Reducing power in high-performance microprocessors
Vivek Tiwari and others (1998) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
Optical Document Security
Rudolf L. van Renesse (1998) · Artech House
Transforming a Single-Valued Transducer Into a Mealy Machine
Andreas Weber (1998) · Journal of Computer and System Sciences · Academic Press
The quantitative impact of survivable network architectures on service availability
Mark R. Wilson (1998) · IEEE Communications Magazine
Testing stationarity in time series
A. Witt and others (1998) · American Physical Society (APS)
A Survey of Unclassified Literature on the Subject of Asymmetric Warfare
Donald J. Wurzel and others (1998)