311 |
Un modèle génératif pour le développement de serveurs InternetLoyauté, Gautier 05 September 2008 (has links) (PDF)
Les serveurs Internet sont des logiciels particuliers. Ils doivent répondre aux demandes d'un grand nombre de clients distants, supporter leur évolution et être robustes car ils ne s'arrêtent jamais. Les modèles de concurrence permettent d'entrelacer les traitements d'un grand nombre de clients. Aucun consensus ne se dégage sur un meilleur modèle. Pour s'abstraire du modèle de concurrence, je propose un modèle de développement de serveurs Internet. Les outils de vérification formelle permettent d'accroître la sûreté des logiciels mais il est nécessaire de leur fournir un modèle simple du logiciel. Le modèle de développement que je propose est utilisé pour générer le serveur et son modèle formel. Le décodage d'une requête cliente dépend du modèle de concurrence. Je propose d'utiliser un générateur d'analyseur syntaxique qui s'abstrait de ce problème et automatise le développement du décodage
|
312 |
Le développement de la commissure du collicule supérieur chez le hamsterChebat, Daniel-Robert January 2004 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
313 |
Les méthodes d'évaluation du bâtiment et du cadre bâti durableDerghazarian, Alec January 2011 (has links)
Les méthodes d'évaluation du développement durable dans le cadre bâti visent entre autres le bâtiment, ses composantes et le quartier. Elles évaluent ces systèmes au regard de principes environnementaux et du développement durable et permettent aux concepteurs, aménageurs et autres acteurs d'intervenir de manière durable dans le cadre bâti. Ce document explore les méthodes d'évaluation du développement durable et en particulier celles qui visent les bâtiments, dont la popularité croissante se traduit par leur influence considérable sur le bâtiment durable et le milieu de la construction. Il vise à améliorer l'évaluation du bâtiment durable en explorant sa mécanique, en extrayant ses axes constitutifs et en présentant ses pistes d'évolution.
|
314 |
Les collaborations interorganisationnelles : le cas des comités sectoriels de main-d'oeuvre et des directions régionales d'Emploi-QuébecGauthier, Marie-Suzanne January 2003 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
315 |
Données nouvelles sur les innervations cholinergiques de l'hippocampe et du néostriatum et sur leur ultrastructure au cours du développementAznavour, Nicolas January 2004 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
|
316 |
The effect of a VAChT-saporin immunotoxin on retinal cholinergic amacrine cells during post-natal development in ratsPatel, Manishha January 2005 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
317 |
Développement d'un outil d'évaluation du statut fonctionnel pour les personnes âgées en visite à l'urgenceVeillette, Nathalie January 2008 (has links)
Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.
|
318 |
Le nouveau programme de formation de l'école québécoise et la participation de parents immigrants haïtiens hautement scolarisés au développement des compétences de leurs enfants dans des écoles à MontréalMichel, William January 2007 (has links)
Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.
|
319 |
Le progrès développemental de la connaissance des nombres au préscolaire en tant que prédicteur de la réussite en mathématiques à la fin de la première année du primaireMuñoz Ferrada, Milenka January 2007 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
320 |
Expérience de foi et processus de maturation : jalons pour une éducation de la foi des adultesLeclerc, Lise January 2005 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
Page generated in 0.3841 seconds