| 1995-11 |
Un cadre d'application pour interfaces de gestion OSI |
Tessier, Jean |
Bochmann, Gregor V.; Keller, Rudolf |
| 1996-03 |
Un outil pour la spécification de matériel et la génération de modèles exécutables |
Babkine, Philippe-André |
Cerny, Eduard |
| 1996-04 |
Un système multi-paradigme pour la manipulation des connaissances utilisant la théorie des graphes conceptuels |
Kabbaj, Adil |
Frasson, Claude |
| 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 |
Simulation de l'écoulement et de la forme de gouttes sur des surfaces |
Fournier, Patrick |
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 |
Construction des machines à état abstrait à partir des modèles VHDL |
Anon, Koty Dominique |
Cerny, Eduard |
| 1997 |
Implantation du protocole de signalisation ATM en utilisant une spécification SDL |
Marcoci, Roxana-Irina |
Bochmann, Gregor V. |
| 1997 |
Texture volumique multi-échelle pour l'affichage de scènes complexes |
Ratib, Karim |
Poulin, Pierre |
| 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 |
Applications multimédia et gestion de qualité de service dans l'environnement du World Wide Web |
Madja, Erika Jeannette |
Dssouli, Rachida; Gecsei, Jan |
| 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 |
Propriétés relationnelles tridimensionnelles des structures d'acides nucléiques |
Ftouhi, Abdelmjid |
Major, François |
| 1997 |
On conformance testing of systems communicating by Rendezvous |
Tan, Qiang-Ming |
Bochmann, Gregor V.; Petrenko, Alexandre |
| 1997 |
Développement d'un éditeur graphique pour les suites de tests de protocoles de communication |
Soukeur, Abdelouahed |
Bochmann, Gregor V. |
| 1997 |
Towards a formal definition of security for quantum protocols |
Graaf, Jeroen van de |
Brassard, Gilles; Crépeau, Claude |
| 1997 |
Représentation hiérarchique et efficace des sources lumineuses dans le cadre du rendu d'images |
Paquette, Éric |
Poulin, Pierre |
| 1998 |
L'utilisation de vecteurs de liens bibliographiques comme descripteurs de documents juridiques dans un système de recherche d'information |
Perpignand, Ernst |
Bratley, Paul; Poulin, Daniel |
| 1998 |
Estimation du taux de perte de réseaux ATM via la simulation et le changement de mesure |
Champoux, Yanick |
L'Ecuyer, Pierre |
| 1998 |
Le calcul des plus courts chemins statiques et temporels : synthèse, implantations séquentielles et parallèles |
Tremblay, Nicolas |
Florian, Michael |
| 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 |
Étude et réalisation d'un système convivial de télé-apprentissage |
Martin, Louis |
Frasson, Claude |
| 1998 |
Le raisonnement à base de cas dans la planification financière |
Boudina, Kamel |
Aïmeur, Esma |
| 1998 |
Planification de l'horaire des médecins dans une salle d'urgence |
Beaulieu, Huguette |
Ferland, Jacques; Gendron, Bernard |
| 1998 |
A study on two arc routing problems |
Govindan, Srimathy |
Gendreau, Michel; Rousseau, Jean Marc |
| 1998 |
Décomposition des systèmes d'information : étude exploratoire des facteurs d'influence |
Tagoug, Nejmeddine |
Lustman, François |
| 1998 |
Mise au point et implantation d'algorithmes pour l'allocation déterministe de conteneurs vides |
Abrache, Jawad |
Crainic, Teodor Gabriel; Gendreau, Michel |
| 1998 |
Estimation des performances du système PULSE V1 pour des applications de nature itérative |
Chabini, Noureddine |
Aboulhamid, El Mostapha; Savaria, Y. |
| 1998 |
Estimation de la probabilité de ruine et sa dérivée par simulation |
Le, Quoc Phong |
Vazquez-Abad, Felisa J. |
| 1998 |
Conception d'un langage de description d'agents cognitifs |
De Léan, Charles |
Frasson, Claude |
| 1998 |
Phylogénétique basée sur les cassures du génome |
Blanchette, Mathieu |
Major, François; Sankoff, David |
| 1998 |
Planification de l'enseignement individualisé dans un système turoriel intelligent à grande échelle |
Lê, Tang-Ho |
Frasson, Claude; Gauthier, Gilles |
| 1998 |
Un système multi-agent pour l'enseignement et la simulation de tâches coopératives |
Tadié Guepfu, Serge |
Frasson, Claude; Lefebvre, Bernard |
| 1998 |
Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI |
Maguiraga, Saoudatou |
Bochmann, Gregor V. |
| 1998 |
Détection des patrons de conception dans les systèmes orientés objet |
Bachar, Bouazza |
Keller, Rudolf |
| 1998 |
Gestion coopérative de la qualité de service dans les applications multimédias : spécification et simulation |
Mekouar, Loubna |
Bochmann, Gregor V. |
| 1998-12 |
Modélisation de la structure 3-D des ARN par satisfaction de contraintes |
Lemieux, Sébastien |
Major, François |
| 1999 |
Génération automatique de cas de test pour les systèmes modélisés par des machines à états finis communicantes |
Bourhfir, Chourouk |
Aboulhamid, El Mostapha; Dssouli, Rachida |
| 1999 |
Bounding of switching activity in logic circuits |
Zejda, Jindrich |
Cerny, Eduard; Rumin, Nicolas C. |