Optimal checkpointing for time-stepping procedures in ADOL-C

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

Volumn 3994 LNCS - IV, Issue , 2006, Pages 541-549

  Kowarz, Andreas ^a   Walther, Andrea ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING; DATA STORAGE EQUIPMENT; LARGE SCALE SYSTEMS; OPTIMIZATION; ORDINARY DIFFERENTIAL EQUATIONS; PROBLEM SOLVING;

AUTOMATIC DIFFERENTIATION; CHECKPOINTING MECHANISM; LARGE-SCALE PROBLEMS; TIME-STEPPING PROCEDURE;

C (PROGRAMMING LANGUAGE);

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

References (12)

1. Giering, R., Kaminski, T.: Recipes for Adjoint Code Construction. ACM Trans. Math. Software, 24 (1998) 437-474.
2. Griewank, A.: Achieving logarithmic growth of temporal and spatial complexity in reverse automatic differentiation. Optim. Methods Softw., 1 (1992) 35-54.
3. Griewank, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. Number 19 in Frontiers in Appl. Math. SIAM, Philadelphia, 2000.
4. Griewank, A., Juedes, D., Utke. J.: ADOL-C: A package for the automatic differentiation of algorithms written in C/C++. ACM Trans. Math. Software, 22 (1996) 131-167.
5. Griewank, A., Walther, A.: Revolve: An implementation of checkpointing for the reverse or adjoint mode of computational differentiation. ACM Trans. Math. Software, 26 (2000) 19-45.
6. R. Griesse, A. Walther.: Parametric sensitivities for optimal control problems using automatic differentiation. Optimal Control Applications and Methods, Vol. 24, pp. 297-314 (2003).
7. Hinze, M., Sternberg, J.: A-Revolve: An adaptive memory and run-time-reduced procedure for calculating adjoints; with an application to the instationary Navier-Stokes system. Optim. Methods Softw., 20 (2005) 645-663.
8. Hascoët, L., Pascual, V.: Tapenade 2.1 user's guide. Tech. rep. 300, INRIA, 2004.
9. Knauer, M., Büskens, C.,: Real-Time Trajectory Planning of the Industrial Robot IRB6400. PAMM. 3, 2003, 515-516.
10. Kubota, K.: A Fortran 77 preprocessor for reverse mode automatic differentiation with recursive checkpointing. Optim. Methods Softw., 10 (1998) 319-335.
11. Naumann, U., Utke, J., Lyons, A., Fagan, M.: Control Flow Reversal for Adjoint Code Generation. Proceed. of SCAM 2004, IEEE Computer Society (2004) 55-64.
12. Walther, A., Griewank, A.: Advantages of binomial checkpointing for memory-reduced adjoint calculations. In: Feistauer, M., et al., (eds.): Numerical mathematics and advanced applications, Proc. ENUMATH 2003, Springer (2004) 834-843.