243 search results - page 31 / 49 » Precise Interprocedural Dependence Analysis of Parallel Prog... |
118
click to vote
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
107
click to vote
CSMR
2007
IEEE
15 years 7 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
135
click to vote
FCCM
2002
IEEE
15 years 6 months ago
2002
IEEE
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
101
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
109
click to vote
HPCC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...