13631 search results - page 352 / 2727 » Event-Based Performance Analysis |
134
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Chip-package thermal analysis is necessary for the design and synthesis of reliable, high-performance, low-power, compact integrated circuits (ICs). Many methods of IC ...
129
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
133
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Burstiness and temporal dependence in service processes are often found in multi-tier architectures and storage devices and must be captured accurately in capacity planning models...
131
click to vote
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
151
click to vote
ISSTA
1993
ACM
15 years 8 months ago
1993
ACM
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...