5562 search results - page 705 / 1113 » Implementing Parallel Cell-DEVS |
160
click to vote
SAS
2007
Springer
16 years 28 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
191
click to vote
TACAS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
186
click to vote
VLDB
2007
ACM
16 years 28 days ago
2007
ACM
In this paper we describe the design and implementation of CellSort − a high performance distributed sort algorithm for the Cell processor. We design CellSort as a distributed b...
230
click to vote
CCECE
2006
IEEE
16 years 26 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
148
click to vote
CLUSTER
2006
IEEE
16 years 26 days ago
2006
IEEE
The RandomAccess benchmark as defined by the High Performance Computing Challenge (HPCC) tests the speed at which a machine can update the elements of a table spread across globa...