Alias verification for Fortran code optimization.

Thi Viet Nga Nguyen François Irigoin

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

optimization problems
model checking
scientific computing
image sequences
information systems
optimization method
global optimization
optimization process
discrete optimization
case study
objective function
open source
high level
source code
combinatorial optimization
optimization procedure
evolution strategy