2251 search results - page 91 / 451 » Specification and Implementation Problems for C |
129
Voted
IEEEHPCS
2010
15 years 2 months ago
2010
This work presents the design and implementation of a massively parallel 3-SAT solver, specifically targeting random problem instances. Our approach is deterministic and features ...
150
Voted
SIGMOD
2012
ACM
13 years 6 months ago
2012
ACM
How-To queries answer fundamental data analysis questions of the form: “How should the input change in order to achieve the desired output”. As a Reverse Data Management probl...
132
click to vote
PODC
1996
ACM
15 years 7 months ago
1996
ACM
We address the problem of the impossibility of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems. We introduce a method for weaken...
161
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Traditional parallel programming methodologies for improving performance assume cache-based parallel systems. However, new architectures, like the IBM Cyclops-64 (C64), b...
179
Voted
CONCURRENCY
2000
15 years 3 months ago
2000
When comparing OpenMP to other parallel programming models, it is easier to choose between OpenMP and MPI than between OpenMP and POSIX Threads (Pthreads). With languages like C a...