7456 search results - page 356 / 1492 » Parallelism in Logic Programming |
175
click to vote
HPCN
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Ion recombination in nonpolar liquids is an important problem in radiation chemistry. We have designed and implemented a parallel Monte Carlo simulation for this computat...
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...
162
click to vote
TPHOL
2007
IEEE
16 years 29 days ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
185
click to vote
ENTCS
2002
15 years 6 months ago
2002
Non-deterministic computations greatly enhance the expressive power of functional logic programs, but are often computationally expensive. We analyze a programming technique that ...
267
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We present an overview of our ongoing work on parallelizing self-adjusting-computation techniques. In self-adjusting computation, programs can respond to changes to their data (e....