696 search results - page 12 / 140 » Isolated Program Execution: An Application Transparent Appro... |
ICSE
2010
IEEE-ACM
14 years 5 days ago
2010
IEEE-ACM
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
IDEAS
2009
IEEE
13 years 5 months ago
2009
IEEE
We consider the class of database programs and address the problem of minimizing the cost of their exchanges with the database server. This cost partly consists of query execution...
ASPLOS
2008
ACM
13 years 9 months ago
2008
ACM
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...