7456 search results - page 364 / 1492 » Parallelism in Logic Programming |
271
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
143
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
141
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Targeted optimization of program segments can provide an additional program speedup over the highest default optimization level, such as -O3 in GCC. The key challenge is how to au...
178
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
Commodity computer clusters are often composed of hundreds of computing nodes. These generally off-the-shelf systems are not designed for high reliability. Node failures therefore...
155
Voted
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...