47 search results - page 10 / 10 » Co-design of interleaved memory systems |
POPL
2008
ACM
14 years 5 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
CAV
1992
Springer
13 years 9 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...