981 search results - page 2 / 197 » Semantics-aware trace analysis |
ISSTA
2012
ACM
11 years 7 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
ICTAI
2002
IEEE
13 years 9 months ago
2002
IEEE
Tracing and performance analysis tools are an important component in the development of high performance applications. Tracing parallel programs with current tracing tools, howeve...
CADE
2010
Springer
13 years 5 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
ECSCW
2011
12 years 4 months ago
2011
Facebook and Twitter have changed the way we consume information, allowing the people we follow to become our “social filters” and determine the content of our information stre...
DAC
2007
ACM
14 years 5 months ago
2007
ACM
The bus tracing is used to catch related signals for further investigation and analysis. However, the trace size of cycleaccurate tracing is large and the trace cycle is shallow u...