3607 search results - page 216 / 722 » Distributed Parallel Computing Using Windows Desktop Systems |
130
Voted
ICPPW
2002
IEEE
15 years 7 months ago
2002
IEEE
Distributed Shared Memory (DSM) systems provide a logically shared memory over physically distributed memory to enable parallel computation on Networks of Workstations (NOWs). In ...
134
Voted
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
120
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper presents language features for High Performance Fortran HPF to specify non-local access patterns of distributed arrays, called halos, and to control the communication as...
107
Voted
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
106
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
The availability of high speed networks and improved microprocessor performance have made it possible to build inexpensive cluster of workstations as an appealing platform for par...