113 search results - page 3 / 23 » A Next-Generation Platform for Analyzing Executables |
ASPLOS
2011
ACM
12 years 9 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
ASPLOS
2010
ACM
14 years 19 days ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...
PADS
2006
ACM
13 years 11 months ago
2006
ACM
Simulation is a low cost alternative to experimentation on real-world physical systems. Grid technology enables coordinated use of and secure access to distributed computing resou...
ICIDS
2009
Springer
14 years 10 days ago
2009
Springer
We suggest harvesting the power of multiplayer design to bridge content across different media platforms and develop player-driven cross-media experiences. This paper first argues ...
ICDIM
2007
IEEE
13 years 9 months ago
2007
IEEE
Users in ubiquitous and pervasive computing environments will be much more empowered in ways to access and to control their navigation. Handover, the vital event in which a user c...