981 search results - page 20 / 197 » Semantics-aware trace analysis |
ATS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract: As a result of variations in the fabrication process, different memory components are produced with different operational characteristics, a situation that complicates th...
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—With the wide spread deployment of wireless LANs (WLANs), it is becoming necessary to conduct analysis of libraries of measurements taken from such operational networks. The ava...
111
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
For many performance analysis problems, the ability to reason across traces is invaluable. However, due to non-determinism in the OS and virtual machines, even two identical runs ...
110
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
155
Voted
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Memory trace analysis is an important technology for architecture research, system software (i.e., OS, compiler) optimization, and application performance improvements. Many appro...