| Title: | Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors |
|---|---|
| Links: | Document as PDF |
| Authors: | Alastair Donaldson |
| Daniel Kroening EMail | |
| Philipp Ruemmer | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{dkr2010,
AUTHOR = { Donaldson, Alastair
and Kroening, Daniel
and Ruemmer, Philipp },
TITLE = { Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors },
BOOKTITLE = { Proceedings of TACAS 2010 },
NOTE = { To appear. },
PUBLISHER = { Springer },
SERIES = { LNCS },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.