Programmation de L'algorithme de synthese de Gloushkov pour les tables de fluence des systemes sequentiels

A l'origine nous nous avions proposé programmer sur CAB-5DO la méthode de synthèse de Gloushkov pour la classe des automates asynchrones du type machine transfert, d'où le titre de la thèse. A sa place nous avons resous le même problême â l'aide d'une méthode algorihmique originale» Après une introduction on définit la nouvelle méthode, valable pour les machines asynchrones, ainsi que quelques propriétés intéréssantés des expressions itérées ( en particulier de l'événement universel )» Dans la suite on établit les organigrammes générales de synthèse et l'organisation du travail sur machine. Après la conclusion, où l'on résume les avantages de nôtre méthode, il y a txoisPnnexes, dans le premier desquels on fait d'une façon pratique le point sur ces avantages par rapport à la méthode de Gloushkov f dans.le deuxième on groupe des organigrammes très détaillés, les programmes correspondants et quelques résultats > et dans le troisième le programme traduit en fortran IV qui a été mis au point sur le calculateur IBM 360/44 du l . E. R. A. ( Centre d'Etudes et Récherches en Automatisme).

Méthode proposant l'utilisation de la programmation fonctionnelle pour la génération de solutions architecturales partielles sous forme matricielle

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Conception et développement d'un environnement favorisant l'apprentissage des concepts fondamentaux de la programmation

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Gestion de flotte avec fenêtres horaires : approches de résolution mixtes utilisant la programmation par contraintes

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Effets d'une modification de l'environnement post-natal dans un modèle de programmation foetale des pathologies adultes

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Étude de la vasoréactivité à l'Angiotensine II chez des rats avec programmation intra-utérine de l'hypertension artérielle

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Programmation foetale des maladies adultes : altération au niveau rénal

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Méthode proposant l'utilisation de la programmation fonctionnelle pour la génération de solutions architecturales partielles sous forme matricielle

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Conception et développement d'un environnement favorisant l'apprentissage des concepts fondamentaux de la programmation

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Gestion de flotte avec fenêtres horaires : approches de résolution mixtes utilisant la programmation par contraintes

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Effets d'une modification de l'environnement post-natal dans un modèle de programmation foetale des pathologies adultes

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Étude de la vasoréactivité à l'Angiotensine II chez des rats avec programmation intra-utérine de l'hypertension artérielle

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Programmation foetale des maladies adultes : altération au niveau rénal

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.