Sciweavers

293 search results - page 1 / 59
» date 2004
Sort
View
91
Voted
DATE
2004
IEEE
114views Hardware» more  DATE 2004»
15 years 7 months ago
Synthesis of Reversible Logic
Abhinav Agrawal, Niraj K. Jha
114
Voted
DATE
2004
IEEE
109views Hardware» more  DATE 2004»
15 years 7 months ago
Using Counter Example Guided Abstraction Refinement to Find Complex Bugs
Per Bjesse, James H. Kukula
DATE
2004
IEEE
133views Hardware» more  DATE 2004»
15 years 7 months ago
Model-Based Specification and Execution of Embedded Real-Time Systems
Tim Schattkowsky, Wolfgang Müller 0003
81
Voted
DATE
2004
IEEE
153views Hardware» more  DATE 2004»
15 years 7 months ago
Automatic Generation of Validation Stimuli for Application-Specific Processors
O. Goloubeva, Matteo Sonza Reorda, Massimo Violant...