28821 search results - page 78 / 5765 » Distributed and parallel systems |
127
Voted
AAAI
2000
15 years 5 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...
145
click to vote
LCPC
1993
Springer
15 years 8 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 ...
131
click to vote
IPPS
2007
IEEE
15 years 10 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...
136
click to vote
ICCCN
2008
IEEE
15 years 10 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...