1370 search results - page 43 / 274 » Synchronization Transformations for Parallel Computing |
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
The availability of high speed networks and improved microprocessor performance have made it possible to build inexpensive cluster of workstations as an appealing platform for par...
TCAD
2008
13 years 8 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
PRDC
2000
IEEE
14 years 1 months ago
2000
IEEE
A synchronous system model is a simple yet powerful distributed system model that reduces the complexity of the design and implementation of dependable distributed applications. H...
IPPS
1998
IEEE
14 years 10 days ago
1998
IEEE
In this paper, we propose several deadlock-free protocols for implementing the generalized alternative construct, where a process non-deterministically chooses between sending or ...
CLUSTER
2008
IEEE
13 years 8 months ago
2008
IEEE
We investigate operating system noise, which we identify as one of the main reasons for a lack of synchronicity in parallel applications. Using a microbenchmark, we measure the no...