3307 search results - page 167 / 662 » The meaning of concurrent programs |
155
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence g...
130
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
132
click to vote
HPCN
1998
Springer
15 years 8 months ago
1998
Springer
In this paper, we describe a graphical editor GRED as part of the integrated programming environment GRADE that is intended to support designing, debugging and performance tuning o...
127
click to vote
ESEC
1995
Springer
15 years 7 months ago
1995
Springer
This paper presents the results of an exploratory experiment investigating the use of program metrics to predict reachability graph size, reachability graph generation time, and d...
111
click to vote
HIS
2007
15 years 5 months ago
2007
Chemical information processing posseses a variety of valuable properties, such as, robustness, concurrency, faulttolerance, and evolvability. However, it is difficult to predict...