From High-Level Specification to High-Performance Code [Scanning the Issue] | IEEE Journals & Magazine | IEEE Xplore