619 search results - page 14 / 124 » Programming Distributed Memory Sytems Using OpenMP |
145
Voted
PPOPP
2009
ACM
16 years 1 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...
120
Voted
EUROPAR
2008
Springer
15 years 2 months ago
2008
Springer
We present a distributed index data structure and algorithms devised to support parallel query processing of multimedia content in search engines. We present a comparative study wi...
103
Voted
ICPP
2005
IEEE
15 years 6 months ago
2005
IEEE
SGI recently introduced the Altix 3700. In contrast to previous SGI systems, the Altix uses a modified version of the open source Linux operating system and the latest Intel IA-64...
100
Voted
IJHPCN
2006
15 years 1 months ago
2006
As symmetric multiprocessors become commonplace, the interconnection networks and the communication system software in clusters of multiprocessors become critical to achieving high...
138
Voted
CCGRID
2003
IEEE
15 years 6 months ago
2003
IEEE
Increasingly large-scale clusters of PC/WS continue to become majority platform in HPC field. Such a commodity cluster environment, there may be incremental upgrade due to severa...