372 search results - page 12 / 75 » On Codings of Traces |
153
Voted
HICSS
2011
IEEE
14 years 7 months ago
2011
IEEE
We propose XTRec, a primitive that can record the instruction-level execution trace of a commodity computing system. Our primitive is resilient to compromise to provide integrity ...
168
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
133
Voted
CGO
2003
IEEE
15 years 9 months ago
2003
IEEE
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...
118
Voted
IWPC
2002
IEEE
15 years 8 months ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...
130
Voted
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Tracing the lineage of data is an important requirement for establishing the quality and validity of data. Recently, the problem of data provenance has been increasingly addressed...