| 1995 |
Modèles des portes logiques pour l'analyse de délai par la méthode de réduction des intervalles |
Bensalem, Aicha |
Cerny, Eduard |
| 1995 |
Interface iconique pour un système d'aide au diagnostic médical à base de cas |
Talbi, Hichem |
Frasson, Claude |
| 1995 |
Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes |
Pesant, Gilles |
Boyer, Michel |
| 1995 |
Un modèle de l'apprenant basé sur les tâches |
Duperval, Laurent |
Frasson, Claude |
| 1995 |
Études de bornes inférieures pour le problème d'affectation quadratique |
Chouman, Mervat |
Michelon, Philippe |
| 1995 |
Un outil pour la conception et l'évaluation de hiérarchies de classes dans un modèle orienté-objet |
Arfi, Amina |
Godin, Robert; Nie, Jian-Yun |
| 1995 |
Horaires du personnel infirmier générés avec approches heuristiques |
Nabli, Imene |
Ferland, Jacques; Michelon, Philippe; Gascon, Viviane |
| 1995 |
Simulation de protocoles de cryptographie quantique |
Riendeau, Jean-François |
Brassard, Gilles; Crépeau, Claude |
| 1995 |
Construction incrémentielle de spécifications pour systèmes distribués |
Khendek, Ferhat |
Bochmann, Gregor V. |
| 1995 |
Neural networks for the vehicle dispatching problem |
Shen, Yu |
Potvin, Jean-Yves; Rousseau, Jean Marc |
| 1995 |
Un système tutorial intelligent basé sur un système critique |
Jebel, Imed |
Aïmeur, Esma; Frasson, Claude |
| 1995 |
Évaluation de fonctions sur données privées |
Tapp, Alain |
Brassard, Gilles; Crépeau, Claude |
| 1995-11 |
Un cadre d'application pour interfaces de gestion OSI |
Tessier, Jean |
Bochmann, Gregor V.; Keller, Rudolf |
| 1996 |
Protocole et interface usager pour la négociation de la qualité de service |
Vu, Quoc |
Gecsei, Jan |
| 1996 |
Détermination de la contraction de la surface cardiaque en coronarographie biplan |
Ait Hamou Cheriet, Farida |
Meunier, Jean |
| 1996 |
Reconstruction d'itinéraires optimaux dans un réseau multimodes-multiproduits |
Charland, Yves |
Crainic, Teodor Gabriel; Florian, Michael |
| 1996 |
Résolution du problème de tournées de véhicules à flotte hétérogène à l'aide de la recherche avec tabous |
Musaraganyi, Christophe |
Gendreau, Michel; Laporte, Gilbert |
| 1996 |
Approches génétiques pour le problème de répartition de véhicules |
Leclerc, François |
Potvin, Jean-Yves |
| 1996 |
Automatisation de plans de chargement en transport aérien commercial |
Courval, Michel |
Michelon, Philippe |
| 1996 |
Un système de programmation Scheme pour micro-contrôleur |
Dubé, Danny |
Feeley, Marc |
| 1996 |
Multiway decision graphs and their applications in automatic formal verification of RTL designs |
Zhou, Zijian |
Cerny, Eduard; Song, Xiaoyu |
| 1996 |
Réseaux de neurones à faible précision et réalisation sur ordinateur à logique programmable |
Pigeon, Steven |
Cloutier, Jocelyn |
| 1996 |
Developing network management applications using application frameworks and literate programming |
Youssef, Ghassan |
Keller, Rudolf |
| 1996 |
Formal method for the design of real-time communicating subsystems and controllers |
Tao, Zhongpīng |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1996 |
Problèmes multicritère avec contraintes d'affectation |
Marziliano, Pina |
Ferland, Jacques |
| 1996 |
Estimation fonctionnelle dans le cadre de politiques de remplacement dans un système à plusieurs composantes |
Martin, Benoit |
L'Ecuyer, Pierre; Vazquez-Abad, Felisa J. |
| 1996 |
Application d'une méthode exacte pour la génération d'horaire en soins infirmiers |
Gagné, Éric |
Ferland, Jacques; Michelon, Philippe; Gascon, Viviane |
| 1996 |
Satisfaction incrémentielle de contraintes par le biais de la réécriture |
Roy, Gilles |
Vaucher, Jean |
| 1996 |
Décomposition semi-automatique de diagramme de flot des données (DFD) |
Tamim, Mohamad |
Lustman, François |
| 1996 |
La sécurité des protocoles de la cryptographie quantique |
Mayers, Dominic |
Brassard, Gilles |
| 1996 |
Topoï, un système de production d'argumentations dialectiques |
St-Vincent, Pierre |
Bratley, Paul; Poulin, Daniel |
| 1996 |
Étude et réalisation d'un système conseiller |
Serroud, Abdallah |
Frasson, Claude |
| 1996 |
On the development of conformance test suites in view of their fault coverage |
Yao, Mingyu |
Bochmann, Gregor V.; Petrenko, Alexandre |
| 1996 |
Test de conformité du protocole de signalisation en mode Trames (Frame Relay) |
Ould Mohamed-Salem, Mohamed-Vall |
Bochmann, Gregor V. |
| 1996 |
Vers une architecture portable et distribuée de systèmes tutoriels intelligents : étude dans le cadre du projet SAFARI |
Rabia, Nadjib |
Frasson, Claude |
| 1996 |
Environnement auteur exploitant les bases de connaissances dans un système tutoriel intelligent |
Mghayar, Antoine |
Gecsei, Jan |
| 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 |
Contribution à l'amélioration des modélisations à objets |
Anquetil, Nicolas |
Vaucher, Jean |
| 1996 |
Estimation de la performance et méthodes d'allocation dans la synthèse de systèmes numériques |
Bennour, Imed-Eddine |
Aboulhamid, El Mostapha |
| 1996 |
Modélisation des connaissances de la matière dans un système tutoriel intelligent : modèles, outils et applications |
Nkambou, Roger |
Frasson, Claude; Gauthier, Gilles |
| 1996 |
Génération intégrée de textes et de graphiques statistiques |
Fasciano, Massimo |
Lapalme, Guy |
| 1996 |
Contributions à l'étude du non-déterminisme restreint |
Caussinus, Hervé |
Beaudry, Martin; Mckenzie, Pierre |
| 1996 |
Spécification formelle de systèmes d'information interactifs par la technique des scénarios |
Kawashita, Ilka |
Babin, Gilbert; Lustman, François |
| 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 |
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 |
Applications multimédia et gestion de qualité de service dans l'environnement du World Wide Web |
Madja, Erika Jeannette |
Dssouli, Rachida; Gecsei, Jan |
| 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 |
Texture volumique multi-échelle pour l'affichage de scènes complexes |
Ratib, Karim |
Poulin, Pierre |