Graduate Programs

Ph.D. in Computer Engineering

 

For information

gigl-es@polymtl.ca

Person in charge

Gilles Pesant, Professor, Department of Computer and Software Engineering
514 340-4711, ext. 4142.

Program objectives

The Ph.D. in Computer Engineering aims to develop the advanced knowledge, intellectual rigour, scientific curiosity and creativity needed to enable program graduates to work professionally at the leading edge of their chosen field, pursue scientific research or teach in a university.

More specifically, the program is designed to allow each student to absorb and assimilate knowledge related to five key areas of computer engineering: software engineering; embedded systems; computer networks ans mobile computing; intelligent systems; and digital simulation/visual systems.

Through the program, candidates also develop the computer engineering skills needed to keep pace with the rapid change that characterizes the field of information technology.

Grade

Candidates who successfully complete the doctoral program in Computer Engineering obtain a Philosophiae Doctor (Ph.D.) degree.

Admission requirements

Undergraduate engineering degree, master’s degree from École Polytechnique or any other certification deemed appropriate and equivalent by École Polytechnique.

An excellent academic record does not guarantee access to the Ph.D. program. Prospective candidates must also obtain the consent of a professor willing to supervise their work.

N.B. For information about the conditions under which a student may proceed directly from a master’s to a doctoral program without submitting a thesis, see Article 71.3 of the Règlements généraux des etudes supérieures (in French only).

The obligatory course Méthodes de recherche (ING6900) must be taken at the start of the program, no later than the third semester following initial enrolment, unless it has already been taken at the master’s level. Communication scientifique et technique II (INF7900) is also obligatory.

Program structure

The Ph.D. in Computer Engineering comprises 90 credits, distributed as follows:

 

   Credits
Graduate-level courses  15 (minimum) 
Research/thesis  75

 

N.B. Candidates who hold an advanced graduate diploma may be exempt from some or all of the required graduate courses, based on the terms set out in Article 73.1.2 of the Règlements généraux des etudes supérieures (in French only).

Furthermore, the obligatory course Méthodes de recherche (ING6900) must also be taken at the start of the program, unless it has already been taken at the master’s level. The course is offered each semester.

Areas of specialization

Software engineering – Brings together research topics aimed at advancing knowledge of software independent of any particular field of application. This area of specialization includes software design and development, development processes, quality assurance and control, the cognitive aspects of development activities, and the validity of traditional methods and tools. Typical research topics include user-centric requirement specification methods, automatic software re-engineering methodologies, software quality evaluation models, software engineering process definition, software validation and verification, and interface specifications.

Embedded systems engineering – The research topics covered by this area of specialization (which includes nanosystems) aim to advance knowledge of hardware/software interaction. Typical research topics include computer, software and network architectures, hardware/software integration into information systems, simultaneous hardware/software development, IS integration into a parent system, the specific properties of inbuilt, embedded or reactive hardware/software systems, hardware design and manufacturing, CAD/CAM applied to digital micro-electronic systems and devices, high-level description and specification languages, high-level hardware synthesis, and design evaluation and verification.

Computer networks and mobile computing – This area of specialization covers network applications and the wireless components of next-generation mobile networks, as well as fibre-optic backbone and mobile computing networks, middleware and telematics. The field of interest encompasses the following topics: Internet, intranet and extranet, computer networks and applications, mobile computing, network computing, design tools, simulation, computer network planning and management.

Intelligent systems engineering – Includes knowledge representation, information extraction, machine learning, analysis and generation of natural language text, human-machine interfaces, multi-agent systems, expert systems, automated reasoning, problem resolution and intelligent tutorials. More specifically, professors in the department who work in this area have developed research topics in the fields of Web semantics, cognitive modelling with Bayesian networks, cognitive aspects of multi-agent architectures, data mining, constraint reasoning and metaheuristics.

Digital simulation and visual systems engineering – Includes the design and use of complex software for various fields of application in both engineering and the life sciences. Leading areas of research include processing and visualizing complex geometric models and their applications, calibrating data acquisition systems, surface reconstruction and discretization techniques, parallel processing and intensive digital simulations, visualization, and virtual reality techniques. Typical research topics include simulated treatment of personalized organs based on 3D reconstructions of anatomical structures; the analysis and optimization of aeronautic or hydraulic parts behaviour using finite element- and volume-based fluid dynamics models; simulation of nuclear reactor physics through deterministic methods of particle tracking; and fire simulation and visualization and the spread of flames in buildings.

