close
1.

図書
図書
1. Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : Revised lectures
Marco Bernardo, Flavio Corradini (eds.)
出版情報: Berlin : Springer, c2004  vi, 293 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3185
所蔵情報: loading…
目次情報: 続きを見る
Models and Languages / Part I：
Decision Problems for Timed Automata: A Survey / R. Alur ; P. Madhusudan
Timed Petri Nets: Efficiency of Asynchronous Systems / E. Bihler ; W. Vogler
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) / J.C.M. Baeten ; M.A. Reniers
Expressiveness of Timed Events and Timed Languages / D.R. Cacciagrano ; F. Corradini
Real Time and Stochastic Time / M. Bravetti
On the Semantic Foundations of Standard UML 2.0 / B.V. Selic
Tools and Applications / Part II：
A Tutorial on Uppaal / G. Behrmann ; A. David ; K.G. Larsen
The IF Toolset / M. Bozga ; S. Graf ; I. Ober ; J. Sifakis
Embedded Software Analysis with MOTOR / J.-P. Katoen ; H. Bohnenkamp ; R. Klaren ; H. Hermanns
Author Index
Models and Languages / Part I：
Decision Problems for Timed Automata: A Survey / R. Alur ; P. Madhusudan
Timed Petri Nets: Efficiency of Asynchronous Systems / E. Bihler ; W. Vogler
2.

図書
図書
2. Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures
Marco Bernardo, Alessandro Bogliolo (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  vi, 270 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3465
所蔵情報: loading…
3.

図書
図書
3. Architecting dependable systems
Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 307 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2677
所蔵情報: loading…
4.

図書
図書
4. Introduction to VLSI systems
Carver Mead, Lynn Conway
出版情報: Reading, Mass. : Addison-Wesley, c1980  xvi, 396 p., [8] leaves of plates ; 24 cm
シリーズ名: Addison-Wesley series in computer science
所蔵情報: loading…
5.

図書
図書
5. Algorithm-structured computer arrays and networks : architectures and processes for images, percepts, models, information
Leonard Uhr
出版情報: Orlando : Academic Press, 1984  xxiii, 413 p. ; 24 cm
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
6.

図書
図書
6. The design and description of computer architectures
Subrata Dasgupta
出版情報: New York : Wiley, c1984  xvi, 300 p. ; 24 cm
所蔵情報: loading…
7.

図書
図書
7. Computer architecture and implementation (: hard)
Harvey G. Cragon
出版情報: New York : Cambridge University Press, 2000  x, 318 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Computer overview / 1：
Performance models and evaluation / 2：
User instruction set design / 3：
Memory systems / 4：
Processor control design / 5：
Pipelined processors / 6：
Input/output / 7：
Extended instruction set architectures / 8：
Preface
Computer overview / 1：
Performance models and evaluation / 2：
8.

図書
図書
8. MMIXware : a RISC computer for the third millennium
Donald E. Knuth
出版情報: Berlin ; Tokyo : Springer, c1999  viii, 550 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1750
所蔵情報: loading…
目次情報: 続きを見る
Readme (a preface)
Contents (a table of contents)
Mmix (a de nition)
Mmix-Arith (a library)
Mmix-Config (a part of MMMIX)
Mmix-Io (a library)
Mmix-Mem (a triviality)
Mmix-Pipe (a part of MMMIX)
Mmix-Sim (a simulator)
Mmixal (an assembler)
Mmmix (a meta-simulator)
Mmotype (a utility program)
Master Index (a table of references)
Readme (a preface)
Contents (a table of contents)
Mmix (a de nition)
9.

図書
図書
9. Scalable parallel computing : technology, architecture, programming
Kai Hwang, Zhiwei Xu
出版情報: Boston : WCB/McGraw-Hill, c1998  xxiv, 802 p. ; 24 cm
所蔵情報: loading…
10.

図書
図書
10. Architectures for digital signal processing
Peter Pirsch
出版情報: New York : John Wiley & Sons, 1998  xi, 419 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Basic CMOS Circuits
Implementation of Fundamental Operations
Measures for Increasing Performance
Array Processor Architectures
Filter Structures
Implementations of the Discrete Fourier Transform
Programmable Digital Signal Processors
Multiprocessor Systems
Implementation Strategies
References
Index
Basic CMOS Circuits
Implementation of Fundamental Operations
Measures for Increasing Performance
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