7456 search results - page 183 / 1492 » Parallelism in Logic Programming |
145
click to vote
SC
1991
ACM
15 years 10 months ago
1991
ACM
In cache based multiprocessors a protocol must maintain coherence among replicated copies of shared writable data. In delayed consistency protocols the effect of out-going and in-...
181
click to vote
IJWGS
2007
15 years 6 months ago
2007
: Grid computing is becoming more and more attractive for providing a convenient uniform platform for coordinating highly distributed and heterogeneous resources and services. In t...
167
click to vote
EUROPAR
1998
Springer
15 years 10 months ago
1998
Springer
Instruction Balanced Time Slicing IBTS allows multiple parallel jobs to be scheduled in a manner akin to the well-known gang scheduling scheme in parallel computers. IBTS however a...
142
click to vote
PPOPP
2003
ACM
15 years 11 months ago
2003
ACM
In an intelligent memory architecture, the main memory of a computer is enhanced with many simple processors. The result is a highly-parallel, heterogeneous machine that is able t...
166
click to vote
SIMUTOOLS
2008
15 years 7 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...