1204 search results - page 31 / 241 » Parallel concurrent ML |
132
Voted
PPOPP
2012
ACM
13 years 10 months ago
2012
ACM
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...
128
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
138
click to vote
SAC
2000
ACM
15 years 6 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
105
click to vote
IPPS
1997
IEEE
15 years 6 months ago
1997
IEEE
In this paper, we present two new run-time algorithms for the parallelization of loops that have indirect access patterns. The algorithms can handle any type of loop-carried depen...
131
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...