Sciweavers

15416 search results - page 56 / 3084

» Embeddings of Computable Structures

137

HOST
2008
IEEE

164views Security Privacy» more HOST 2008»

Reassessing the TCG Specifications for Trusted Computing in Mobile and Embedded Systems

16 years 18 days ago

Reassessing the TCG Specifications for Trusted Computing in Mobile and Embedded Systems

Download www.cs.bris.ac.uk

Johann Großschädl, Tobias Vejda, Dan Pa...

claim paper

Read More »

120

DATE
2006
IEEE

107views Hardware» more DATE 2006»

Disjunctive image computation for embedded software verification

16 years 6 days ago

Disjunctive image computation for embedded software verification

Download www.cs.wmich.edu

Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...

claim paper

Read More »

113

ASPDAC
2006
ACM

107views Hardware» more ASPDAC 2006»

Energy-aware computation duplication for improving reliability in embedded chip multiprocessors

16 years 4 days ago

Energy-aware computation duplication for improving reliability in embedded chip multiprocessors

Download www.cecs.uci.edu

Guilin Chen, Mahmut T. Kandemir, Feihui Li

claim paper

Read More »

123

ATVA
2005
Springer

118views Hardware» more ATVA 2005»

Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach

15 years 11 months ago

Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach

Download w3.isis.vanderbilt.edu

A. Dubey, X. Wu, H. Su, T. J. Koo

claim paper

Read More »

121

CASES
2008
ACM

73views System Software» more CASES 2008»

Highly energy and performance efficient embedded computing through approximately correct arithmetic: a mathematical foundation a

15 years 8 months ago

Highly energy and performance efficient embedded computing through approximately correct arithmetic: a mathematical foundation a

Download www.cs.rice.edu

Lakshmi N. Chakrapani, Kirthi Krishna Muntimadugu,...

claim paper

Read More »

« Prev « First page 56 / 3084 Last » Next »