Dependable Multithreaded Processing Using Runtime Validation.

Kaiyu Chen, Sharad Malik

Browse the full PRDC paper archive.