View source for Mirhoseini2013automated

{{publication
|author=Azalia Mirhoseini and Songhori, Ebrahim M. and Farinaz Koushanfar
|url=http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6629262
|doi=10.1109/ISLPED.2013.6629262
|keywords=Battery-less RFID, Energy harvesting, Hardware Checkpointing, High level synthesis
|abstract=<p>We propose a framework that enables intensive computation on ultra-low power devices with discontinuous energy-harvesting supplies. We devise an optimization algorithm that efficiently partitions the applications into smaller computational steps during high-level synthesis. Our system finds lowoverhead checkpoints that minimize recomputation cost due to power losses, then inserts the checkpoints at the design\&rsquo;s registertransfer level. The checkpointing rate is automatically adapted to the source\&rsquo;s realtime behavior. We evaluate our mechanisms on a battery-less RF energy-harvester platform. Extensive experiments targeting applications in medical implant devices demonstrate our approach\&rsquo;s ability to successfully execute complex computations for various supply patterns with low time, energy, and area overheads.</p>
|pages=27 - 32
|month=9
|year=2013
|booktitle=2013 IEEE International Symposium on Low Power Electronics and Design (ISLPED)International Symposium on Low Power Electronics and Design (ISLPED)
|title=Automated checkpointing for enabling intensive applications on energy harvesting devices
|entry=inproceedings
}}