2563 search results - page 397 / 513 » Parallel matrix algorithms and applications |
SC
2003
ACM
15 years 6 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
108
click to vote
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
In the study of PetaFlop project, Processor-In-Memory array was proposed to be a target architecture in achieving 1015 floating point operations per second computing performance. ...
81
Voted
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
72
Voted
DEBS
2007
ACM
15 years 4 months ago
2007
ACM
Recently, the publish-subscribe communication model has attracted the attention of developers as a viable alternative to traditional communication schemas, like request/reply, for...
114
click to vote
ICDCS
2010
IEEE
15 years 2 months ago
2010
IEEE
—Server consolidation based on virtualization is a key ingredient for improving power efficiency and resource utilization in cloud computing infrastructures. However, to provide...