Sciweavers

2300 search results - page 14 / 460
» Maximally Concurrent Programs
Sort
View
ESOP
2007
Springer
15 years 8 months ago
A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
74
Voted
SIGADA
1999
Springer
15 years 6 months ago
Formal modeling of synchronization methods for concurrent objects in Ada 95
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
82
Voted
ESOP
2008
Springer
15 years 4 months ago
Oracle Semantics for Concurrent Separation Logic
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...
134
Voted
PPOPP
2012
ACM
13 years 10 months ago
Concurrent breakpoints
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...
Chang-Seo Park, Koushik Sen
DAC
2007
ACM
16 years 3 months ago
Implicitly Parallel Programming Models for Thousand-Core Microprocessors
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
Wen-mei W. Hwu, Shane Ryoo, Sain-Zee Ueng, John H....