Sciweavers

438 search results - page 2 / 88
» date 2009
Sort
View
DATE
2009
IEEE
118views Hardware» more  DATE 2009»
15 years 10 months ago
Variable-latency design by function speculation
David Bañeres, Jordi Cortadella, Michael Ki...
DATE
2009
IEEE
97views Hardware» more  DATE 2009»
15 years 10 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»
15 years 10 months ago
Strengthening properties using abstraction refinement
Mitra Purandare, Thomas Wahl, Daniel Kroening