744 search results - page 35 / 149 » Software Transactional Memory on Relaxed Memory Models |
111
click to vote
HPCC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...
ENTCS
2010
14 years 11 months ago
2010
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...
111
click to vote
VLDB
1997
ACM
15 years 6 months ago
1997
ACM
We present a design for multi-version concurrency control and recovery in a main memory database, and describe logical and physical versioning schemes that allow read-only transac...
105
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
119
click to vote
HPCA
2003
IEEE
16 years 2 months ago
2003
IEEE
Java-based middleware, and application servers in particular, are rapidly gaining importance as a new class of workload for commercial multiprocessor servers. SPEC has recognized ...