Analyse de la propriété d'incrémentalité du programme de branchement - Pouliot, David;McKenzie, Pierre
39,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

Ce mémoire est consacré principalement à l étude des programmes de branchement incrémentaux. Le programme de branchement est un modèle de calcul qui capture la quantité de mémoire requise à la résolution d un problème calculatoire. Afin de capturer une façon naturelle de construire un programme de branchement résolvant GEN (un problème P-complet), la restriction d incrémentalité a été inventée. Dans ce mémoire, nous proposons principalement une méthode pour transformer un certain type de programme de branchement en un programme entièrement syntaxique incrémental. Nous prouvons aussi que de…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Ce mémoire est consacré principalement à l étude des programmes de branchement incrémentaux. Le programme de branchement est un modèle de calcul qui capture la quantité de mémoire requise à la résolution d un problème calculatoire. Afin de capturer une façon naturelle de construire un programme de branchement résolvant GEN (un problème P-complet), la restriction d incrémentalité a été inventée. Dans ce mémoire, nous proposons principalement une méthode pour transformer un certain type de programme de branchement en un programme entièrement syntaxique incrémental. Nous prouvons aussi que de déterminer s il existe un chemin incrémental dans un programme de branchement est NP-complet.
Autorenporträt
BSc en mathématiques et MSc en informatique théorique à l¿Université de Montréal. Son directeur était Pierre McKenzie et le sujet de mon mémoire portait sur les programmes de branchement. Il d¿abord travaillé comme analyste informatique dans la compagnie GIRO, mais depuis, il est enseignant en mathématiques au Québec au niveau cégep.