Timing Analysis of Parallel Software Using Abstract Execution.

Andreas Gustavsson, Jan Gustafsson, Bjrn Lisper

Browse the full VMCAI paper archive.