651 search results - page 98 / 131 » Precise Analysis of Java Programs Using JOANA |
153
click to vote
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
115
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
144
Voted
CASES
2005
ACM
15 years 4 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
155
click to vote
PPDP
2010
Springer
15 years 17 days ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
141
click to vote
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...