Sciweavers

438 search results - page 2 / 88
» date 2009
Sort
View
DATE
2009
IEEE
118views Hardware» more  DATE 2009»
14 years 4 months ago
Variable-latency design by function speculation
David Bañeres, Jordi Cortadella, Michael Ki...
DATE
2009
IEEE
97views Hardware» more  DATE 2009»
14 years 4 months ago
Mode-based reconfiguration of critical software component architectures
Etienne Borde, Grégory Haïk, Laurent P...
DATE
2009
IEEE
92views Hardware» more  DATE 2009»
14 years 4 months ago
Strengthening properties using abstraction refinement
Mitra Purandare, Thomas Wahl, Daniel Kroening