603 search results - page 5 / 121 » concurrency 2010 |
84
Voted
CONCURRENCY
2010
15 years 26 days ago
2010
CONCURRENCY
2010
15 years 26 days ago
2010
71
Voted
ENTCS
2010
15 years 25 days ago
2010
90
Voted
ENTCS
2006
15 years 23 days ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...