4889 search results - page 565 / 978 » A Refactoring Approach to Parallelism |
200
Voted
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Message Passing Interface (MPI) is a widely used standard for managing coarse-grained concurrency on distributed computers. Debugging parallel MPI applications, however, has alway...
219
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
220
Voted
PPOPP
2006
ACM
16 years 24 days ago
2006
ACM
Performance analysis tools are critical for the effective use of large parallel computing resources, but existing tools have failed to address three problems that limit their scal...
193
Voted
SPAA
2006
ACM
16 years 24 days ago
2006
ACM
Synchronization is often necessary in parallel computing, but it can create delays whenever the receiving processor is idle, waiting for the information to arrive. This is especia...
239
Voted
IPPS
2003
IEEE
16 years 4 days ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...