442 search results - page 35 / 89 » Parallel programming over ChinaGrid |
ICDCS
1991
IEEE
14 years 1 months ago
1991
IEEE
of ‘‘network computers’’ is inherently lessAbstract predictable than that of more traditional distributed memory systems, such as hypercubes [22], since both theFor computa...
PPOPP
2009
ACM
14 years 10 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...
ICS
2010
Tsinghua U.
14 years 9 days ago
2010
Tsinghua U.
As the number of I/O-intensive MPI programs becomes increasingly large, many efforts have been made to improve I/O performance, on both software and architecture sides. On the sof...
PLDI
2012
ACM
12 years 9 days ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...