47 search results - page 10 / 10 » Co-design of interleaved memory systems |
199
Voted
POPL
2008
ACM
16 years 21 days 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...
108
Voted
CAV
1992
Springer
15 years 4 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...