Sciweavers

3107 search results - page 229 / 622
» Parallel Communication
Sort
View
IPPS
2000
IEEE
15 years 10 months ago
ATOLL, a New Switched, High Speed Interconnect in Comparison to Myrinet and SCI
Abstract. While standard processors achieve supercomputer performance, a performance gap exists between the interconnect of MPP's and COTS. Standard solutions like Ethernet ca...
Markus Fischer, Ulrich Brüning, Jörg Klu...
PLDI
2012
ACM
13 years 9 months ago
Reagents: expressing and composing fine-grained concurrency
Efficient communication and synchronization is crucial for finegrained parallelism. Libraries providing such features, while indispensable, are difficult to write, and often ca...
Aaron Turon
CONCUR
2006
Springer
15 years 10 months ago
A Capability Calculus for Concurrency and Determinism
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
Tachio Terauchi, Alex Aiken
IPPS
1999
IEEE
15 years 11 months ago
Transparent Real-Time Monitoring in MPI
MPI has emerged as a popular way to write architecture
Samuel H. Russ, Rashid Jean-Baptiste, Tangirala Sh...
ARTS
1999
Springer
15 years 11 months ago
Process Algebra with Probabilistic Choice
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
Suzana Andova