close
1.

図書

図書
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…
2.

図書

図書
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…
3.

図書

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

図書

図書
Franz Pichler, Roberto Moreno-Díaz, (Eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1997  xi, 626 p., [1] p. of plates ; 24 cm
シリーズ名: Lecture notes in computer science ; 1333
所蔵情報: loading…
目次情報:
The 50 revised full papers presented were carefully selected for inclusion in the volume
The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing, and specific methods and applications
The 50 revised full papers presented were carefully selected for inclusion in the volume
The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing, and specific methods and applications
5.

図書

図書
Shuzi Yang, Ji Zhou, Cheng-Gang Li, chairs/editors ; sponsored by Chinese Computer Federation ... [et al.] ; cosponsored by Association for Computing Machinery, SIGGRAPH, USA ... [et al.] ; organized by Huazhong University of Science and Technology, China ; published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash., USA : SPIE, c1996  xiii, 826 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 2644
所蔵情報: loading…
6.

図書

図書
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:
7.

図書

図書
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…
8.

図書

図書
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…
9.

図書

図書
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…
10.

図書

図書
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