587 search results - page 56 / 118 » Improving the Java memory model using CRF |
141
click to vote
HPCA
1999
IEEE
15 years 6 months ago
1999
IEEE
Much research has been done in fast communication on clusters and in protocols for supporting software shared memory across them. However, the end performance of applications that...
117
click to vote
ISCA
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper quantifies the effect of architectural design decisions on the performance of TxLinux. TxLinux is a Linux kernel modified to use transactions in place of locking prim...
122
click to vote
MICRO
2008
IEEE
15 years 1 months ago
2008
IEEE
This paper quantifies the effect of architectural design decisions on the performance of TxLinux. TxLinux is a Linux kernel modified to use transactions in place of locking primit...
114
click to vote
STOC
2005
ACM
16 years 2 months ago
2005
ACM
The Write-All problem for an asynchronous shared-memory system has the objective for the processes to update the contents of a set of shared registers, while minimizing the mber o...
121
click to vote
ENTCS
2006
15 years 1 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...