1499 search results - page 196 / 300 » Chopping Concurrent Programs |
134
click to vote
PPOPP
2010
ACM
15 years 11 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...
166
Voted
POPL
2009
ACM
15 years 9 months 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...
119
Voted
ICPPW
2009
IEEE
15 years 9 months 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...
117
click to vote
SPIN
2009
Springer
15 years 9 months 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’...
98
Voted
TPHOL
2007
IEEE
15 years 8 months 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...