309 search results - page 16 / 62 » Model checking transactional memories |
SPIN
2005
Springer
15 years 7 months ago
2005
Springer
94
Voted
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
125
click to vote
IEEEPACT
2007
IEEE
15 years 8 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...
114
click to vote
LCTRTS
2009
Springer
15 years 8 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...