Search Sciweavers | Sciweavers

15416 search results - page 56 / 3084

» Embeddings of Computable Structures

Voted

HOST
2008
IEEE

164views Security Privacy» more HOST 2008»

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

15 years 7 months ago

Download www.cs.bris.ac.uk

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

claim paper

Read More »

Voted

DATE
2006
IEEE

107views Hardware» more DATE 2006»

Disjunctive image computation for embedded software verification

15 years 6 months ago

Download www.cs.wmich.edu

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

claim paper

Read More »

click to vote

ASPDAC
2006
ACM

107views Hardware» more ASPDAC 2006»

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

15 years 6 months ago

Download www.cecs.uci.edu

Guilin Chen, Mahmut T. Kandemir, Feihui Li

claim paper

Read More »

click to vote

ATVA
2005
Springer

118views Hardware» more ATVA 2005»

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

15 years 6 months ago

Download w3.isis.vanderbilt.edu

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

claim paper

Read More »

Voted

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 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers