309 search results - page 16 / 62 » Model checking transactional memories |
SPIN
2005
Springer
14 years 29 days ago
2005
Springer
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
FMICS
2008
Springer
13 years 8 months ago
2008
Springer
IEEEPACT
2007
IEEE
14 years 1 months ago
2007
IEEE
With the advent of chip-multiprocessors, we are faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged as a promising progr...
LCTRTS
2009
Springer
14 years 2 months ago
2009
Springer
Embedded systems, like general-purpose systems, can benefit from parallel execution on a symmetric multicore platform. Unfortunately, concurrency issues present in general-purpos...