7092 search results - page 611 / 1419 » Parallelizing constraint programs |
181
Voted
ICA3PP
2005
Springer
15 years 11 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
156
click to vote
SPIN
2007
Springer
16 years 8 days ago
2007
Springer
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...
151
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
166
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
PMOS is an incremental garbage collector designed specifically to reclaim space in a persistent object store. It is complete in that it will, after a finite number of invocations,...
150
Voted
OOPSLA
1995
Springer
15 years 9 months ago
1995
Springer
Object-oriented user interface frameworks are usually implemented in a class-based language. We chose instead to develop a prototype-based language, NewtonScript, for this purpose...