StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions | IEEE Conference Publication | IEEE Xplore