Sciweavers

1497 search results - page 14 / 300
» A Computational Model for Message Passing
Sort
View
FM
1997
Springer
126views Formal Methods» more  FM 1997»
14 years 1 months ago
Reconciling Real-Time with Asynchronous Message Passing
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
Manfred Broy, Radu Grosu, Cornel Klein
ICS
2005
Tsinghua U.
14 years 2 months ago
Parallel sparse LU factorization on second-class message passing platforms
Several message passing-based parallel solvers have been developed for general (non-symmetric) sparse LU factorization with partial pivoting. Due to the fine-grain synchronizatio...
Kai Shen
IPPS
1999
IEEE
14 years 1 months ago
Hiding Communication Latency in Reconfigurable Message-Passing Environments
Communication overhead is one of the most important factors affecting the performance of message passing multicomputers. We present evidence (through the analysis of several paral...
Ahmad Afsahi, Nikitas J. Dimopoulos
GRID
2000
Springer
14 years 21 days ago
Experiments with Migration of Message-Passing Tasks
Kamil Iskra, Zeger W. Hendrikse, G. Dick van Albad...
IPPS
2008
IEEE
14 years 3 months ago
Receiver-initiated message passing over RDMA Networks
Providing point-to-point messaging-passing semantics atop Put/Get hardware traditionally involves implementing a protocol comprising three network latencies. In this paper, we ana...
Scott Pakin