2266 search results - page 173 / 454 » Generalizing parametric timing analysis |
178
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Characterizing shared-memory applications provides insight to design efficient systems, and provides awareness to identify and correct application performance bottlenecks. Configu...
162
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
162
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
161
click to vote
CGO
2008
IEEE
15 years 8 months ago
2008
IEEE
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...
184
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The analysis of gene sets has become a popular topic in recent times, with researchers attempting to improve the interpretability and reproducibility of their microarr...