3656 search results - page 98 / 732 » Parallel programming in Split-C |
140
Voted
ICPP
2006
IEEE
15 years 8 months ago
2006
IEEE
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...
79
Voted
SPAA
2004
ACM
15 years 7 months ago
2004
ACM
A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper pr...
121
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
149
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Advances in fabrication techniques are now enabling new hybrid CPU/FPGA computing resources to be integrated onto a single chip. While these new hybrids promise significant perfor...
ICPPW
2002
IEEE
15 years 7 months ago
2002
IEEE
Different parallelization methods vary in their system requirements, programming styles, efficiency of exploring parallelism, and the application characteristics they can handle....