1194 search results - page 4 / 239 » Programming Support for Distributed Clustercomputing |
LPAR
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
PPPJ
2003
ACM
14 years 18 days ago
2003
ACM
Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...
PDP
1997
IEEE
13 years 11 months ago
1997
IEEE
We investigate the well-known PRAM model of parallel computation as a practical parallel programming model. The two components of this project are a general-purpose PRAM programmin...
IWPC
1996
IEEE
13 years 11 months ago
1996
IEEE
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...