28821 search results - page 78 / 5765 » Distributed and parallel systems |
116
click to vote
AAAI
2000
15 years 4 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...
131
Voted
LCPC
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. Loop fusion is a program transformation that merges multiple loops into one. It is e ective for reducing the synchronization overhead of parallel loops and for improving ...
123
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Most application level fault tolerance schemes in literature are non-adaptive in the sense that the fault tolerance schemes incorporated in applications are usually designed witho...
123
click to vote
ICCCN
2008
IEEE
15 years 9 months ago
2008
IEEE
—Parallel firewalls offer a scalable low latency design for inspecting packets at high speeds. Typically consisting of an array of m firewalls, these systems filter arriving p...