SMT-Based Cost Optimization Approach for the Integration of Avionic Functions in IMA and TTEthernet Architectures.
Sofiene BejiSardaouna HamadouAbdelouahed GherbiJohn MullinsPublished in: DS-RT (2014)
Keyphrases
- optimization algorithm
- optimization problems
- minimum cost
- global optimization
- cost reduction
- data integration
- optimization method
- optimization methods
- combinatorial optimization
- storage cost
- high cost
- constrained optimization
- optimization process
- total cost
- machine learning
- language model
- object oriented
- information systems
- genetic algorithm
- information retrieval