Sciweavers

4586 search results - page 343 / 918
» Computing stable models in parallel
Sort
View
127
Voted
EUROPAR
2001
Springer
15 years 9 months ago
Self-Organizing Hierarchical Cluster Timestamps
Distributed-system observation tools require an efficient data structure to store and query the partial-order of execution. Such data structures typically use vector timestamps to...
Paul A. S. Ward, David J. Taylor
NIPS
1996
15 years 6 months ago
Interpreting Images by Propagating Bayesian Beliefs
A central theme of computational vision research has been the realization that reliable estimation of local scene properties requires propagating measurements across the image. Ma...
Yair Weiss
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 9 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
SPAA
1994
ACM
15 years 8 months ago
An Optical Simulation of Shared Memory
We present a work-optimal randomized algorithm for simulating a shared memory machine (pram) on an optical communication parallel computer (ocpc). The ocpc model is motivated by t...
Leslie Ann Goldberg, Yossi Matias, Satish Rao
PPL
2008
124views more  PPL 2008»
15 years 4 months ago
Experimental Evaluation of BSP Programming Libraries
The model of bulk-synchronous parallel computation (BSP) helps to implement portable general purpose algorithms while keeping predictable performance on different parallel compute...
Peter Krusche