Comprehensive exam

Please refer to Article 75 for general conditions regarding the Comprehensive Exam. Details on the specific program terms are available from the department secretary.

Program

 

Architectures informatiques

NoteSigleTitreCrédits
  INF6500 Structures d'ordinateurs 3
  INF6600 Conception et analyse des systèmes temps réel 3
  INF6601 N/D N/D
  INF8500 Systèmes embarqués:conception et vérification 3
  INF8505 Processeurs embarqués configurables 3

Génie logiciel

NoteSigleTitreCrédits
  INF6302 Ré-ingénierie du logiciel 3
  INF6303 N/D N/D
  INF6305 N/D N/D
  INF6306 N/D N/D
  INF8007 Langages de script 1
  INF8301 Ingénierie de la qualité en logiciel 3

Multimédia

NoteSigleTitreCrédits
  INF6800 Conc. géom. ass. par ord. et visualisation 3
  INF6802 Réalité virtuelle : principes et applications 3
  INF6803 Traitement vidéo et applications 3
  INF8702 Infographie avancée 3
  INF8703 Audio numérique 3
  INF8801 Systèmes multimédias et applications 3

Réseautique

NoteSigleTitreCrédits
  INF6401A Architecture de réseaux informatiques 3
  INF6403 Protocoles des couches de réseautage 3
  INF6404A Intergiciels et protocoles d'applications IP 3
  INF6405 Systèmes informatiques mobiles 3
  INF6470 Conception et planif. des réseaux informat. 3
  INF8401 Configuration et gestion des réseaux inform. 3
  INF8402 Sécurité des réseaux fixes et mobiles 3

Sécurité et fiabilité informatique

NoteSigleTitreCrédits
  INF6305 N/D N/D
  INF6422 Concepts avancés en sécurité informatique 3
  INF6603 Vérification des systèmes temps réel 3
  INF6605 Méthodes formelles sécurité de l'information 3
  INF8402 Sécurité des réseaux fixes et mobiles 3

Systèmes embarqués et temps réel

NoteSigleTitreCrédits
  INF6600 Conception et analyse des systèmes temps réel 3
  INF6603 Vérification des systèmes temps réel 3
  INF8500 Systèmes embarqués:conception et vérification 3
  INF8505 Processeurs embarqués configurables 3

Systèmes intelligents

NoteSigleTitreCrédits
  INF6101 Programmation par contraintes 3
  INF6102 Métaheur. applic. au génie informatique 3
  INF6304 Interfaces intelligentes 3
  INF6410 Ontologies et Web sémantique 3
  INF8225 I.A.:tech. probabilistes et d'apprentissage 3

Cours spéciaux

NoteSigleTitreCrédits
 INF6951#C. SPÉC. : « titre du cours »1
 INF6952#C. SPÉC. : « titre du cours »2
 INF6953#C. SPÉC. : « titre du cours »3

Stages doctoraux pour étudiant étranger en codirection inscrit dans une autre institution

