250 search results - page 17 / 50 » Static Probabilistic Timing Analysis for Multi-path Programs |
CC
2005
Springer
15 years 4 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
104
click to vote
APAQS
2001
IEEE
15 years 2 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
133
click to vote
CGO
2011
IEEE
14 years 2 months ago
2011
IEEE
—Many program analyses benefit, both in precision and performance, from precise pointer analysis. An important dimension of pointer analysis precision is flow-sensitivity, whic...
CASES
2009
ACM
15 years 5 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
110
Voted
RTCSA
2003
IEEE
15 years 4 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...