Ce document est la synthèse des travaux menés pour la résolution d'un problème d'ordonnancement, celui posé par le système temps-réel spectre (divers types de ressources, plusieurs ressources par type, relations de précedence, arrivées échelonnées, dates critiques...) La méthode utilisée pour parvenir a la solution et les réflexions successives y sont décrites et analysées. de plus, ce travail décrit l'algorithme solution depuis sa définition jusqu'à sa programmation, en passant par la démonstration de sa validité.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00287122 |
Date | 11 October 1976 |
Creators | Jorry, Alain |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0515 seconds