The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation

DOI10.1007/11758549_78zbMath1157.65334OpenAlexW1526743513MaRDI QIDQ5301489

Benjamin Dauvergne, Laurent Hascoët

Publication date: 20 January 2009

Published in: Computational Science – ICCS 2006 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11758549_78

Mathematics Subject Classification ID

Numerical differentiation (65D25)

Related Items

Uncertainty quantification in littoral erosion, Algorithmic differentiation for adjoint sensitivity calculation in plasma edge codes, Unnamed Item, Divide-and-conquer checkpointing for arbitrary programs with no user annotation, Programming language features, usage patterns, and the efficiency of generated adjoint code, Bilevel Methods for Image Reconstruction

Uses Software

• Maple
• TAPENADE