212 search results - page 3 / 43 » The Impact of Memory Models on Software Reliability in Multi... |
VEE
2009
ACM
14 years 3 days ago
2009
ACM
Runtime monitoring support serves as a foundation for the important tasks of providing security, performing debugging, and improving performance of applications. Often runtime mon...
ICPP
1995
IEEE
13 years 8 months ago
1995
IEEE
Software barriers have been designed and evaluated for barrier synchronization in large-scale shared-memory multiprocessors, under the assumption that all processorsreach the sync...
LCPC
2005
Springer
13 years 10 months ago
2005
Springer
POPL
2010
ACM
14 years 2 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
HIPC
2009
Springer
13 years 3 months ago
2009
Springer
Software transactional memory (STM) is an emerging concurrency control mechanism for shared memory accesses. Early abort is one of the important techniques to improve the executio...