An Execution Model for Hardware/Software Compilation and its System-Level Realization | IEEE Conference Publication | IEEE Xplore