1724 search results - page 309 / 345 » Abstract Interpreters for Free |
SOSP
2005
ACM
14 years 6 months ago
2005
ACM
This paper presents the design and an evaluation of Mondrix, a version of the Linux kernel with Mondriaan Memory Protection (MMP). MMP is a combination of hardware and software th...
ICDM
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract -- Detection of execution anomalies is very important for the maintenance, development, and performance refinement of large scale distributed systems. Execution anomalies ...
INFOCOM
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—We are interested in the sensor networks for scientific applications to cover and measure statistics on the sea surface. Due to flows and waves, the sensor nodes may g...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— In robot teleoperation scenarios, the interface between the user and the robot is undoubtedly of high importance. In this paper, electromyographic (EMG) signals from mu...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...