, ). -Automating efficient variable-grained resiliency for lowpower IoT systems, International Symposium on Code Generation and Optimization, pp.38-49, 2018.
, Hibernus++: a self-calibrating and adaptive system for transiently-powered embedded devices, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.35, pp.1968-1980, 2016.
, ). -Hibernus: Sustaining computation during intermittent supply for energy-harvesting systems, IEEE Embedded Systems Letters, vol.7, pp.15-18, 2015.
, ). -HarvOS: Efficient code instrumentation for transiently-powered embedded sensing, 16th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), pp.209-220, 2017.
, Rohou (E.) et Gamatié (A.). -Energy-efficient memory mappings based on partial WCET analysis and multi-retention time STT-RAM, 26th International Conference on Real-Time Networks and Systems (RTNS), pp.1-11, 2018.
, Rohou (E.) et Gamatié (A.). -Partial worst-case execution time analysis, ComPAS: Conférence d'informatique en Parallélisme, 2018.
). -Chain: tasks and channels for reliable intermittent programs, ACM SIGPLAN Noticesvolume, vol.51, pp.514-530, 2016. ,
). -Termination checking and task decomposition for task-based intermittent programs, 27th International Conference on Compiler Construction, pp.116-127, 2018. ,
, ). -The IoT energy challenge: A software perspective, IEEE Embedded Systems Letters, vol.10, pp.53-56, 2018.
, Static energy consumption analysis of LLVM IR programs. Computing Research Repository, arXiv, pp.1-12, 2014.
Ermedahl (A.) et Lisper (B.). -The Mälardalen WCET benchmarks: Past, present and future, 10th International Workshop on Worst-Case Execution Time Analysis (WCET) ,
, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2010.
Rouxel (B.) et Puaut (I.). -The Heptane static worst-case execution time estimation tool, 17th International Workshop on Worst-Case Execution Time Analysis (WCET), vol.8, p.12, 2017. ,
, QuickRecall: A low overhead HW/SW approach for enabling computations across power cycles in transiently powered computers, 27th International Conference on VLSI Design and 13th International Conference on Embedded Systems, pp.330-335, 2014.
). -The program structure tree: Computing control regions in linear time, ACM SigPlan Noticesvolume, vol.29, pp.171-185, 1994. ,
, LLVM: A compilation framework for lifelong program analysis & transformation, International symposium on Code generation and optimization: feedback-directed and runtime optimization, p.75, 2004.
, ). -Performance analysis of embedded software using implicit path enumeration, ACM SIGPLAN Noticesvolume, vol.30, pp.88-98, 1995.
, ). -A simpler, safer programming and execution model for intermittent systems, ACM SIGPLAN Notices, vol.50, pp.575-585, 2015.
, Colin (A.) et Lucia (B.). -Alpaca: intermittent execution without checkpoints. Proceedings of the ACM on Programming Languages (OOPSLA), vol.1, p.96, 2017.
). -Design considerations for solar energy harvesting wireless embedded systems, Proceedings of the 4th international symposium on Information processing in sensor networks, p.64, 2005. ,
, ). -Nonvolatile memory is a broken time machine, Workshop on Memory Systems Performance and Correctness, p.5, 2014.
, ). -Mementos: System support for long-running computation on RFID-scale devices, ACM SIGARCH Computer Architecture Newsvolume, vol.39, pp.159-170, 2011.
). -Intermittent computation without hardware support or programmer intervention, 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp.17-32, 2016. ,
Kapitza (R.) et Schröder-Preikschat (W.). -Worst-case energy consumption analysis for energy-constrained embedded systems, 27th Euromicro Conference on Real-Time Systems, pp.105-114, 2015. ,
, ). -Remote area wind energy harvesting for low-power autonomous sensors, 37th IEEE Power Electronics Specialists Conference, pp.1-5, 2006.
-The worst-case execution-time problem-overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems (TECS), vol.7, p.36, 2008. ,