Génération de codes et d'annotations prouvables d'algorithmes de points intérieurs à destination de systèmes embarqués critiques
Dans l'industrie, l'utilisation de l'optimisation est omniprésente. Elle consiste à calculer la meilleure solution tout en satisfaisant un certain nombre de contraintes. Cependant, ce calcul est complexe, long et pas toujours fiable. C'est pourquoi cette tâche est longtemps resté...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2018ESAE0034/document |