651 search results - page 73 / 131 » Precise Analysis of Java Programs Using JOANA |
117
Voted
SCAM
2003
IEEE
15 years 7 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
102
click to vote
SCAM
2007
IEEE
15 years 8 months ago
2007
IEEE
Collection attributes, as defined by Boyland, can be used as a mechanism for concisely specifying cross-referencelike properties such as callee sets, subclass sets, and sets of v...
136
Voted
WCET
2008
15 years 3 months ago
2008
TUBOUND is a conceptually new tool for the worst-case execution time (WCET) analysis of programs. A distinctive feature of TUBOUND is the seamless integration of a WCET analysis c...
115
click to vote
HPDC
1998
IEEE
15 years 6 months ago
1998
IEEE
We describe a methodology that enables the real-time diagnosis of performance problems in complex high-performance distributed systems. The methodology includes tools for generati...
97
Voted
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...