DMCA

Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection

by Santosh Nagarakatte , Sebastian Burckhardt , Milo M. K. Martin , Madanlal Musuvathi
Citations:14 - 2 self