71 search results - page 10 / 15 » Symbolic Execution of Virtual Devices |
106
click to vote
COMCOM
2000
14 years 10 months ago
2000
Service provisioning is currently a challenging issue to offer future telecommunication services efficiently and at the same time in a flexible and user friendly manner. As a cont...
154
click to vote
VEE
2012
ACM
13 years 6 months ago
2012
ACM
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...
132
click to vote
VEE
2012
ACM
13 years 6 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
118
click to vote
WAC
2004
Springer
15 years 3 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
USENIX
2007
15 years 24 days ago
2007
—People increasingly put more than one OSes into their computers and devices like mobile phones. Multi-boot and virtualization are two common technologies for this purpose. In th...