SHIM: a deterministic model for heterogeneous embedded systems.

Stephen A. Edwards, Olivier Tardieu

Browse the full EMSOFT paper archive.