3441 search results - page 161 / 689 » Parallel Logic Programming Systems |
113
Voted
ICPPW
2005
IEEE
15 years 8 months ago
2005
IEEE
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...
114
click to vote
COCO
2007
Springer
15 years 9 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
129
Voted
SPRINGSIM
2010
15 years 1 months ago
2010
This paper presents how the DUP System, a straightforward POSIX-compatible framework that enables programminglanguage-agnostic parallel and distributed stream processing, can be u...
129
Voted
APPT
2003
Springer
15 years 8 months ago
2003
Springer
Increase in amount of data stored and requirement of fast response time has motivated the research in Parallel Database Systems (PDS). Requirement for correctness of data still rem...
121
Voted
IPPS
2005
IEEE
15 years 8 months 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...