677 search results - page 89 / 136 » Distributed data-parallel computing using a high-level progr... |
115
click to vote
CCGRID
2001
IEEE
15 years 6 months ago
2001
IEEE
To ameliorate the need to spend significant programmer time modifying parallel programs to achieve highperformance, while maintaining compact, comprehensible source codes, this pa...
134
Voted
CPHYSICS
2006
15 years 2 months ago
2006
A new stochastic method for locating the global minimum of a multidimensional function inside a rectangular hyperbox is presented. A sampling technique is employed that makes use ...
125
Voted
PODC
2010
ACM
15 years 6 months ago
2010
ACM
Concurrent collection classes are widely used in multi-threaded programming, but they provide atomicity only for a fixed set of operations. Software transactional memory (STM) pr...
121
click to vote
CONCUR
2004
Springer
15 years 8 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...
122
Voted
POPL
2010
ACM
15 years 27 days ago
2010
ACM
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...