PADTAD 2006: Portland, Maine, USA

State of practice

Stressing concurrent programs

Deadlock detection

Grid and races

a service of Schloss Dagstuhl - Leibniz Center for Informatics