Vertical Migration for Performance Enhancement in Layered Hardware/Firmware/Software Systems | IEEE Journals & Magazine | IEEE Xplore