Stem checkpoint$ (all stems)

58 papers:

DAC-2015-XieZPHLX #energy

Fixing the broken time machine: consistency-aware checkpointing for energy harvesting powered non-volatile processor (MX, MZ, CP, JH, YL, CJX), p. 6.

DATE-2015-HernandezA #low cost #safety

Low-cost checkpointing in automotive safety-relevant systems (CH, JA), pp. 91–96.

SANER-2015-Debic

Checkpoint alpha (keynote) (BD), p. 2.

SAC-2015-RighiVRRCFA #parallel #source code

Rescheduling and checkpointing as strategies to run synchronous parallel programs on P2P desktop grids (RdRR, AV, VFR, GR, CAdC, KF, AMA), pp. 501–504.

HPDC-2014-CaoKAC

Transparent checkpoint-restart over infiniband (JC, GK, KA, GC), pp. 13–24.

DATE-2013-KocBKE #detection #fault

Exploiting replicated checkpoints for soft error detection and correction (FK, KB, BK, OE), pp. 1494–1497.

ICALP-v1-2013-BringmannDNS #online #worst-case

Online Checkpointing with Improved Worst-Case Guarantees (KB, BD, AN, JS), pp. 255–266.

ICSE-2013-LiuYCY #monitoring #novel #parallel #process

Selecting checkpoints along the time line: a novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes (XL, YY, DC, DY), pp. 1281–1284.

ASPLOS-2013-KadavRS #fault tolerance #fine-grained #using

Fine-grained fault tolerance using device checkpoints (AK, MJR, MMS), pp. 473–484.

HPDC-2013-NicolaeC #adaptation #data access #incremental #memory management #named

AI-Ckpt: leveraging memory access patterns for adaptive asynchronous incremental checkpointing (BN, FC), pp. 155–166.

HPDC-2013-RajachandrasekarMMP #file system

A 1 PB/s file system to checkpoint three million MPI tasks (RR, AM, KM, DKP), pp. 143–154.

LCTES-2013-ChenY #comparison #detection #fault #performance

Boosting efficiency of fault detection and recovery throughapplication-specific comparison and checkpointing (HC, CY), pp. 13–20.

DAC-2012-ChanSSM #hardware #specification #synthesis

Specification and synthesis of hardware checkpointing and rollback mechanisms (CC, DSN, DS, SM), pp. 1226–1232.

DATE-2012-LiRP #embedded #hardware #named

Reli: Hardware/software Checkpoint and Recovery scheme for embedded processors (TL, RGR, SP), pp. 875–880.

OOPSLA-2012-SreeramP #compilation #transaction

Safe compiler-driven transaction checkpointing and recovery (JS, SP), pp. 41–56.

CC-2012-ZhaoSAK #compilation

