IEEE Transactions on Computers

IEEE Transactions on Computers (TC) is a monthly publication that publishes research in such areas as computer organizations and architectures, digital devices, operating systems, and new and important applications and trends.


Expand your horizons with Colloquium, a monthly survey of abstracts from all CS transactions! Replaces OnlinePlus in January 2017.


From the July 2017 issue

Towards Optimal Multi-Level Checkpointing

By Anne Benoit, Aurelien Cavelan, Valentin Le Fevre, Yves Robert, and Hongyang Sun

Featured article thumbnail imageWe provide a framework to analyze multi-level checkpointing protocols, by formally defining a $k$ -level checkpointing pattern. We provide a first-order approximation to the optimal checkpointing period, and show that the corresponding overhead is in the order of $\sum _{\ell =1}^{k}\sqrt{2\lambda _\ell C_\ell}$ , where $\lambda _\ell$ is the error rate at level $\ell$ , and $C_\ell$ the checkpointing cost at level $\ell$ . This nicely extends the classical Young/Daly formula on single-level checkpointing. Furthermore, we are able to fully characterize the shape of the optimal pattern (number and positions of checkpoints), and we provide a dynamic programming algorithm to determine the optimal subset of levels to be used. Finally, we perform simulations to check the accuracy of the theoretical study and to confirm the optimality of the subset of levels returned by the dynamic programming algorithm. The results nicely corroborate the theoretical study, and demonstrate the usefulness of multi-level checkpointing with the optimal subset of levels.

download PDF View the PDF of this article      csdl View this issue in the digital library     TC Featured Article Youtube video  YouTube     TC Featured Article Youtube video in Chinese  YouTube (Chinese)     TC Featured Article on Youku  Youku     TC Featured Article Youtube video in Spanish  YouTube (Spanish)


Editorials and Announcements

Editor's pick of the year 2016 (4 selected papers, each one free-to-download for three months in 2017)


Announcements

  • Editor's pick of the year selection, announced in the July 2016 Editorial
  • Multimedia presentations of each monthly featured paper are now available in Chinese, English and Spanish
  • Get Your Journals as eBooks for Free

Call-for-Papers


Editorials


Guest Editorials


Reviewers List


Annual Index


New Essential Set


Access Recently Published TC Articles

RSS Subscribe to the RSS feed of latest TC content added to the digital library

Mail Sign up for the Transactions Connection newsletter.


A Message from Editor-in-Chief Paolo Montuschi

 

Importance of Coherence Protocols with Network Applications on Multi-Core Processors

 

Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks

Computing Now