71 search results - page 4 / 15 » Symbolic Execution of Virtual Devices |
SIGOPSE
2000
ACM
15 years 2 months ago
2000
ACM
The role of small devices in the emerging all-connected computer infrastructure is growing. So are the requirements that the application execution environments face. Portability, ...
105
click to vote
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
Software for resource constrained embedded devices is often implemented in the Java programming language because the Java compiler and virtual machine provide enhanced safety, por...
94
Voted
MOBICOM
2004
ACM
15 years 3 months ago
2004
ACM
The progress of mobile device technology unfolds a new spectrum of applications that challenges conventional infrastructure models. Most of these devices are perceived by their us...
ANSS
1997
IEEE
15 years 2 months ago
1997
IEEE
Existing performance analysis techniques have limitations when used on distributed virtual reality systems, including a lack of support for the measurement of interaction latency....
ASPLOS
2006
ACM
15 years 4 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...