2466 search results - page 165 / 494 » Concurrent Clustered Programming |
131
click to vote
ISPDC
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a package, called Heterogeneous PBLAS (HeteroPBLAS), which is built on top of PBLAS and provides optimized parallel basic linear algebra subprograms for hetero...
114
click to vote
CLUSTER
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a comparative study of the communication middleware systems suitable for aggregating computational clusters with heterogeneous incompatible SANs into a common ...
109
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
102
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
We investigated the relative merits of C++ and Erlang in the implementation of a parallel acoustic ray tracing algorithm for the U.S. Navy. We found a much smaller learning curve ...
126
Voted
GI
2009
Springer
15 years 7 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...