| Your search for 38808 returns 3580 document(s) |
| A compositional rule for hardware design refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 24-35 |
|
Author: K. L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| STARI: a case study in compositional and hierarchial timing verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 191-201 |
|
Author: Serdar Tasiran; Robert K. Brayton; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using compositional preorders in the verification of sliding window protocol, (LNCS-Lecture Notes in Computer Science 1254) Hal 48-59 |
|
Author: Roope Kaivola; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, (LNCS-Lecture Notes in Computer Science 939) Hal 293-308 |
|
Author: Patrick Cousot; Radhia Cousot; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An n log n algorithm for online BDD refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 107-118 |
|
Author: Nils Klarlund; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Development of a design framework for platform-independent networked reconfiguration of software and hardware, (LNCS-Lecture Notes in Computer Science 2147) Hal 264-274 |
|
Author: Yajun Ha; Bingfeng Mei; Patrick Schaumont; Serge Vernalde; Rudy Lauwereins; Hugo De Man; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Design and implementation of an accelerated gabor filter bank using parallel hardware, (LNCS-Lecture Notes in Computer Science 2147) Hal 451-460 |
|
Author: Nikolaus VoR; Barbel Mertsching; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On refinement and temporal annotations (LNCS-Lecture Notes in Computer Science 1926) Hal 185-201 |
|
Author: Ron van der Meyden; Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time refinement, (LNCS-Lecture Notes in Computer Science 670) Hal 314-331 |
|
Author: Colin Fidge; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking in a microprocessor design project, (LNCS-Lecture Notes in Computer Science 1254) Hal 214-225 |
|
Author: Geoff Barret; Anthony McIsaac; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result