<--- Back to Details
First PageDocument Content
Compiler construction / Static single assignment form / Data-flow analysis / Mathematical optimization / Function / Search algorithms / Centrality / Tree decomposition / Mathematics / Graph theory / Operations research
Date: 2011-10-18 12:13:04
Compiler construction
Static single assignment form
Data-flow analysis
Mathematical optimization
Function
Search algorithms
Centrality
Tree decomposition
Mathematics
Graph theory
Operations research

A UNIFIED APPROACH TO GLOBAL PROGRAM OPTIMIZATION

Add to Reading List

Source URL: pdf.aminer.org

Download Document from Source Website

File Size: 1,10 MB

Share Document on Facebook

Similar Documents

Journal of Global Optimization manuscript No. (will be inserted by the editor) Stabilizer-based symmetry breaking constraints for mathematical programs Leo Liberti · James Ostrowski

DocID: 1v0h9 - View Document

OPTIMA 88 Mathematical Optimization Society Newsletter Philippe L. Toint MOS Chair’s Column

DocID: 1uTp0 - View Document

The Annals of Probability 2004, Vol. 32, No. 1B, 1030–1067 © Institute of Mathematical Statistics, 2004 A STOCHASTIC REPRESENTATION THEOREM WITH APPLICATIONS TO OPTIMIZATION AND OBSTACLE PROBLEMS

DocID: 1sOP9 - View Document

Optimization of Electrical Production The production of electricity in France is optimized everyday with the help of a mathematical software developed at Inria, in collaboration with EDF R&D. Substantial performance is a

DocID: 1rxID - View Document

Mathematical optimization / Control theory / Systems science / Academia / Cybernetics / Systems theory / Operations research / Model predictive control / Dynamic programming / Optimal control / Trajectory optimization / Sequential quadratic programming

Timed-Elastic-Bands for Time-Optimal Point-To-Point Nonlinear Model Predictive Control

DocID: 1ru4i - View Document