close
1.

図書

図書
Pierre Boulanger, chair/editor ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c1997  vii, 236 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 2910
所蔵情報: loading…
2.

図書

図書
IEEE/ACM International Conference on Computer-Aided Design ; IEEE Computer Society
出版情報: New York : Association for Computing Machinery, c1999  xxiv, 613 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
edited by M.J. Pratt, R.D. Sriram and M.J. Wozny
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1997  x, 442 p. ; 25cm
所蔵情報: loading…
4.

図書

図書
edited by Magdy A. Bayoumi, Greham Jullien ; organized by the Center for Advanced computer Studies, University of Southwestern Louisiana ; co-sponsored by IEEE Circuits and Systems Society, IEEE Computer Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1998  xvi, 460 p.
所蔵情報: loading…
5.

図書

図書
IEEE/ACM International Conference on Computer-Aided Design ; IEEE Circuits and Systems Society ; IEEE Computer Society ; Institute of Electrical and Electronics Engineers ; IEEE Electron Devices Society
出版情報: New York : Association for Computing Machinery, c1998  xxii, 704 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
sponsored by IEEE Computer Society, IEEE Circuits and Systems Society, University of Illinois Urbana Champaign ECE Department
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xii, 189 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
Laurence Pierre, Thomas Kropf (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 366 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1703
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Esterel and Jazz Two Synchronous Languages for Circuit Design / Gérard Berry
Design Process of Embedded Automotive Systems - Using Model Checking for Correct Specifications / Peter Jansen
Proof of Microprocessors
A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer / Ravi Hosabettu ; Ganesh Gopalakrishnan ; Mandayam Srivas
Formal Verification of Explicitly Parallel Microprocessors / Byron Cook ; John Launchbury ; John Matthews ; Dick Kieburtz
Superscalar Processor Verification Using Efficient Reductions of the Logic of Equality with Uninterpreted Functions to Propositional Logic / Miroslav Velev ; Randal Bryant
Model Checking
Model Checking TLA+ Specifications / Yuan Yu ; Panagiotis Manolios ; Leslie Lamport
Efficient Decompositional Model-Checking for Regular Timing Diagrams / Nina Amla ; E. Allen Emerson ; Kedar S. Namjoshi
Vacuity Detection in Temporal Model Checking / Orna Kupferman ; Moshe Vardi
Formal Methods and Industrial Applications
Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard / Cindy Eisner
Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors / Y.Xu ; E.Cerny ; A.Silburt ; A.Coady ; Y.Liu ; P.Pownall
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics / Marius Bozga ; Oded Maler ; Stavros Tripakis
Abstraction and Compositional Techniques From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking / E.Allen Emerson ; Richard J. Trefler
Automatic Error Correction of Large Circuits Using Boolean Decomposi- tion and Abstraction / Dirk W. Hoffmann ; Thomas Kropf
Abstract BDDs: A Technique for Using Abstraction in Model Checking / Edmund Clarke ; Somesh Jha ; Yuan Lu ; Dong Wang
Theorem Proving Related Approaches
Formal Synthesis at the Algorithmic Level / Christian Blumenröhr ; Viktor Sabelfeld
Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving / Mark Aagaard ; Thomas Melham ; John O'Leary
Verification of Infinite State Systems by Compositional Model Checking / K.L.McMillan
Symbolic Simulation/Symbolic Traversal
Formal Verification of Designs with Complex Control by Symbolic Simulation / Gerd Ritter ; Hans Eveking ; Holger Hinrichsen
Hints to Accelerate Symbolic Traversal / Kavita Ravi ; Fabio Somenzi
Specification Languages and Methodologies
Modeling and Checking Networks of Communicating Real-Time Processes / Jürgen Ruf
"Have I Written Enough Properties?" A Method of Comparison between Specification and Implementation / Sagi Katz ; Orna Grumberg ; Danny Geist
Program Slicing of Hardware Description Languages / E.Clarke ; M.Fujita ; S.P.Rajan ; T.Reps ; S.Shankar ; T.Teitelbaum
Posters
Results of the Verification of a Complex Pipelined Machine Model / Jun Sawada ; Warren A. Hunt, Jr
Hazard-Freedom Checking in Speed-Independent Systems / Husnu Yenigun ; Vladimir Levin ; Doron Peled ; Peter Beerel
Yet Another Look at LTL Model Checking / Klaus Schneider
Verification of Finite-State-Machine Refinements Using a Symbolic Methodology / Stefan Hendricx ; Luc Claesen
Refinement and Property Checking in High-Level Synthesis Using Attribute Grammars / George Economakos ; George Papakonstantinou
A Systematic Incrementalization Technique and Its Application to Hardware Design / Steven Johnson ; Yanhong Liu ; Yuchen Zhang
Bisimulation and Model Checking / Kathi Fisler ; Moshe Y. Vardi
Circular Compositional Reasoning about Liveness
Symbolic Simulation of Microprocessor Models Using Type Classes in Haskell / Nancy A. Day ; Jeffrey R. Lewis
Exploiting Retiming in a Guided Simulation Based Validation Methodology / Aarti Gupta ; Pranav Ashar ; Sharad Malik
Fault Models for Embedded Systems / Jens Chr. Godskesen
Validation of Object-Oriented Concurrent Designs by Model Checking / Michaela Huhn ; George Logothetis
Author Index
Invited Talks
Esterel and Jazz Two Synchronous Languages for Circuit Design / Gérard Berry
Design Process of Embedded Automotive Systems - Using Model Checking for Correct Specifications / Peter Jansen
8.

図書

図書
sponsored by the Electrical and Electronic Packaging Division, ASME ; edited by Dereje Agonafer ... [et al.]
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c1996  v, 123 p. ; 28 cm
シリーズ名: EEP ; vol. 18
所蔵情報: loading…
9.

図書

図書
edited by L. Boullart, M. Loccufier, and S.E. Mattsson
出版情報: Oxford ; Tarrytown, N.Y. : Published for the International Federation of Automatic Control by Pergamon, 1997  viii, 378 p. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Selected chapter headings: Plenary Paper
Hybrid Discrete-Event and Real-Time Systems
Symbolic and Numerical Computations / Part 1:
Special Architectures for CACSD
Control Systems Design
Software for CACSD
CACSD Support Environments
Planning and Manufacturing
System Modelling and Simulation
Robust Control / Part 2:
Intelligent Controller Design
Selected chapter headings: Plenary Paper
Hybrid Discrete-Event and Real-Time Systems
Symbolic and Numerical Computations / Part 1:
10.

図書

図書
edited by John S. Gero and Fay Sudweeks
出版情報: Dordrecht ; London : Kluwer Academic, c1998  x, 679 p. ; 25 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