The data-flow equations of checkpointing in reverse Automatic Differentiation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3994 LNCS - IV, Issue , 2006, Pages 566-573

  Dauvergne, Benjamin ^a   Hascoët, Laurent ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CODES (SYMBOLS); COMPUTATION THEORY; DATA STORAGE EQUIPMENT; LINEAR EQUATIONS;

DATA-FLOW EQUATIONS; MEMORY SPACE; MEMORY-OPTIMAL OPTIONS; REVERSE AUTOMATIC DIFFERENTIATION;

DATA FLOW ANALYSIS;

EID: 33746656234     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11758549_78     Document Type: Conference Paper

References (8)

1. A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986.
2. C. Faure and U. Naumann. Minimizing the tape size. In G. Corliss, C. Faure, A. Griewank, L. Hascoët, and U. Naumann, editors, Automatic Differentiation of Algorithms: From Simulation to Optimization, Computer and Information Science, chapter 34, pages 293-298. Springer, New York, NY, 2001.
3. Andreas Griewank. Achieving logarithmic growth of temporal and spatial complexity in reverse automatic differentiation. Optimization Methods and Software, 1:35-54, 1992.
4. Andreas Griewank. Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. Number 19 in Frontiers in Appl. Math. SIAM, Philadelphia, PA, 2000.
5. L. Hascoët and M. Araya-Polo. The adjoint data-flow analyses: Formalization, properties, and applications. In H. M. Bücker, G. Corliss, P. Hovland, U. Naumann, and B. Norris, editors, Automatic Differentiation: Applications, Theory, and Tools, Lecture Notes in Computational Science and Engineering. Springer, 2005.
6. L. Hascoët, U. Naumann, and V. Pascual. "to be recorded" analysis in reverse-mode automatic differentiation. Future Generation Computer Systems, 21(8), 2004.
7. L. Hascoët and V Pascual. Tapenade 2.1 user's guide. Technical report 0300, INRIA, 2004. http://www.inria.fr/rrrt/rt-0300.html.
8. Darren Redfern. The Maple handbook, Maple V, release 4. Springer, 1996.