Sciweavers

2927 search results - page 4 / 586
» An OR Parallel Prolog Model for Distributed Memory Systems
Sort
View
96
Voted
SPAA
1992
ACM
15 years 6 months ago
Subset Barrier Synchronization on a Private-Memory Parallel System
A global barrier synchronizes all processors in a parallel system. This paper investigates algorithms that allow disjoint subsets of processors to synchronize independently and in...
Anja Feldmann, Thomas R. Gross, David R. O'Hallaro...
COORDINATION
2007
Springer
15 years 8 months ago
A Prolog-Based Language for Workflow Programming
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
Steve Gregory, Martha Paschali
HPCA
1997
IEEE
15 years 6 months ago
Global Address Space, Non-Uniform Bandwidth: A Memory System Performance Characterization of Parallel Systems
Many parallel systems offer a simple view of memory: all storage cells are addresseduniformly. Despite a uniform view of the memory, the machines differsignificantly in theirmemo...
Thomas Stricker, Thomas R. Gross
ENTCS
2008
118views more  ENTCS 2008»
15 years 28 days ago
Shared Hash Tables in Parallel Model Checking
In light of recent shift towards shared-memory systems in parallel explicit model checking, we explore relative advantages and disadvantages of shared versus private hash tables. ...
Jiri Barnat, Petr Rockai