309 search results - page 16 / 62 » Model checking transactional memories |
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
TACAS
2000
Springer
15 years 3 months ago
2000
Springer
FMICS
2008
Springer
15 years 26 days ago
2008
Springer
103
click to vote
IEEEPACT
2007
IEEE
15 years 6 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
15 years 6 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...