981 search results - page 19 / 197 » Semantics-aware trace analysis |
102
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
98
Voted
PDP
2009
IEEE
15 years 8 months ago
2009
IEEE
PsycoTrace is a set of tools to protect a process P from attacks that alter P self as specified by its source code. P self is specified in terms of legal traces of system calls ...
103
Voted
ETRA
2000
ACM
15 years 5 months ago
2000
ACM
This paper describes EyeTracer, an interactive environment for manipulating, viewing, and analyzing eye-movement protocols. EyeTracer augments the typical functionality of such sy...
109
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
92
Voted
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— Correct and efficient estimation of the Hurst parameter of long-range dependent (LRD) video traces is important in traffic analysis. The low computational cost and th...