2943 search results - page 248 / 589 » Software Implementation of Synchronous Programs |
145
Voted
IEEEPACT
2005
IEEE
15 years 9 months ago
2005
IEEE
Transactional Coherence and Consistency (TCC) is a novel coherence scheme for shared memory multiprocessors that uses programmer-defined transactions as the fundamental unit of p...
136
Voted
JAVA
2001
Springer
15 years 8 months ago
2001
Springer
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...
107
Voted
PPOPP
2009
ACM
15 years 8 months ago
2009
ACM
Boosted transactions offer an attractive method that enables programmers to create larger transactions that scale well and offer deadlock-free guarantees. However, as boosted tran...
105
Voted
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
153
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...