1499 search results - page 196 / 300 » Chopping Concurrent Programs |
172
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
Exploiting the emerging reality of affordable multi-core architeces through providing programmers with simple abstractions that would enable them to easily turn their sequential p...
210
click to vote
POPL
2009
ACM
16 years 26 days ago
2009
ACM
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
182
click to vote
ICPPW
2009
IEEE
16 years 22 days ago
2009
IEEE
— Cell Superscalar (CellSs) provides a simple, flexible and easy programming approach for the Cell Broadband Engine (Cell/B.E.) that automatically exploits the inherent concurre...
160
Voted
SPIN
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
137
click to vote
TPHOL
2007
IEEE
16 years 10 days ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...