Your search for 38285 returns 4797 document(s) |
Trace theoretic verification of asynchronous circuits using unfoldings, (LNCS-Lecture Notes in Computer Science 939) Hal 180-195 |
Author: K. L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture Notes in Computer Science 1254)Hal. 412-423 |
Author: A. Prasad Sistia; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verification of hybrid systems using abstraction ((LNCS-Lecture Notes in Computer Science 999), Hal. 359-390 |
Author: Anuj Puri and Pravin Varniya; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
fGREP - fast generic routing demand estimation for placed FPGA circuits, (LNCS-Lecture Notes in Computer Science 2147) Hal 37-47 |
Author: Parivallal Kannan; Shankar Balachandran; Dinesh Bhatia; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Memory synthesis for FPGA-based reconfigurable computers, (LNCS-Lecture Notes in Computer Science 2147) Hal 70-80 |
Author: Amit Kasat; Iyad Ouaiss; Ranga Vemuri; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
PuMA++: from behavioral specification to multi-FPGA-prototype, (LNCS-Lecture Notes in Computer Science 2147) Hal 133-141 |
Author: Klaus Harbich; Erich Barke; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Single-chip FPGA implementation of the advanced encryption standard algorithm, (LNCS-Lecture Notes in Computer Science 2147) Hal 152-161 |
Author: Maire McLoone; John V. McCanny; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Evaluation of an FPGA implementation of the discrete element method, (LNCS-Lecture Notes in Computer Science 2147) Hal 306-314 |
Author: Benjamin Carrion Schafer; Steven F. Quigley; Andrew H.C.Chan; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Real time morphological image contrast enhancement in virtex FPGA, (LNCS-Lecture Notes in Computer Science 2147) Hal 430-440 |
Author: Jerzy Kasperek; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Generative development system for FPGA processors with active components, (LNCS-Lecture Notes in Computer Science 2147) Hal 513-522 |
Author: Stephan Ruhl; Peter Dillinger; Stefan Hezel; Reinhard Manner; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|