1346 search results - page 225 / 270 » An Interface Model for Parallel Components |
137
click to vote
PC
2006
15 years 4 months ago
2006
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...
183
Voted
ICWS
2009
IEEE
15 years 2 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
172
click to vote
ICDM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--S4 is a general-purpose, distributed, scalable, partially fault-tolerant, pluggable platform that allows programmers to easily develop applications for processing continu...
181
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
169
click to vote
CLUSTER
2009
IEEE
15 years 2 months ago
2009
IEEE
Scientific computing has seen an immense growth in recent years. The Message Passing Interface (MPI) has become the de-facto standard for parallel programming model for distribute...