1499 search results - page 115 / 300 » Chopping Concurrent Programs |
102
Voted
CONCURRENCY
1998
15 years 11 days 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...
116
Voted
PLDI
2012
ACM
13 years 3 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...
204
Voted
POPL
2009
ACM
16 years 1 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...
83
Voted
EUROPAR
2003
Springer
15 years 6 months 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...
CONCUR
2007
Springer
15 years 6 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...