Compiler Support for Fine-Grain Software-Only Checkpointing (C(Z, JGS, CA, AK), pp. 200–219.

ASE-2011-LeungwattanakitAHTY #distributed #model checking #process

Model checking distributed systems by combining caching and process checkpointing (WL, CA, MH, YT, MY), pp. 103–112.

SIGMOD-2011-CaoSSYDGW #algorithm #consistency #performance

Fast checkpoint recovery algorithms for frequently consistent applications (TC, MAVS, BS, YY, AJD, JG, WMW), pp. 265–276.

HPDC-2011-Chen

Algorithm-based recovery for iterative methods without checkpointing (ZC), pp. 73–84.

ICFP-2010-Felleisen #exclamation

TeachScheme!: a checkpoint (MF), pp. 129–130.

HPDC-2010-JonesDD #clustering #performance

Impact of sub-optimal checkpoint intervals on application efficiency in computational clusters (WMJ, JTD, ND), pp. 276–279.

VLDB-2009-SallesCSDGKW #evaluation #game studies #multi #online

An Evaluation of Checkpoint Recovery for Massively Multiplayer Online Games (MAVS, TC, BS, AJD, JG, CK, WMW), pp. 1258–1269.

SAC-2009-ChenR #adaptation #quality #realtime

Adaptive optimal checkpoint interval and its impact on system’s overall quality in soft real-time applications (NC, SR), pp. 1015–1020.

HPDC-2009-HurseyML

Interconnect agnostic checkpoint/restart in open MPI (JH, TM, AL), pp. 49–58.

KDD-2008-ZhouX #correlation #perspective

Volatile correlation computation: a checkpoint view (WZ, HX), pp. 848–856.

ICSE-2008-ChenY #constraints #dependence #grid #verification #workflow

Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems (JC, YY), pp. 141–150.

PPoPP-2008-BronevetskyMPRM #incremental

Compiler-enhanced incremental checkpointing for OpenMP applications (GB, DM, KP, RR, SAM), pp. 275–276.

PPoPP-2008-WangYFDWJ #analysis #automation #source code

Automated application-level checkpointing based on live-variable analysis in MPI programs (PW, XY, HF, YD, ZW, JJ), pp. 273–274.

ESEC-FSE-2007-XuRTQ #java #performance #using

Efficient checkpointing of java software using context-sensitive capture and replay (G(X, AR, YT, FQ), pp. 85–94.

HPDC-2007-DarbyT #grid #mobile #peer-to-peer

Peer-to-peer checkpointing arrangement for mobile grid computing systems (PJDI, NFT), pp. 211–212.

HPDC-2007-ImranRLL #coordination #grid #mobile

A proxy-based uncoordinated checkpointing scheme with pessimistic message logging for mobile grid systems (NI, IR, YKL, SL), pp. 237–238.

HPDC-2007-RenEB #fine-grained

Failure-aware checkpointing in fine-grained cycle sharing systems (XR, RE, SB), pp. 33–42.

DATE-2006-LiCY #adaptation #embedded #energy #optimisation #performance #realtime

Performance optimization for energy-aware adaptive checkpointing in embedded real-time systems (ZL, HC, SY), pp. 678–683.

ITiCSE-2006-English #assessment #automation

The checkpoint automated assessment system (JE), p. 337.

ICFP-2006-ZiarekSJ #abstraction #composition #concurrent #functional #named #source code

Stabilizers: a modular checkpointing abstraction for concurrent functional programs (LZ, PS, SJ), pp. 136–147.

ICEIS-SAIC-2006-BrzezinskiKK #mobile #protocol #safety

Safety of Checkpointing and Rollback-Recovery Protocol for Mobile Systems with RYW Session Guarantee (JB, AK, JK), pp. 118–123.

SAC-2006-HeoCJK #incremental

The overhead model of word-level and page-level incremental checkpointing (JH, YC, GJ, HK), pp. 1493–1494.

SAC-2006-YiHCH #adaptation #incremental

Adaptive page-level incremental checkpointing based on expected recovery time (SY, JH, YC, JH), pp. 1472–1476.

SEKE-2005-ChenTTC #implementation

Implementation of a Remote Checkpointing System for Windows NT Applications (WHC, JT, DT, YCC), pp. 671–676.

SAC-2005-HeoYCHS #incremental

Space-efficient page-level incremental checkpointing (JH, SY, YC, JH, SYS), pp. 1558–1562.

SAC-2005-JiJC #adaptation #analysis #migration

Adaptation point analysis for computation migration/checkpointing (YJ, HJ, VC), pp. 750–751.

HPCA-2005-KirmanKCM

Checkpointed Early Load Retirement (NK, MK, MC, JFM), pp. 16–27.

ASPLOS-2004-BronevetskyMPSS #memory management #source code

Application-level checkpointing for shared memory programs (GB, DM, KP, PKS, MS), pp. 235–247.

DATE-2003-ZhangC #adaptation #embedded #energy #realtime

Energy-Aware Adaptive Checkpointing in Embedded Real-Time Systems (YZ, KC), pp. 10918–10925.

PPoPP-2003-BronevetskyMPS #automation #source code

Automated application-level checkpointing of MPI programs (GB, DM, KP, PS), pp. 84–94.

DATE-2002-AzevedoICGDVN #scheduling #using

Profile-Based Dynamic Voltage Scheduling Using Program Checkpoints (AA, II, RC, RG, NDD, AVV, AN), pp. 168–175.

VLDB-1998-JoshiBLL

Checkpointing in Oracle (AJ, WB, JL, TL), pp. 665–668.

HPDC-1998-Zambonelli #algorithm #distributed #effectiveness #on the

On the Effectiveness of Distributed Checkpoint Algorithms for Domino-Free Recovery (FZ), pp. 124–131.

SAC-1996-LinD #database #fuzzy #in memory #memory management

Segmented fuzzy checkpointing for main memory databases (JLL, MHD), pp. 158–165.

HPDC-1996-SilvaSC #distributed #memory management

Portable Transparent Checkpointing for Distributed Shared Memory (LMS, JGS, SC), pp. 422–431.

HPDC-1995-SilvaSCC

Portable Checkpointing and Recovery (LMS, JGS, SC, LC), pp. 188–195.

HPDC-1993-WongF #distributed

Distributed Computing Systems and Checkpointing (KFW, MAF), pp. 224–233.

PODS-1990-PilarskiK #database #distributed #novel

A Novel Checkpointing Scheme for Distributed Database Systems (SP, TK), pp. 368–378.

STOC-1990-BernGRS #algorithm #online

Online Algorithms for Locating Checkpoints (MWB, DHG, AR, MS), pp. 359–368.

PPoPP-1990-LiNP #concurrent #parallel #realtime #source code

Real-Time, Concurrent Checkpoint for Parallel Programs (KL, JFN, JSP), pp. 79–88.

SIGMOD-1982-Kuss #database #distributed #on the

On Totally Ordering Checkpoints in Distributed Data Bases (HK), p. 174.

SIGMOD-1977-LohmanM #policy

Optimal Policy for Batch Operations: Backup, Checkpointing, Reorganization, and Updating (Abstract) (GML, JAM), p. 157.

ICSE-1976-Gelenbe #multi

A Model of Roll-Back Recovery with Multiple Checkpoints (EG), pp. 251–255.