1150 search results - page 4 / 230 » Advanced MPI Programming |
ICCS
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. Current development processes for parallel software often fail to deliver portable software. This is because these processes usually require a tedious tuning phase to del...
PC
2007
13 years 10 months ago
2007
The MPI-2 Standard has carefully specified the interaction between MPI and usercreated threads. The goal of this specification is to allow users to write multithreaded MPI progr...
HICSS
1998
IEEE
14 years 3 months ago
1998
IEEE
The last several years saw an emergence of standardization activities for real-time systems including standardization of operating systems series of POSIX standards 1 , of communi...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
The results produced by five different MPI benchmark programs on an SGI Altix 3700 are analyzed and compared. There are significant differences in the results for some MPI operati...
PVM
2007
Springer
14 years 5 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...