2927 search results - page 83 / 586 » An OR Parallel Prolog Model for Distributed Memory Systems |
HPCA
2002
IEEE
14 years 9 months ago
2002
IEEE
Clusters of high-end workstations and PCs are currently used in many application domains to perform large-scale computations or as scalable servers for I/O bound tasks. Although c...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
The memory hierarchy of most multicore systems contains one or more levels of cache that is shared among multiple cores. The shared-cache architecture presents many opportunities f...
AAAI
2000
13 years 10 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
SPRINGSIM
2010
13 years 7 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...
CEC
2010
IEEE
2010
IEEE
A binary Particle Swarm Optimization approach to fault diagnosis in parallel and distributed systems
13 years 7 months ago
— The efficient diagnosis of hardware and software faults in parallel and distributed systems remains a challenge in today’s most prolific decentralized environments. System-...