189 search results - page 11 / 38 » Dynamic Reverse Code Generation for Backward Execution |
SP
2006
IEEE
14 years 1 months ago
2006
IEEE
Linux is the most popular open source project. The Linux random number generator is part of the kernel of all Linux distributions and is based on generating randomness from entrop...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
EMSOFT
2005
Springer
14 years 28 days ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
SIGCOMM
2012
ACM
11 years 9 months ago
2012
ACM
This demo presents MultiNet, a novel method for joining devices to a domestic Wi-Fi network. MultiNet dynamically reconfigures the network to accept each device, rather than con...
DATE
2008
IEEE
14 years 1 months ago
2008
IEEE
Embedded systems are becoming increasingly complex. Besides the additional processing capabilities, they are characterized by high diversity of computational models coexisting in ...