Sciweavers

526 search results - page 2 / 106
» date 2008
Sort
View
70
Voted
DATE
2008
IEEE
67views Hardware» more  DATE 2008»
15 years 10 months ago
MCjammer: Adaptive Verification for Multi-core Designs
Ilya Wagner, Valeria Bertacco
93
Voted
DATE
2008
IEEE
86views Hardware» more  DATE 2008»
15 years 10 months ago
Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis
Andrey Mokhov, Alexandre Yakovlev
90
Voted
DATE
2008
IEEE
133views Hardware» more  DATE 2008»
15 years 10 months ago
Model Checking of Analog Systems using an Analog Specification Language
Sebastian Steinhorst, Lars Hedrich