Apport des explications dans la conception d'outils de mise au point pour la PPC
Les systèmes de la programmation par contraintes sont impuissants face à des problèmes sur-contraints. De plus, la résolution des problèmes dynamiques revient à résoudre une suite de problèmes statiques. Mais ceci peut rapidement devenir rohibitif en temps de calcul. Il s'avère donc nécessaire...
Enregistré dans:
Auteurs principaux : | , , |
---|---|
Collectivités auteurs : | , |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Apport des explications dans la conception d'outils de mise au point pour la PPC / Samir Ouis; sous la dir. de Patrice Boizumault et Narendra Jussien |
Publié : |
[S.l.] :
[s.n.]
, 2003 |
Description matérielle : | 151 p. |
Condition d'utilisation et de reproduction : | publication autorisée par le jury |
Note de thèse : | Thèse doctorat : Informatique : Nantes : 2003 |
Sujets : | |
Documents associés : | Reproduit comme:
Apport des explications dans la conception d'outils de mise au point pour la PPC |
Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication |
BU Sciences
| Cote | Prêt | Statut |
---|---|---|---|
Communication impossible | 03 NANT 2082 | Empruntable | Disponible |
Communication impossible | 03 NANT 2082 | Exclu du prêt | Disponible |