Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors.

Alastair F. Donaldson, Daniel Kroening, Philipp Rmmer

Browse the full TACAS paper archive.