1141 search results - page 45 / 229 » Compiler-Directed Performance Model Construction for Paralle... |
133
Voted
CL
2007
Springer
15 years 15 days ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
108
Voted
PDP
1996
IEEE
15 years 4 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
98
Voted
ISPA
2004
Springer
15 years 5 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
95
Voted
RECONFIG
2008
IEEE
15 years 7 months ago
2008
IEEE
The growing trend towards adoption of flexible and heterogeneous, parallel computing architectures has increased the challenges faced by the programming community. We propose a me...
SC
1991
ACM
15 years 4 months ago
1991
ACM
In cache based multiprocessors a protocol must maintain coherence among replicated copies of shared writable data. In delayed consistency protocols the effect of out-going and in-...