Specifying and compiling applications for RaPiD | IEEE Conference Publication | IEEE Xplore