Sciweavers

15416 search results - page 56 / 3084
» Embeddings of Computable Structures
Sort
View
84
Voted
HOST
2008
IEEE
15 years 7 months ago
Reassessing the TCG Specifications for Trusted Computing in Mobile and Embedded Systems
Johann Großschädl, Tobias Vejda, Dan Pa...
75
Voted
DATE
2006
IEEE
107views Hardware» more  DATE 2006»
15 years 6 months ago
Disjunctive image computation for embedded software verification
Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...