Toward Carbon-Neutral Edge Computing: Greening Edge AI by Harnessing Spot and Future Carbon Markets | IEEE Journals & Magazine | IEEE Xplore