[PDF][PDF] ADIFOR Generating derivative codes from Fortran programs

C Bischof, A Carle, G Corliss, A Griewank, P Hovland - 1992 - Citeseer
The numerical methods employed in the solution of many scienti c computing problems
require the computation of derivatives of a functionf: Rn! Rm. Both the accuracy and the …

ADIFOR 2.0: Automatic differentiation of Fortran 77 programs

…, P Khademi, A Mauer, A Carle - … Science and Engineering, 1996 - ieeexplore.ieee.org
Numerical codes that calculate not only a result, but also the derivatives of the variables
with respect to each other, facilitate sensitivity analysis, inverse problem solving, and …

Constructing the procedure call multigraph

D Callahan, A Carle, MW Hall… - IEEE Transactions on …, 1990 - ieeexplore.ieee.org
An algorithm for constructing a precise call multigraph for languages that permit procedure
parameters, extending the method of B. Ryder (see ibid., vol.5, no.3, p.216-225 (1979)) for …

Computing large sparse Jacobian matrices using automatic differentiation

BM Averick, JJ Moré, CH Bischof, A Carle… - SIAM Journal on …, 1994 - SIAM
The computation of large sparse Jacobian matrices is required in many important large-scale
scientific problems. Three approaches to computing such matrices are considered: hand-…

Derivative convergence for iterative equation solvers

A Griewank, C Bischof, G Corliss, A Carle… - … methods and software, 1993 - Taylor & Francis
When nonlinear equation solvers are applied to parameter-dependent problems, their iterates
can be interpreted as functions of these variable parameters. The derivatives (if they exist) …

[PDF][PDF] ADIFOR 2.0 user's guide

C Bischof, A Carle, P Hovland, P Khademi, A Mauer - 1995 - Citeseer
ADIFOR 2.0 currently runs on SPARC's running SunOS 4.1 or SunOS 5. x (Solaris 2. x), IBM
RS/6000's running AIX 3.2. 5 or 4.1. 1, SGI workstations running IRIX Release 6.2, HP …

FIAT: A framework for interprocedural analysis and transformation

MW Hall, JM Mellor-Crummey, A Carle… - … and Compilers for …, 1994 - Springer
The fiat system is a compiler-building tool that enables rapid prototyping of interprocedural
analysis and compilation systems. Fiat is a framework because it provides parameterized …

Efficient computation of gradients and Jacobians by dynamic exploitation of sparsity in automatic differentiation

…, PM Khademi, A Buaricha, C Alan - … Methods and Software, 1996 - Taylor & Francis
Automatic differentiation (AD) is a technique that augments computer codes with statements
for the computation of derivatives. The computational workhorse of AD-generated codes for …

ADIFOR: Automatic differentiation in a source translator environment

C Bischof, A Carle, G Corliss, A Griewank - Papers from the international …, 1992 - dl.acm.org
The numerical methods employed in the solution of many scientific computing problems require
the computation of derivatives of a function~: R “+ Rm. ADIFOR(Automatic Differentiation …

Applications of automatic differentiation in CFD

A Carle, LL Green, PA Newman… - NASA STI/Recon …, 1994 - ui.adsabs.harvard.edu
Automated multidisciplinary design of aircraft requires the optimization of complex performance
objectives with respect to a number of design parameters and constraints. The effect of …