5235 search results - page 121 / 1047 » Analysis of Multithreaded Programs |
IWMM
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
116
click to vote
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
112
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...
112
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...
119
click to vote
JAVA
2001
Springer
15 years 6 months ago
2001
Springer
Rapid commoditization of advanced hardware and progress of networking technology is now making wide area high-performance computing a.k.a. the ‘Grid’ Computing a reality. Sinc...