1499 search results - page 142 / 300 » Chopping Concurrent Programs |
CAV
2007
Springer
14 years 5 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...
HPCN
1998
Springer
14 years 3 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...
PLDI
1990
ACM
14 years 2 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
ESEC
1995
Springer
14 years 2 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...
HIS
2007
14 years 6 days ago
2007
Chemical information processing posseses a variety of valuable properties, such as, robustness, concurrency, faulttolerance, and evolvability. However, it is difficult to predict...