\documentclass[conference]{IEEEtran}
\IEEEoverridecommandlockouts
% The preceding line is only needed to identify funding in the first footnote. If that is unneeded, please comment it out.
%Template version as of 6/27/2024

\usepackage{cite}
\usepackage{amsmath,amssymb,amsfonts}
\usepackage{algorithmic}
\usepackage{graphicx}
\usepackage{textcomp}
\usepackage{xcolor}

\usepackage{subcaption}
\usepackage{booktabs}
\usepackage{multirow}
\usepackage{array}
\usepackage{caption}

% \setlength{\abovecaptionskip}{10pt} % Space above the caption
% \setlength{\belowcaptionskip5{5pt}  % Space below the caption
\setlength{\textfloatsep}{8pt} % Example: 20pt of space

\newcommand*\circled[1]{\raisebox{.5pt}{\textcircled{\raisebox{-.9pt} {#1}}}}

\begin{document}
% \bstctlcite{IEEEexample:BSTcontrol}

\title{Intermittent Systems at Small Scale: Execution Model and Design Guidelines \\
% \thanks{This work was supported by IITP grant funded by the Korea government (MSIT) (No.2021-0-00360, Development of Core Technology for Autonomous Energy-driven Computing System SW in Power-instable Environment).}
% \thanks{This work was supported by IITP grant funded by the Korea government (MSIT) (No.2021-0-00360).}
}

% \author{\IEEEauthorblockN{Youngbin Kim and Yoojin Lim}
% \IEEEauthorblockA{yb.kim@etri.re.kr, yoojin.lim@etri.re.kr \\
% Electronics and Telecommunications Research Institute (ETRI), Daejeon, Republic of Korea
% }
% }

\maketitle

\begin{abstract}
    % Intermittent systems execute long-running tasks in environments with frequent power failures, using small capacitors as energy storages.
    % Software designers rely on execution models that abstract hardware-level operations and describe how intermittent systems work.  
    % However, as recent techniques target very short operation times with smaller energy storages, traditional models are failing to provide precise abstractions of the actual behavior.
    % In this paper, we propose a more accurate execution model that accounts for the buffering effects of a system's inherent capacitance, which is a major source of inconsistency in traditional models.
    % Our evaluation shows that systems designed upon the traditional model can be up to 5.62x less power efficient than expected and may lead to unsafe checkpoint execution.
    % Additionally, based on our model, we present design guidelines for small-scale intermittent systems, which improve the end-to-end latency of applications by 2.85x in dynamic and 3.04x in static checkpoint schemes, without any extra overhead. 
    Intermittent systems require software support to execute tasks amid frequent power failures. 
    In designing such techniques, software designers rely on execution models that abstract hardware-level operations. 
    In this paper, we propose an execution model that more accurately describes emerging intermittent systems with small energy storage. 
    Our evaluation shows show that systems designed based on the traditional models can be up to 5.62x less power-efficient than expected and may result in unsafe checkpoint operations. 
    Our design guidelines enhance the performance of existing static and dynamic checkpoint techniques by 3.04x and 2.85x on average, respectively.
\end{abstract}

\begin{IEEEkeywords}
Intermittent Computing, Batteryless System.
\end{IEEEkeywords}

\input{sections/Introduction.tex}
\input{sections/OurModel.tex}
\input{sections/OurApproach.tex}
\input{sections/RelatedWork.tex}
\input{sections/Conclusion.tex}
% \input{sections/Notes.tex}

\bibliographystyle{ieeetr}
\bibliography{refs_short_2}

\end{document}
