3660 search results - page 56 / 732 » Parallel Program Archetypes |
110
click to vote
ESOP
2011
Springer
14 years 3 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
115
click to vote
EUROPAR
2004
Springer
15 years 5 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
104
click to vote
IPPS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
IEEEPACT
1998
IEEE
15 years 4 months ago
1998
IEEE
Method speculation of object-oriented programs attempts to exploit method-level parallelism (MLP) by executing sequential method invocations in parallel, while still maintaining c...
131
click to vote
TRIER
2002
14 years 11 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...