71 search results - page 10 / 15 » Symbolic Execution of Virtual Devices |
120
click to vote
COMCOM
2000
15 years 5 days 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...
172
click to vote
VEE
2012
ACM
13 years 8 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...
150
click to vote
VEE
2012
ACM
13 years 8 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...
138
click to vote
WAC
2004
Springer
15 years 5 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 2 months 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...