Clank: Architectural support for intermittent computation
暂无分享,去创建一个
[1] Brandon Lucia,et al. Nonvolatile memory is a broken time machine , 2014, MSPC@PLDI.
[2] Kevin Fu,et al. Mementos: system support for long-running computation on RFID-scale devices , 2011, ASPLOS XVI.
[3] Brandon Lucia,et al. Chain: tasks and channels for reliable intermittent programs , 2016, OOPSLA.
[4] Hugh P. McAdams,et al. An 8MHz 75µA/MHz zero-leakage non-volatile logic-based Cortex-M0 MCU SoC exhibiting 100% digital state retention at VDD=0V with <400ns wakeup and sleep transitions , 2013, 2013 IEEE International Solid-State Circuits Conference Digest of Technical Papers.
[5] Somesh Jha,et al. Static analysis and compiler design for idempotent processing , 2012, PLDI.
[6] David Blaauw,et al. A modular 1mm3 die-stacked sensing platform with optical communication and multi-modal energy harvesting , 2012, 2012 IEEE International Solid-State Circuits Conference.
[7] Hugh P. McAdams,et al. An FRAM-Based Nonvolatile Logic MCU SoC Exhibiting 100% Digital State Retention at ${\rm VDD}=$ 0 V Achieving Zero Leakage With ${<}$ 400-ns Wakeup Time for ULP Applications , 2014, IEEE Journal of Solid-State Circuits.
[8] Josep Torrellas,et al. ReVive: cost-effective architectural support for rollback recovery in shared-memory multiprocessors , 2002, ISCA.
[9] Karthikeyan Sankaralingam,et al. Idempotent code generation: Implementation, analysis, and evaluation , 2013, Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).
[10] Luca Benini,et al. Hibernus: Sustaining Computation During Intermittent Supply for Energy-Harvesting Systems , 2015, IEEE Embedded Systems Letters.
[11] Gwo-Chuan Lee,et al. A Mobile Health Monitoring System Using RFID Ring-Type Pulse Sensor , 2009, 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing.
[12] Kevin Fu,et al. Getting Things Done on Computational RFIDs with Energy-Aware Checkpointing and Voltage-Aware Scheduling , 2008, HotPower.
[13] Satish Narayanasamy,et al. BugNet: continuously recording program execution for deterministic replay debugging , 2005, 32nd International Symposium on Computer Architecture (ISCA'05).
[14] Farinaz Koushanfar,et al. Idetic: A high-level synthesis approach for enabling long computations on transiently-powered ASICs , 2013, 2013 IEEE International Conference on Pervasive Computing and Communications (PerCom).
[15] Scott Mahlke,et al. Sentinel scheduling: a model for compiler-controlled speculative execution , 1993 .
[16] Karthikeyan Sankaralingam,et al. Idempotent processor architecture , 2011, 2011 44th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
[17] Narayanan Vijaykrishnan,et al. Architecture exploration for ambient energy harvesting nonvolatile processors , 2015, 2015 IEEE 21st International Symposium on High Performance Computer Architecture (HPCA).
[18] Prabal Dutta,et al. Monjolo: an energy-harvesting energy meter architecture , 2013, SenSys '13.
[19] Arnab Raha,et al. QUICKRECALL: A Low Overhead HW/SW Approach for Enabling Computations across Power Cycles in Transiently Powered Computers , 2014, 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems.
[20] Changhee Jung,et al. Lightweight hardware support for transparent consistency-aware checkpointing in intermittent energy-harvesting systems , 2016, 2016 5th Non-Volatile Memory Systems and Applications Symposium (NVMSA).
[21] Brandon Lucia,et al. A simpler, safer programming and execution model for intermittent systems , 2015, PLDI.
[22] W. Kent Fuchs,et al. CATCH-compiler-assisted techniques for checkpointing , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.
[23] Willy Zwaenepoel,et al. Manetho: Transparent Rollback-Recovery with Low Overhead, Limited Rollback, and Fast Output Commit , 1992, IEEE Trans. Computers.
[24] David Wetherall,et al. RFID sensor networks with the Intel WISP , 2008, SenSys '08.
[25] Amin Ansari,et al. Encore: Low-cost, fine-grained transient fault recovery , 2011, 2011 44th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
[26] John H. Davies. MSP430 Microcontroller Basics , 2008 .
[27] Babak Falsafi,et al. Exploiting reference idempotency to reduce speculative storage overflow , 2006, TOPL.
[28] Yannis Smaragdakis,et al. Pointer Analysis , 2015, Found. Trends Program. Lang..
[29] Matthew Hicks,et al. Intermittent Computation without Hardware Support or Programmer Intervention , 2016, OSDI.
[30] Shan Lu,et al. ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution , 2013, ASPLOS '13.
[31] Brian Randell,et al. Reliability Issues in Computing System Design , 1978, CSUR.
[32] Karthikeyan Sankaralingam,et al. Relax: an architectural framework for software recovery of hardware faults , 2010, ISCA.
[33] Benjamin Ransford,et al. Moo : A Batteryless Computational RFID and Sensing Platform , 2011 .
[34] Devesh Tiwari,et al. Compiler-Directed Lightweight Checkpointing for Fine-Grained Guaranteed Soft Error Recovery , 2016, SC16: International Conference for High Performance Computing, Networking, Storage and Analysis.
[35] Randy H. Katz,et al. Next century challenges: mobile networking for “Smart Dust” , 1999, MobiCom.