71 search results - page 7 / 15 » Symbolic Execution of Virtual Devices |
ARCS
2004
Springer
15 years 3 months ago
2004
Springer
: We introduce the concept of an operating system for platforms that consist beside memory and peripheral devices of FPGAs as the only computational resource. Applications can be d...
MOBISYS
2008
ACM
15 years 24 days ago
2008
ACM
Kimberley enables rapid software provisioning of fixed infrastructure for transient use by a mobile device. It uses virtual machine (VM) technology, but avoids the performance cha...
SBMF
2009
Springer
15 years 5 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
SIGMETRICS
1995
ACM
15 years 2 months ago
1995
ACM
Talisman is a simulator that models the execution semantics and timing of a multicomputer. Talisman is unique in combining high semantic accuracy, high timing accuracy, portabilit...
115
click to vote
ISCA
2012
IEEE
13 years 27 days ago
2012
IEEE
The reliability of future processors is threatened by decreasing transistor robustness. Current architectures focus on delivering high performance at low cost; lifetime device rel...