1499 search results - page 115 / 300 » Chopping Concurrent Programs |
199
click to vote
CONCURRENCY
1998
15 years 7 months ago
1998
This paper presents our experience developing applications in Jade, a portable, implicitly parallel programming language designed for exploiting task-level concurrency. Jade progr...
223
click to vote
PLDI
2012
ACM
13 years 10 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
355
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
173
click to vote
EUROPAR
2003
Springer
16 years 20 days ago
2003
Springer
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
201
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...