1027 search results - page 129 / 206 » Callgraph properties of executables |
128
click to vote
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
113
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Today's processors provide a rich source of statistical information on application execution through hardware counters. In this paper, we explore the utilization of these sta...
163
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
124
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
147
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we present a new approach to performing important classes of genomic computations (e.g., search for homologous genes) that makes a significant step towards privacy...