7 search results - page 2 / 2 » Test-first Java concurrency for the classroom |
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
ASPLOS
2009
ACM
14 years 6 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...