Sciweavers

15416 search results - page 56 / 3084
» Embeddings of Computable Structures
Sort
View
94
Voted
DATE
2006
IEEE
107views Hardware» more  DATE 2006»
15 years 9 months ago
Disjunctive image computation for embedded software verification
Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...
81
Voted
ASPDAC
2006
ACM
107views Hardware» more  ASPDAC 2006»
15 years 9 months ago
Energy-aware computation duplication for improving reliability in embedded chip multiprocessors
Guilin Chen, Mahmut T. Kandemir, Feihui Li