NoteSigleTitreCrédits
 INF791XStage doctoral X (X = 1 à 69

Courses description

BA = baccalauréat       ES = études supérieures       CE = certificat

ES  INF6101  Programmation par contraintes   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Paradigme de programmation par contraintes. Historique et domaines d'application. Problème de satisfaction de contraintes. Notions de cohérence locale et propagation de contraintes. Modélisation. Algorithmes de filtrage. Recherche heuristique de solutions. Architecture de systèmes de programmation par contraintes. Approches hybrides.

Manuel(s) :
Notes :
Responsable(s) : Pesant, Gilles
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6101

ES  INF6102  Métaheur. applic. au génie informatique   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF1010 ou l'équivalent
Corequis :

Problèmes combinatoires difficiles rencontrés dans le domaine du génie informatique : nature et caractérisation. Approches de résolution : approche de construction, approche de réparation. Techniques de résolution : heuristique vorace, recuit simulé, recherche avec tabou, recherche locale itérée, algorithme génétique, colonies de fourmis. Hybridation, algorithme mémétique. Adaptation d'une métaheuristique au problème à résoudre. Recherche efficace du meilleur voisin : structure de tas, algorithmes incrémentaux. Réglage des paramètres d'une heuristique. Analyse statistique des résultats. Applications : réseaux de télécommunications, bioinformatique, emploi du temps.

Manuel(s) :
Notes :
Responsable(s) : Galinier, Philippe
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6102

ES  INF6302  Ré-ingénierie du logiciel   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Cycle de ré-ingénierie : ré-ingénierie, restructuration, rétro-ingénierie, récupération de la conception (Design Recovery) et re-documentation. Niveaux d'abstraction et méthodes de représentation. Aspects d'analyse syntaxique. Techniques d'analyse statique du code source. Analyses de flux de contrôle et de flux de données. Autres techniques d'analyses de flux. Approches d'extraction et d'inférence de spécifications. Génération automatique de code. Analyse d'impact.

Manuel(s) :
Notes :
Responsable(s) : Merlo, Ettore
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6302

INF6303

Désolé, aucune information trouvée pour ce cours dans la base de données (!)

ES  INF6304  Interfaces intelligentes   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Caractéristiques, enjeux et limites des interfaces intelligentes. Modèles de l'interaction humain-machine et de l'utilisateur : connaissances, intérêts et préférences, buts et plans. Recherche d'information semi-structurée : filtres collaboratifs et sémantiques, agents de recherche. Aide et assistance : systèmes conseils, documents adaptatifs, dialogue coopératif et tuteurs intelligents. Interfaces sensibles au contexte. Validation des interfaces intelligentes

Manuel(s) :
Notes :
Responsable(s) : Desmarais, Michel
Site Web : http://www.groupes.polymtl.ca/inf6304

INF6305

Désolé, aucune information trouvée pour ce cours dans la base de données (!)

INF6306

Désolé, aucune information trouvée pour ce cours dans la base de données (!)

ES  INF6401A  Architecture de réseaux informatiques   [détails] 

Nombre de crédits : 3  (0.5 - 1.5 - 7)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Besoins en réseautique, définitions, historique. Topologie des réseaux : réseaux locaux, réseaux métropolitains, réseaux étendus. Présentation du modèle de référence OSI (Open Systems Interconnection). Couche physique : transmission numérique, signalisation, synchronisation, modulation, multiplexage. Couche liaison : contrôle des erreurs, sous-couches LLC (Logical Link Control) et MAC (Medium Access Control). Couche réseau : méthodes de routage, contrôle de flot et de congestion. Couches de transport et de haut niveau. Famille des protocoles TCP/IP (Transmission Control Protocol/Internet Protocol) : modèle, protocoles, applications, gestion, évolution. Internet : mode d'adressage, résolution des noms. Dispositifs d'interconnexion des réseaux. Sécurité des réseaux.

Manuel(s) :
Notes : ce cours se donne sur Internet, avec 6 heures de séance en classe et 18 heures de travaux pratiques en laboratoire qui exigent une présence physique dans les locaux de l'École.
Responsable(s) : Pierre, Samuel
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6401A

ES  INF6403  Protocoles des couches de réseautage   [détails] 

Nombre de crédits : 3  (0.5 - 1.5 - 7)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Besoins en réseautage. Principes d'architecture des réseaux. Transport de données indépendantes du réseau. Communication point à point. Aiguillage. Diffusion. Multi-adressage. Couches réseau et transport du modèle OSI (Open Systems Interconnection). Protocoles de l'Internet (TCP, UDP, IP, ARP, RARP, DHCP, BOOTP, ICMP, RIP, OSPF, etc.). Gestion et résolution des adresses et des noms de domaine : serveurs de nom. Gestion des réseaux. Contrôle des réseaux. Réseaux virtuels privés. Réseaux sans fil. Réseaux de grande envergure.

Manuel(s) :
Notes : Ce cours se donne sur le web, avec 6 heures de séance en classe et 18 heures de travaux pratiques en laboratoire.
Responsable(s) : Pierre, Samuel
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6403

ES  INF6404A  Intergiciels et protocoles d'applications IP   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3405 ou équivalent
Corequis :

Communication de données : transparence du transfert d'information tel que spécifié par les couches supérieures du modèle TCP/IP (Transport Control Protocol/Internet Protocol). Couche application : identification et authentification des interlocuteurs, négociation des mécanismes de sécurité et de récupération des erreurs. Services applicatifs et protocoles des applications de l'Internet. Téléphonie sur IP. Introduction aux intergiciels. Modèles d'intergiciels.

Manuel(s) :
Notes :
Responsable(s) : Quintero, Alejandro

ES  INF6405  Systèmes informatiques mobiles   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Mobilité dans les systèmes informatiques : historique et définition. Architectures de réseaux à composantes mobiles. Systèmes cellulaires et sans fil. Caractérisation des terminaux mobiles. Mobilité des terminaux et portabilité des services. Conception et analyse d'algorithmes pour les environnements et plates-formes supportant la mobilité. Gestion des données dans des systèmes informatiques mobiles. Gestion des transactions réparties. Infrastructures et protocoles de communication supportant la mobilité. Sécurité et adaptabilité. Agents mobiles et Internet. Applications mobiles et performances.

Manuel(s) :
Notes :
Responsable(s) : Pierre, Samuel

ES  INF6410  Ontologies et Web sémantique   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Notions de base en logique propositionnelle et logique des prédicats. Logiques descriptives. Mécanismes d'inférence. Langages et modèles de données pour le web sémantique : langages de balisage et de transformation de documents électroniques, langage de description de ressources, langage de représentation d'ontologies. Ontologies standards. Méthodologie pour la construction d'une ontologie. Validation d'une ontologie. Applications du web sémantique : annotation et indexation sémantique de documents, outils de recherche,

Manuel(s) :
Notes :
Responsable(s) : Gagnon, Michel
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6410

ES  INF6422  Concepts avancés en sécurité informatique   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF4420A ou l'équivalent
Corequis :

Évaluation de performance en sécurité informatique. Performance des systèmes défensifs vs performance des outils d'attaques. Méthodes quantitatives d'évaluation de performance en sécurité informatique : modèles mathématiques, simulation et émulation. Méthodes d'expérimentation en laboratoire. Systèmes de détection d'intrusion (IDS) : recherche, déploiement commercial et limitations. Détection par règle et par anomalie. Évasion d'IDS et attaques par imitation. Détection de code malicieux : principes de base et problématiques actuelles. Réseaux de zombies : types, historique et fonctionnement. Méthode de détection et de mitigation. Attaques de déni de service : utilisation à des fins économiques et politiques, solutions proposées et utilisées. Modèles sémantiques des concepts de sécurité et attaques sémantiques. Modèles et systèmes de gestion de la confiance. Protection de la vie privée et impacts sociopolitiques.

Manuel(s) :
Notes :
Responsable(s) : Fernandez, José M.

ES  INF6470  Conception et planif. des réseaux informat.   [détails] 

Nombre de crédits : 3  (3 - 3 - 3)
Département : Génies informatique, logiciel
Préalable(s) : INF6401A ou l'équivalent
Corequis :

Processus de planification des réseaux informatiques. Exigences et spécifications. Modélisation des principaux problèmes de planification des réseaux. Conception et expansion topologiques. Localisation des équipements. Réseaux informatiques à plusieurs niveaux. Dimensionnement des réseaux informatiques et acheminement du trafic avec critères de performance, de fiabilité et de qualité de service. Allocation des ressources dans les réseaux informatiques. Études de cas.

Manuel(s) :
Notes :
Responsable(s) : Chamberland, Steven
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6470

ES  INF6500  Structures d'ordinateurs   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Concepts de base en architecture des ordinateurs et principaux composants d'un ordinateur contemporain : processeurs, mémoire, interconnexions et communications. Architectures pour applications spécialisées, industrielles et médicales. Structures complexes à plusieurs processeurs. Plateformes d'implémentation incluant FPGA (field-programmable gate array) et CPLD (complex programmable logic device). Caractéristiques des ordinateurs pour des applications critiques et/ou en temps réel. Périphériques et interfaces aux processeurs incluant le choix des convertisseurs et méthodes de conversions analogique-numérique. Avantages et désavantages des principales architectures d'interface analogique pour ordinateurs.

Manuel(s) :
Notes :
Responsable(s) : Martel, Sylvain
Site Web : http://wiki.polymtl.ca/nano/fr/index.php/INF6500

ES  INF6600  Conception et analyse des systèmes temps réel  [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3610 ou l'équivalent
Corequis :

Architecture d'un système temps réel. Modélisation d'un système temps réel. Spécification temporelle. Langages de spécification et de programmation pour le temps réel. Analyse et prédiction de performance. Outils d'analyse et de conception pour systèmes temps réel. Fiabilité et tolérance aux pannes. Implémentation. Systèmes d'exploitation temps réel. Spécification et validation. Cas types.

Manuel(s) :
Notes :
Responsable(s) : Nicolescu, Gabriela
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6600

INF6601

Désolé, aucune information trouvée pour ce cours dans la base de données (!)

ES  INF6603  Vérification des systèmes temps réel   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Introduction aux méthodes formelles de vérification des systèmes temps réel. Intégration des méthodes formelles dans le processus de développement des systèmes temps réel. Automates temporisés, automates hybrides, automates temporisés à chronomètres, automates temporisés de jeu, automates temporisés à tâches. Abstractions des espaces d'états temporisés préservant les propriétés linéaires et les propriétés de branchement, et les structures de données associées. Logiques temporelles temporisées MITL (Metric Interval Temporal Logic) et TCTL (Timed Computation Tree Logic). Model-checking. Synthèse de contrôleurs. Décidabilité et complexité de vérification. Contrôle et analyse formelle de l'ordonnançabilité. Génération automatique de tests. Calcul de stratégies gagnantes. Génération de tests par la synthèse de contrôleurs. Outils de vérification et leurs fondements théoriques.

Manuel(s) :
Notes :
Responsable(s) : Boucheneb, Hanifa
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6603

ES  INF6605  Méthodes formelles sécurité de l'information   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Contrôle d'accès : mécanismes, modèles (définition, spécification et vérification), limitations. Contrôle de flux d'information : mesures, spécification et analyse de flux dans un programme séquentiel. Non-interférence (spécification, analyse et limitations), généralisations de la non-interférence aux systèmes distribués (spécification, classification et analyse). Sécurité des systèmes ouverts : spécification des propriétés de sécurité, modèles d'attaques, diverses méthodes d'analyse automatisée et leurs limitations.

Manuel(s) :
Notes :
Responsable(s) : Mullins, John

ES  INF6800  Conc. géom. ass. par ord. et visualisation   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Courbes et surfaces en conception géométrique assistée par ordinateurs : Bézier, B-splines et B splines rationnelles non uniformes (NURBS). Applications à la visualisation. Surfaces à facettes triangulaires, surfaces implicites et surfaces de subdivision. Algorithmes d'insertion de noeuds, de projection et de reparamétrisation. Interpolation de courbes et de surfaces. Recherche géométrique. Modélisation géométrique solide : géométrie et topologie. Normes d'échange de données graphiques et géométriques.

Manuel(s) :
Notes :
Responsable(s) : Guibault, François
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6800

ES  INF6802  Réalité virtuelle : principes et applications  [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF2705 ou l'équivalent
Corequis :

Réalité virtuelle et environnements virtuels. Applications des systèmes de réalité virtuelle. Matériel. Logiciels. Normes graphiques. Scène et structure hiérarchique d'objets graphiques. Modélisation géométrique et transformations. Visualisation scientifique en immersion. Techniques de navigation et de déplacement. Actions et interactions en immersion. Systèmes à retour d'effort. Environnements de collaboration. Avatars. Téléopération. Protocoles de collaboration.

Manuel(s) :
Notes :
Responsable(s) : Ozell, Benoît
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6802

ES  INF6803  Traitement vidéo et applications   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF1010 ou l'équivalent
Corequis :

Définition et objectifs du traitement vidéo. Architecture et caractéristiques des caméras vidéo. Indexation vidéo : détection des transitions, découpage en scènes, détection automatique d'événements. Détection du mouvement dans une séquence vidéo. Élimination du bruit et des ombres. Extraction et représentation de l'information d'une séquence vidéo. Description des objets en mouvement : modèles d'apparence, modèles structurels, modèles d'humain. Modélisation et reconnaissance des gestes et des activités.

Manuel(s) :
Notes :
Responsable(s) : Bilodeau, Guillaume-Alexandre
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6803

ES  INF8007  Langages de script   [détails] 

Nombre de crédits : 1  (1 - 1 - 1)
Département : Génies informatique, logiciel
Préalable(s) : 70 crédits pour les étudiants au baccalauréat
Corequis :

Caractéristiques des langages de script. Principaux langages et domaines d'application. Programmation avec un langage de script : syntaxe, structures de contrôle, structures de données, communication interprocessus et communication avec une base de données, modules clients et serveurs.

Manuel(s) :
Notes :
Responsable(s) : Desmarais, Michel C.
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8007

ES  INF8225  I.A.:tech. probabilistes et d'apprentissage   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : LOG2810 et MTH2302, ou l'équivalent
Corequis :

Méthodes probabilistes d'intelligence artificielle. Modèles probabilistes : réseaux bayésiens, modèles de Markov cachés, champs aléatoires de Markov et leurs généralisations. Inférence. Théorie de la décision statistique et des réseaux de décision. Algorithmes d'apprentissage automatique, classificateurs simples, complexes et structurés. Traitement probabiliste de la langue naturelle et de la perception visuelle. Applications à la conception et l'implantation des systèmes experts, au forage de données, à la recherche d'informations et à la vision par ordinateur.

Manuel(s) :
Notes :
Responsable(s) : Pal, Christopher
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8225

ES  INF8301  Ingénierie de la qualité en logiciel   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : 70 cr. pour les étudiants au baccalauréat
Corequis :

Concepts de base et définitions pertinentes en relation avec la qualité du logiciel, assurance qualité, tests, ingénierie de la qualité et planification de la qualité. Prévention des anomalies et classification des défauts. Tolérance aux fautes. Ingénierie de la fiabilité logicielle. Modèles de la qualité. Comparaison des différentes techniques d'assurance qualité. Amélioration du processus de développement logiciel. Mesure du logiciel et du processus. Identification des risques pour l'amélioration quantifiable de la qualité.

Manuel(s) :
Notes :
Responsable(s) : Robillard, Pierre N.
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8301

ES  INF8401  Configuration et gestion des réseaux inform.   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3405 ou l'équivalent
Corequis :

Historique des réseaux locaux. Architecture des réseaux locaux. Protocoles et fonctionnement des commutateurs et des routeurs. Conception des réseaux incluant le choix des technologies, des protocoles et des équipements. Configuration des commutateurs et des routeurs (câblés et sans fil). Câblage structuré. Systèmes d'exploitation des réseaux. Téléphonie et voix sur IP. Gestion de réseaux : gestion de la performance, des configurations et des fautes dans les réseaux. Virtualisation.

Manuel(s) :
Notes :
Responsable(s) : Chamberland, Steven
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8401

ES  INF8402  Sécurité des réseaux fixes et mobiles   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3405 ou l'équivalent
Corequis :

Sécurité des réseaux informatiques fixes et mobiles. Normes de sécurité des réseaux. Sécurité des technologies et des protocoles utilisés dans les réseaux informatiques fixes : réseaux Ethernet, réseaux TCP/IP (Transport Control Protocol/Internet Protocol) et particularités des réseaux IP. Sécurité des technologies et des protocoles utilisés dans les réseaux informatiques mobiles incluant les réseaux ad hoc, les réseaux de capteurs et les réseaux téléphoniques mobiles. Sécurité du système IMS (Internet Multimedia Subsystem) et des réseaux pair-à-pair. Technologies de sécurité des réseaux : réseaux privés virtuels et les réseaux locaux virtuels.

Manuel(s) :
Notes :
Responsable(s) : Quintero, Alejandro
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8402

ES  INF8500  Systèmes embarqués:conception et vérification  [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3610 ou l'équivalent
Corequis :

Introduction à la conception conjointe logiciel/matériel. Techniques de vérification fonctionnelle pour le matériel : génération aléatoire de tests sous contraintes, couverture de code, couverture fonctionnelle et assertions. Plan de vérification. Stimuli et réponse. Banc d'essai et concept de réutilisation pour différents niveaux d'abstraction. Langages System Verilog et SystemC pour la modélisation et la vérification de systèmes embarqués. Covérification, codébogage et cosimulation. Définition du codesign logiciel/matériel. Étapes de codesign : allocation, partitionnement logiciel/matériel, ordonnancement et raffinement. Estimation de performance. Synthèse du logiciel, du matériel et du protocole de communication. Implémentation. Études de cas d'outils industriels.

Manuel(s) :
Notes :
Responsable(s) : Bois, Guy
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8500

ES  INF8505  Processeurs embarqués configurables   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : ELE3312 ou INF3610 ou l'équivalent
Corequis :

Revue des microprocesseurs. Flot de conception d'un processeur embarqué. Langages de description architecturale. Compilateurs polyvalents : principes et approches. Configuration automatisée d'un processeur embarqué : profilage de code et synthèse de jeu d'instructions, génération de coprocesseurs, synthèse du chemin de données. Métriques de performance et de complexité. Configuration de processeurs embarqués pour réseaux prédiffusés programmables (FPGA).

Manuel(s) :
Notes :
Responsable(s) : Langlois, Pierre
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8505

ES  INF8702  Infographie avancée   [détails] 

Nombre de crédits : 3  (3 - 3 - 3)
Département : Génies informatique, logiciel
Préalable(s) : INF2705 ou l'équivalent
Corequis :

Architectures et technologies de rendu graphique. Rendu graphique en temps réel. Rendu d'objets polygonaux : élimination de parties cachées, nuanceurs de sommets et de fragments, ombrage. Rendu d'objets surfaciques. Utilisation de textures : textures 2D sur objets 3D, textures 3D. Courbes et surfaces paramétriques. Évolution du modèle de réflexion locale : réflexion spéculaire et diffuse par modélisation physique. Modèles d'illumination globale : lancer de rayons, radiosité. Rendu de volumes. Modélisation artistique. Réalité virtuelle.

Manuel(s) :
Notes :
Responsable(s) : Pal, Christopher
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8702

ES  INF8703  Audio numérique   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF4725 ou équivalent
Corequis :

Le son : acoustique, réponse de l'oreille, musique. Signaux audio : échantillonnage, rééchantillonnage, analyse de fréquences dans le temps. Traitement des signaux audio : filtrage, débruitage, réparation, changement de note et de vitesse. Simulation du positionnement d'une source sonore dans un environnement virtuel. Modélisation et synthèse de son. Compression : psychoacoustique et sans perte. Traitement en temps réel.

Manuel(s) :
Notes :
Responsable(s) : Boyer, François-Raymond

ES  INF8801  Systèmes multimédias et applications   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF4710 ou l'équivalent
Corequis :

Composantes d'un système multimédia. Compression d'images fixes : modèle psycho-visuel humain, compression par ondelettes, par fractales, compression sans perte, normes de compression d'images fixes. Indexation d'images par contenu : systèmes orientés usagers, apprentissage et sémantique, descripteurs et mesure de similarité. Compression de séquences vidéo : par analyse et segmentation de mouvement, par fractales, normes de compression vidéo. Animation basée sur la modélisation physique. Étude d'exemples d'applications multimédias.

Manuel(s) :
Notes :
Responsable(s) : Cheriet, Farida

FOR MORE INFORMATIONS

École Polytechnique de Montréal
Registrar
C.P. 6079, succ Centre-ville
Montréal (Québec) CANADA, H3C 3A7
Phone : 514 340-4724
Fax : 514 340-5836
Email : registraire@polymtl.ca
Pavilion : Principal
Local : A-201

Contains under the responsability of the Registrar(*).

 

© École Polytechnique de Montréal
Find Peoble or units | Site plan | Key word search | Conditions(*) this link leads to a section in french.