Sciweavers

526 search results - page 2 / 106
» date 2008
Sort
View
41
Voted
DATE
2008
IEEE
67views Hardware» more  DATE 2008»
15 years 4 months ago
MCjammer: Adaptive Verification for Multi-core Designs
Ilya Wagner, Valeria Bertacco
46
Voted
DATE
2008
IEEE
133views Hardware» more  DATE 2008»
15 years 4 months ago
Model Checking of Analog Systems using an Analog Specification Language
Sebastian Steinhorst, Lars Hedrich