121 search results - page 4 / 25 » Language Support for Synchronous Parallel Critical Sections |
ESOP
2011
Springer
13 years 2 days ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
ICDCS
2005
IEEE
14 years 2 months ago
2005
IEEE
The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critica...
WECWIS
2006
IEEE
14 years 2 months ago
2006
IEEE
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
IPPS
1999
IEEE
14 years 26 days ago
1999
IEEE
Current language mechanisms for concurrency are largely isolated to the domain of single programs. Furthermore, increasing interest in concurrent programming encourages further res...
CASES
2007
ACM
14 years 17 days ago
2007
ACM
Many MPSoC applications are loop-intensive and amenable to automatic parallelization with suitable compiler support. One of the key components of any compiler-parallelized code is...