1194 search results - page 87 / 239 » Programming Support for Distributed Clustercomputing |
144
Voted
IASTEDSEA
2004
15 years 3 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
141
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
126
Voted
HPCA
2006
IEEE
16 years 2 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
157
Voted
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...