| 1996 |
Test de conformité du protocole de signalisation en mode Trames (Frame Relay) |
Ould Mohamed-Salem, Mohamed-Vall |
Bochmann, Gregor V. |
| 1996 |
On the development of conformance test suites in view of their fault coverage |
Yao, Mingyu |
Bochmann, Gregor V.; Petrenko, Alexandre |
| 1996 |
Étude et réalisation d'un système conseiller |
Serroud, Abdallah |
Frasson, Claude |
| 1996 |
Topoï, un système de production d'argumentations dialectiques |
St-Vincent, Pierre |
Bratley, Paul; Poulin, Daniel |
| 1996 |
La sécurité des protocoles de la cryptographie quantique |
Mayers, Dominic |
Brassard, Gilles |
| 1996 |
Décomposition semi-automatique de diagramme de flot des données (DFD) |
Tamim, Mohamad |
Lustman, François |
| 1996 |
Satisfaction incrémentielle de contraintes par le biais de la réécriture |
Roy, Gilles |
Vaucher, Jean |
| 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 |
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 |
Problèmes multicritère avec contraintes d'affectation |
Marziliano, Pina |
Ferland, Jacques |
| 1996 |
Formal method for the design of real-time communicating subsystems and controllers |
Tao, Zhongpīng |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1996 |
Developing network management applications using application frameworks and literate programming |
Youssef, Ghassan |
Keller, Rudolf |
| 1996 |
Réseaux de neurones à faible précision et réalisation sur ordinateur à logique programmable |
Pigeon, Steven |
Cloutier, Jocelyn |
| 1996 |
Multiway decision graphs and their applications in automatic formal verification of RTL designs |
Zhou, Zijian |
Cerny, Eduard; Song, Xiaoyu |
| 1996 |
Un système de programmation Scheme pour micro-contrôleur |
Dubé, Danny |
Feeley, Marc |
| 1996 |
Automatisation de plans de chargement en transport aérien commercial |
Courval, Michel |
Michelon, Philippe |
| 1996 |
Approches génétiques pour le problème de répartition de véhicules |
Leclerc, François |
Potvin, Jean-Yves |
| 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 |
Reconstruction d'itinéraires optimaux dans un réseau multimodes-multiproduits |
Charland, Yves |
Crainic, Teodor Gabriel; Florian, Michael |
| 1996 |
Détermination de la contraction de la surface cardiaque en coronarographie biplan |
Ait Hamou Cheriet, Farida |
Meunier, Jean |
| 1996 |
Protocole et interface usager pour la négociation de la qualité de service |
Vu, Quoc |
Gecsei, Jan |
| 1995-11 |
Un cadre d'application pour interfaces de gestion OSI |
Tessier, Jean |
Bochmann, Gregor V.; Keller, Rudolf |
| 1995 |
Évaluation de fonctions sur données privées |
Tapp, Alain |
Brassard, Gilles; Crépeau, Claude |
| 1995 |
Un système tutorial intelligent basé sur un système critique |
Jebel, Imed |
Aïmeur, Esma; Frasson, Claude |
| 1995 |
Neural networks for the vehicle dispatching problem |
Shen, Yu |
Potvin, Jean-Yves; Rousseau, Jean Marc |
| 1995 |
Construction incrémentielle de spécifications pour systèmes distribués |
Khendek, Ferhat |
Bochmann, Gregor V. |
| 1995 |
Simulation de protocoles de cryptographie quantique |
Riendeau, Jean-François |
Brassard, Gilles; Crépeau, Claude |
| 1995 |
Horaires du personnel infirmier générés avec approches heuristiques |
Nabli, Imene |
Ferland, Jacques; Michelon, Philippe; Gascon, Viviane |
| 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 |
Études de bornes inférieures pour le problème d'affectation quadratique |
Chouman, Mervat |
Michelon, Philippe |
| 1995 |
Un modèle de l'apprenant basé sur les tâches |
Duperval, Laurent |
Frasson, Claude |
| 1995 |
Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes |
Pesant, Gilles |
Boyer, Michel |
| 1995 |
Interface iconique pour un système d'aide au diagnostic médical à base de cas |
Talbi, Hichem |
Frasson, Claude |
| 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 |
| 1994 |
Navigation et repérage d'information dans les hypertextes de grande taille |
Marcil, François |
Bratley, Paul; Savoy, Jacques |
| 1994 |
Visualisation quadridimensionnelle, état des connaissances et visualisation par hypercoupes |
Petit, Christian |
Stewart, Neil Frederick |
| 1994 |
Étude sur la planification de texte : application au sous-domaine de la population active |
Lavoie, Benoit |
Kittredge, Richard; Lapalme, Guy |
| 1994 |
La génération automatique de descriptions de systèmes dynamiques |
Tourigny, Nicole |
Lapalme, Guy |
| 1994 |
La génération pseudo-aléatoire cryptographiquement sécuritaire et ses considérations pratiques |
Boucher, Martin |
Brassard, Gilles; L'Ecuyer, Pierre |
| 1994 |
Planification des réseaux de distribution électrique avec contraintes de fiabilité |
Paciornik, Newton |
Cleroux, Robert; Ferland, Jacques |