| 1998 |
Un modèle de tâche favorisant la production de conseils au cours d'une simulation |
Demers, Francis |
Frasson, Claude |
| 1998 |
Excursions en rendu par champ de lumière : champ de visibilité et ré-illumination |
Blais, Martin |
Poulin, Pierre |
| 1998 |
Étude et réalisation d'un environnement de développement de curriculum |
Rouane, Khalid |
Frasson, Claude |
| 1998 |
Estimation du taux de perte de réseaux ATM via la simulation et le changement de mesure |
Champoux, Yanick |
L'Écuyer, Pierre |
| 1998 |
Estimation de la probabilité de ruine et sa dérivée par simulation |
Le, Quoc Phong |
Vazquez-Abad, Felisa J. |
| 1998 |
Une méthode de recherche avec tabous pour la localisation de stations d'inspection sur un réseau de transport |
Parent, Isabelle |
Gendreau, Michel; Laporte, Gilbert |
| 1998 |
Modélisation de langages à classes à l'aide de Proto-Reflex |
Montero, Katia |
Lapalme, Guy; Malenfant, Jacques |
| 1998 |
Modélisation de la structure 3-D des ARN par satisfaction de contraintes |
Lemieux, Sébastien |
Major, François |
| 1998 |
Étude et réalisation d'un environnement d'apprentissage de tâches coopératives |
Rossignol, Jean-Yves |
Frasson, Claude |
| 1997 |
Réutilisation de méthodes de résolution de problèmes dans les systèmes à base de connaissances |
Mattos Pinto Coelho, Eliana de |
Lapalme, Guy; Patel, Vilma L. |
| 1997 |
Routage inter-domaines dans les réseaux ATM |
Ould Ahmed Ould Bah, Brahim |
Bochmann, Gregor V. |
| 1997 |
Gestion automatique de la reconfiguration dans les réseaux et systèmes ouverts distribués |
Dini, Petre |
Bochmann, Gregor V.; Frasson, Claude; Boutaba, Raouf |
| 1997 |
Logiciel pour la vérification par simulation de la spécification de haut niveau de systèmes matériels |
Tarnauceanu, Andrei |
Cerny, Eduard |
| 1997 |
Construction des machines à état abstrait à partir des modèles VHDL |
Anon, Koty Dominique |
Cerny, Eduard |
| 1997 |
Texture volumique multi-échelle pour l'affichage de scènes complexes |
Ratib, Karim |
Poulin, Pierre |
| 1997 |
On conformance testing of systems communicating by Rendezvous |
Tan, Qiang-Ming |
Bochmann, Gregor V.; Petrenko, Alexandre |
| 1997 |
Applications multimédia et gestion de qualité de service dans l'environnement du World Wide Web |
Madja, Erika Jeannette |
Dssouli, Rachida; Gecsei, Jan |
| 1997 |
Intervalles de confiance bootstrap pour la simulation de processus regénératifs |
Choquet, Denis |
L'Écuyer, Pierre; Léger, Christian |
| 1997 |
Towards a formal definition of security for quantum protocols |
Graaf, Jeroen van de |
Brassard, Gilles; Crépeau, Claude |
| 1997 |
Variations sur la transmission inconsciente en cryptographie quantique |
Salvail, Louis |
Brassard, Gilles; Crépeau, Claude |
| 1997 |
Conception et réalisation d'une variante parallèle de C basée sur la création paresseuse de tâche |
L'Écuyer, Francis |
Feeley, Marc |
| 1997 |
Dérivation de spécification à partir de scénarios d'interaction |
Somé, Stéphane Sotèg |
Dssouli, Rachida; Vaucher, Jean |
| 1997 |
Composition automatique d'expressions faciales synthétiques à partir de capture de postures faciales |
Kouadio, Cyriaque |
Poulin, Pierre |
| 1997 |
Étude et réalisation d'un système d'aide à la modélisation des tâches |
Lupascu, Daniela Suzana |
Aïmeur, Esma; Frasson, Claude |
| 1997 |
Représentation hiérarchique et efficace des sources lumineuses dans le cadre du rendu d'images |
Paquette, Eric |
Poulin, Pierre |
| 1997 |
Confection d'horaires en soins infirmiers pour les infirmières des équipes volantes-secteur |
Villeneuve, Sophie |
Ferland, Jacques; Michelon, Philippe; Gascon, Viviane |
| 1997 |
Modélisation orientée objet des éléments de réseau SONET et application à la gestion de réseau |
Chaker, Kamel Yahia |
Bochmann, Gregor V.; Gregoire, Jean-Charles |
| 1997 |
Vérification des propriétés temporelles des interfaces matérielles à l'aide de la programmation logique avec contraintes |
Girodias, Pierre |
Cerny, Eduard |
| 1997 |
Approches de parallélisation basées sur l'organisation de la mémoire pour des méthodes de séparations et évaluations progressives |
Bourbeau, Benoît |
Crainic, Teodor; Gendron, Bernard |
| 1997 |
Développement d'un éditeur graphique pour les suites de tests de protocoles de communication |
Soukeur, Abdelouahed |
Bochmann, Gregor V. |
| 1997 |
Les procédés cryptographiques de monnaie électronique : design, fonctionnalités et usages |
Blanchette, Jean-François |
Crépeau, Claude |
| 1997 |
Simulation de l'écoulement et de la forme de gouttes sur des surfaces |
Fournier, Patrick |
Poulin, Pierre |
| 1997 |
Implantation du protocole de signalisation ATM en utilisant une spécification SDL |
Marcoci, Roxana-Irina |
Bochmann, Gregor V. |
| 1997 |
Propriétés relationnelles tridimensionnelles des structures d'acides nucléiques |
Ftouhi, Abdelmjid |
Major, François |
| 1997 |
Conception de logiciels de communication testables |
Karoui, Kamel |
Cherkaoui, Omar; Dssouli, Rachida |
| 1996 |
Contributions à l'étude du non-déterminisme restreint |
Caussinus, Hervé |
Beaudry, Martin; Mckenzie, Pierre |
| 1996 |
La sécurité des protocoles de la cryptographie quantique |
Mayers, Dominic |
Brassard, Gilles |
| 1996 |
On the development of conformance test suites in view of their fault coverage |
Yao, Mingyu |
Bochmann, Gregor V.; Petrenko, Alexandre |
| 1996 |
Un détermineur permettant la réexécution d'un langage de programmation parallèle de type acteur |
Dionne, Carl |
Desbiens, Jocelyn; Feeley, Marc |
| 1996 |
Génération intégrée de textes et de graphiques statistiques |
Fasciano, Massimo |
Lapalme, Guy |