7092 search results - page 613 / 1419 » Parallelizing constraint programs |
185
click to vote
CP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
259
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
148
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces Peer-to-Peer Distributed Computing (P2PDisCo) software, which provides an interface for distributing the computation of Java programs to multiple workstation...
138
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
The standard algorithm for alignment of DNA sequences using dynamic programming has been implemented on the Cray MTA-2 (Multithreaded Architecture-2) at ENRI (Electronic Navigatio...
152
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...