981 search results - page 29 / 197 » Semantics-aware trace analysis |
157
click to vote
DAGSTUHL
2001
15 years 3 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
111
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
113
click to vote
ASPLOS
2004
ACM
15 years 7 months ago
2004
ACM
Tracing garbage collectors traverse references from live program variables, transitively tracing out the closure of live objects. Memory accesses incurred during tracing are essen...
123
Voted
HICSS
1994
IEEE
15 years 6 months ago
1994
IEEE
The development of accurate trace-driven simulation models has become a key activity in the design of new high-performance computer systems. Tracedriven simulation is fast) enabli...
121
click to vote
ARCS
2006
Springer
15 years 5 months ago
2006
Springer
While trace cache, value prediction, and prefetching have been shown to be effective in the single-threaded superscalar, there has been no analysis of these techniques in a Simulta...