Académique Documents
Professionnel Documents
Culture Documents
SYSTMES ET MOBILIT
CARTE D'IDENTIT DE LA FORMATION :
Niveau : Master
Dure : 4 semestres
Crdits : 120 crdits ECTS
Disciplines : Informatique
Organisation de la formation :
Langue d'enseignement et examen :
Franais.
Parcours de formation :
2 parcours diffrencis partir du master 2:
Calcul haute performance
Rseaux, systme et mobilit
OBJECTIFS ET DBOUCHS :
Objectifs :
Le diplm possde des comptences transversales, acquises dans un contexte gnral de formation universitaire et des comptences scientifiques spcifiques, acquises au
Page 1 / 43 - 05/02/2014
Comptences acquises :
Trois niveaux de mise en oeuvre sont prciss ci-dessous : I = avec encadrement ; II = en autonomie ; III = avec capacit t ransmettre, voire innover.
Comptences transversales : organisationnelles et relationnelles
Raliser une tude, scientifique ou non, en vue d'une valuation, d'un dveloppement , d'une conception, d'une application, en vue de tester ou d'laborer une
modlisation (III) : poser une problmatique en tenant compte du contexte et des objectifs, construire et dvelopper une argumentation, raliser l'action, interprter
les rsultats, laborer une synthse, valuer l'action et proposer des prolongements.
Raliser un cahier des charges en tenant compte des besoins du client et des contraintes temporelles, humaines et conomiques (II).
Communiquer (II) : rdiger clairement , prparer des supports de communication en utilisant diverses techniques (rapport , diaporama, note de synthse, poster,...),
et les commenter pour un public, averti ou non, en franais voire en anglais (comprhension et ex pression crites et orales).
Raliser et produire des donnes, des tudes, des logiciels, en quipe (II).
Respecter l'thique scientifique en toutes circonstances, sur la base des principes dontologiques dvelopps traditionnellement dans le cadre universitaire (II).
Capacit d'intgration dans une entreprise ou un laboratoire (stage de 4 6 mois effectu lors du dernier semestre de la formation) (II).
Activits - Mtiers :
Le diplm en Master Sciences, Technologies, Sant, mention Informatique, spcialit Rseaux, Systmes et Mobilit, peut prtendre des emplois diversifis dans lesquels
seront mises en oeuvre les activits suivantes :
analyse et conception dalgorithmes et de logiciels,
conception, mise en oeuvre et valuation darchitecture rseaux,
conception, mise en oeuvre et valuation darchitecture systmes,
conception, mise en oeuvre et valuation darchitecture rparties,
tude et dploiement de plate-formes,
tude et mise en oeuvre de la scurit de plate-formes logicielles et matrielles,
dveloppement logiciel pour des systmes embarqus.
Les diplms exercent par exemple leur activit dans le cadre d'entreprises des secteurs suivants :
Informatique, Tlcommunications, Aronautique, Technologie, Automatique, Ingnierie, Biotechnologies, Recherche,
Enseignement
Les diplms exercent leur activit dans des types d'emplois tels que :
Informaticien expert/informaticienne experte
Informaticien/informaticienne d'tude
Cadre technique d'tudes scientifiques et de recherche fondamentale
Cadre technique d'tudes-recherche-dveloppement de l'industrie
Professionnel/professionnelle de l'image
Professionnel/professionnelle du son
Informaticien/informaticienne d'exploitation
Organisateur informaticien/organisatrice informaticienne
Expert rseau
Gestionnaire rseau
Ingnieur rseau
Architecte rseau
Ingnieur systme
Architecte systme
Codes des fiches ROME (Rpertoire oprationnel des mtiers) les plus proches :M1802, M1806
Secteurs d'activit :
Informatique, Tlcommunications, Aronautique, Technologie, Automatique, Ingnierie, Biotechnologies, Recherche, Enseignement
Poursuite d'tudes :
Poursuite d'tudes possible en Doctorat
MODALITS D'ACCS :
Niveau de recrutement :
Diplme requis l'entre : BAC+3
Conditions d'accs :
Accs en 1er semestre : tre titulaire d'une Licence Sciences, Technologies, Sant de mention en cohrence avec la mention de Master choisie. Admission sur dossier pour
tout autre diplme. Accs aux autres semestres : admission sur dossier.
Page 2 / 43 - 05/02/2014
PARTENARIAT ET INTERNATIONAL :
Partenariat :
Institut Polytechnique de Bordeaux (IPB)
changes internationaux :
Erasmus
Crepuq
CONTENU DE LA FORMATION :
Rglement d'examen :
Les UE font l'objet d'examens crits et ventuellement d'un contrle continu ainsi que d'une session de rattrapage (2me session) crite ou orale. Les UE comportant un stage
donnent lieu l'valuation d'un rapport crit et d'une soutenance orale. Chaque UE est note de 0/20 (note minimum) 20/20 (note maximum). L'UE est acquise ds lors que
l'tudiant y a obtenu une note au moins gale 10/20.
Le diplme de Master est dlivr tout tudiant dont la moyenne de 1re anne, la moyenne de premier semestre, de second semestre et de stage de 2me anne, sont au
moins gales 10/20.
Le bnfice des composantes acquises peut tre gard sans limite sous rserve de conformit avec la base lgale du diplme.
En savoir plus :
Semestres :
Stages optionnels
Semestre 7
Semestre 8
Semestre 9
Rseaux systmes et mobilit parcours Calcul haute performance (A partir de la rentre 2012)
RSM parcours rseaux, systmes et mobilit
Semestre 10
Rseaux, systmes et mobilit parcours Calcul haute performance - Finalit professionnelle
Rseaux, systmes et mobilit parcours Calcul haute performance - Finalit recherche
Rseaux, systmes et mobilit parcours Rseaux, systmes et mobilit - Finalit professionnelle
Rseaux, systmes et mobilit parcours Rseaux, systmes et mobilit - Finalit recherche
Semestre 9 ENSEIRB
Page 3 / 43 - 05/02/2014
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Projet
semi-encadr
0.2
1h30
0.2
Examen crit
1h30
0.6
Dtails ventuels
Dures Coefficients
1h30
report session 1 (Projet+DS)/2
0.6
0.4
Page 4 / 43 - 05/02/2014
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Examen crit
1h30
0.5
0.5
1h30
report session 1
0.5
0.5
Page 5 / 43 - 05/02/2014
Comptences acquises
Exprience professionnelle dans le domaine vis.
Volume des enseignements
Heures en prsentiel
Cours Magistraux
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Dtails ventuels
Rapport
00h00
0.4
Soutenance
01h00
0.4
00h00
0.2
Dures Coefficients
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Mode d'valuation :
Page 6 / 43 - 05/02/2014
Dtails ventuels
Rapport
00h00
0.4
Soutenance
00h30
0.4
00h00
0.2
Dures Coefficients
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Dtails ventuels
Rapport
00h00
0.4
Soutenance
00h30
0.4
00h00
0.2
Dures Coefficients
Page 7 / 43 - 05/02/2014
Franais
Responsable(s)
Anne DICKY
La seconde partie de cet enseignement est consacre l'tude de problmes concrets de traitement d'image. Elle est organise autour de trois thmes :
-Les traitements qualitatifs pour l'amlioration d'image : transformations basiques, traitement de la luminosit et du contraste, traitement chromatique, lissage, accentuation
des dtails, effets spciaux, etc.
La restauration des images pour la correction des dfauts : dfauts d'illumination, bruit priodique et apriodique, distorsions gomtrique, modlisation des
distorsions et filtrage inverse, etc.
L'extraction des contours : mthodes drivatives, oprateur drivatifs du premier ordre et du second ordre, seuillage, gradients morphologiques, etc.
Comptences acquises
-Identifier et caractriser les dfauts d'une image
-Comprendre et traduire sous forme algorithmique la spcification mathmatique d'une mthode de traitement d'image
-Choisir le modle et/ou la mthode adapte un type de traitement
-Construire ou adapter une chane de traitements spcifique la rsolution d'un problme particulier
-Implmenter et mettre en oeuvre les principales mthodes de traitement d'image
Volume des enseignements
Heures en prsentiel
Cours Magistraux
24
Travaux Dirigs
24
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Bibliographie :
* R.C. Gonzalez and P. Woods, Digital Image Processing, Third edition. Prentice-Hall, 2008.
* J.C. Russ, The Image Processing Handbook, Fourth edition. CRC Press 2002.
* P. Soile, Morphological Image Analysis - principles and application, Second edition, Springer, 2003.
* A. Trmeau, C. Fernandez-Maloigne et P. Bonton, Image numrique couleur, Dunod, 2004.
* J.-P. Cocquerez et S.Philips, Analyse d'images : filtrage et segmentation, Masson, 1995.
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Page 8 / 43 - 05/02/2014
01h30
0.5
00h00
0.5
report session 1
01h30
0.5
00h00
0.5
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Bibliographie :
Real-Time Rendering, Third Edition. Tomas Akenine-Moller, Eric Haines and
Naty Hoffman (Jul 31, 2008)
Geometric Tools for Computer Graphics (The Morgan Kaufmann Series in
Computer Graphics). Philip Schneider and David H. Eberly (Oct 10, 2002)
OpenGL SuperBible: Comprehensive Tutorial and Reference (5th Edition). Richard S. Wright, Nicholas S Haemel, Graham Sellers and Benjamin Lipchak (Aug
Page 9 / 43 - 05/02/2014
2, 2010)
Programming Massively Parallel Processors: A Hands-on Approach (Applications
of GPU Computing Series). David B. Kirk and Wen-mei W. Hwu (Feb 5, 2010)
Informatique graphique et rendu. Bernard Proche, Dominique Bechmann et
Collectif (9 fvrier 2007)
Mode d'valuation :
Epreuves 1re session
Type d'valuation
01h30
2/3
00h00
1/3
report session 1
01h30
2/3
00h00
1/3
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Bibliographie :
Ivan BRATKO Programmation en PROLOG pour l'intelligence artificielle InterEditions, 1988.
Patrick BLACKBURN, Jahan BOS, Kristina STRIEGNITZ Prolog, tout de suite! Kings College Publication 2007.
Ruslan MITKOV (editor), The Oxford Handbook of Computational Linguistics , Oxford University Press 2003
Anders MLLER and Michael SCHWARTZBACH An Introduction to WML and Web Technologies, Pearson Education Limited, Addison Wesley, 2006.
Page 10 / 43 - 05/02/2014
Fernando PEREIRA et Stuart SHIEBER, Prolog and Natural Language Analysis, CSLI, Chicago University Press, 1987.
RDF Schema: http://www.w3.org/TR/rdf-schema/
OWL: http://www.w3.org/TR/owl-features/
W3C Semantic Web Activity : http://www.w3.org/2001/sw/
Mode d'valuation :
Epreuves 1re session
Type d'valuation
03h00
0.5
Soutenance
00h00
0.5
report session 1
03h00
0.5
00h00
0.5
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Page 11 / 43 - 05/02/2014
Algorithmique, Complexit
Programme :
Algorithmique Parallle :
Modles du calcul parallle, modles en mmoire partage et en mmoire distribue.
Analyse et complexit des algorithmes parallles : acclration, cot, efficacit, iso-efficacit, granularit.
Etude d'algorithmes parallles fondamentaux : fusion, tri, slection, recherche, calcul matriciel, rsolution d'quations, FFT, algorithmes de graphes.
Equilibrage et Rgulation de Charge :
Structure des architectures et placement des calculs et des donnes.
Conception des algorithmes parallles, problme du ratio calcul/communication.
Placement statique, partitionnement de graphes.
Paralllisation automatique: placement et alignement de donnes pour des problmes rguliers.
Ordonnancement et placement sur architectures htrognes, prise en compte de l'irrgularit des problmes.
Comptences acquises
Conception d'algorithmes performants sur calculateur parallle
Algbre linaire parallle
Ordonnancement statique
Volume des enseignements
Heures en prsentiel
Cours Magistraux
40
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Bibliographie :
1.Introduction to Parallel Computing A. Grama, A. Gupta, G. Karypis et V. Kumar Addison-Wesley, Deuxime dition, 2003, ISBN 0 201 64865 2.
2.Algorithmique parallle A. Legrand et Y. Robert Dunod, 2003, ISBN 2 10 006531 9.
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Partie 1
2h00
0.33
Partie 2
2h00
0.33
00h00
0.33
Partie 1
2h00
1/3
Partie 2
2h00
1/3
00h00
1/3
Page 12 / 43 - 05/02/2014
Travaux Dirigs
Travaux Pratiques
Cours intgrs
18
TD sur machine
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Dtails ventuels
Dures Coefficients
00h00
0.4
Synthse crite
1h05
0.4
Autres
Expos
00h00
0.2
Page 13 / 43 - 05/02/2014
Franais
Responsable(s)
Isabelle ESCOLIN-CONTENSOU
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Bibliographie :
Software Engineering. Sommerville. Addison-Wesley, 2006.
Clean Code. Martin. Prentice-Hall. 2009.
Agile Software Development. Martin. Prentice-Hall. 2003.
Code Reading. Spinellis. Addison-Wesley. 2003.
Code Quality. Spinellis. Addison-Wesley. 2006.
Practical Development Environments. Doar. O'Reilly. 2005.
Object-Oriented Analysis And Design: Understanding System Development With UML 2.0. O'Docherty. Wiley. 2005.
UML Distilled : A Brief Guide to the Standard Object Modeling Language. Fowler. Addison-Wesley, 2004.
Design Patterns. Gamma, Helm, Johnson, Vlissides. Addison-Wesley. 1995.
AntiPatterns. Brown et al. Wiley. 1998.
Why Programs Fail : A Guide to Systematic Debugging. Zeller. Morgan Kaufmann, 2005.
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Mmoire
00h00
Pas de session 2
Heures d'accompagnement: heures clientFormation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Page 14 / 43 - 05/02/2014
Langue d'enseignement
Franais
Responsable(s)
Philippe NARBEL
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Bibliographie :
M.C. Golumbic, Algorithmic Graph Therory and Perfect Graphs, 2nd edition , Anals of Discrete Mathematics 57, Elsevier B.V., 2004
I. Charon, A. Germa, O. Hudry Mthodes d'optimisation combinatoire , Masson, collection pdagogique de tlcommunication, Paris, 1996
J. Dro, A. Ptrowski, P. Siarry, E. Taillard, Mtaheuristiques pour l'optimisation difficile ,
Eyrolles, collection algorithmes, Paris, 2003
Mode d'valuation :
Epreuves 1re session
Type d'valuation
01h30
0.5
Projet
00h00
0.25
DS
01h30
0.25
report projet
01h30
0.75
00h00
0.25
00h00
Page 15 / 43 - 05/02/2014
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Projet
00h00
0.33
Rapport
00h00
0.33
Soutenance
00h00
0.33
Page 16 / 43 - 05/02/2014
24
Travaux Dirigs
24
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Bibliographie :
Guide du corpus des connaissances en management de projet, (guide PMBOK) PMI 4me dition.
Human Factors in Flight, de Frank H Hawkins chez Ashgate
Pratiques de la conduite du changement de David Autissier chez Dunod
De la Performance l'Excellence, de Jim Collins. Publi le 19/06/2009 aux ditions Pearson Village Mondial.
CMMI: Guidelines for Process Integration and Product Improvement, 2nd edition
(November 2006) CMMI for Development (CMMI-DEV), Version 1.2. Software Engeneering Institute
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Rapport
00h00
Page 17 / 43 - 05/02/2014
Comptences acquises
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Rapport
00h00
0.33
Soutenance
00h00
0.33
00h00
0.33
12
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Page 18 / 43 - 05/02/2014
Mode d'valuation :
Epreuves 1re session
Type d'valuation
01h00
20
Travaux Dirigs
30
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
0.5
1h30
0.5
Page 19 / 43 - 05/02/2014
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Abdou GUEMOUCHE
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Page 20 / 43 - 05/02/2014
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
01h30
0.67
00h00
0.33
report session 1
01h30
0.67
00h00
0.33
Page 21 / 43 - 05/02/2014
10. les techniques de type sense and avoid, la localisation en in-door et out-door
11. les technologies associes, les problmatiques applicatives tracking video, traitement d'images, radio, etc.
Mise en oeuvre
Enfin, il est important que les tudiants qui choisissent cette UE puissent tre oprationnels immdiatement. C'est pourquoi, ils seront forms aux bases de l'aronautique et
suivront une formation d'oprateur drone, indispensable aujourd'hui pour pouvoir faire voler un tel appareil.
12. Bases d'aronautique
13. Formation oprateur (pour l'essentiel an auto-apprentissage) + examen final
Comptences acquises
La comptence essentielle acquise au travers de cette UE est une forte capacit s'adapter
un domaine en constante volution:
capacit apprhender les nouvelles technologies
comprhension des problmatiques mergentes
rflexion et recul sur l'volution du domaine
obtention d'un diplme d'oprateur assurant une oprationnalit immdiate
Volume des enseignements
Heures en prsentiel
Cours Magistraux
24
Travaux Dirigs
24
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Dtails ventuels
Dures Coefficients
1h30
0.67
00h00
0.33
report session 1
1h30
0.67
00h00
0.33
ANGLAIS (B1IN8W11)
Semestre de printemps (M1) : 3 ECTS
Objectifs :
La formation s'articule autour d'enseignements en prsentiel (comprhension, mises en situation de prise de parole varies (prsentations, analyses/commentaires, dbats,
simulations)
Prrequis recommands :
niveau B2 selon le Cadre Europen des Langues (utilisateur indpendant).
Programme :
La formation s'articule autour d'enseignements en prsentiel (comprhension, mises en situation de prise de parole varies (prsentations, analyses/commentaires, dbats,
simulations)
Comptences acquises
aisance accrue dans la prise de parole et l'interaction orale dans une perspective professionnelle. Meilleure capacit de rflexion et d'autonomie cognitive. Meilleure capacit
comprendre un document oral.
Page 22 / 43 - 05/02/2014
Travaux Dirigs
24
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Bibliographie :
L'Anglais de A Z, Hatier
Minimum Competence in Scientific English, PUG
Mode d'valuation :
Epreuves 1re session
Type d'valuation
00h00
0.5
01h20
0.5
Oral
0.5
0.5
CRYPTOLOGIE (M1MA8W01)
Semestre de printemps (M1) : 6 ECTS
Objectifs :
Prsenter les principales Prsenter les principales composantes de la cryptologie moderne.
Prrequis recommands :
L3 math ou info
Programme :
* La contribution de Shannon en cryptographie, chiffrement parfait , le one-time pad , distance d'unicit, thorie de l'authenticit inconditionnelle.
* Chiffrement par flot, gnrateurs pseudo-alatoires et LFSR, notion de complexit linaire.
* Systmes de chiffrement par blocs, DES, AES.
* Fonctions sens unique, algorithmes et protocoles fonds sur l'exponentiation. Diffie-Hellman, systmes d'El Gamal, chiffrement et signature, DSA.
* La fonction carr modulaire: chiffrement et signature de Rabin.
* Fonctions de hachage, thorie et pratique.
* Chiffrement et signature RSA, problmes de primalit et de factorisation: les failles classiques de protocoles fonds sur RSA.
* Signatures aveugles, applications la monnaie lectronique.
* Cryptologie combinatoire, partage de secret, schmas de rvocation.
Comptences acquises
Les principales Prsenter les principales composantes de la cryptologie moderne.
Volume des enseignements
Heures en prsentiel
Cours Magistraux
24
Travaux Dirigs
24
Page 23 / 43 - 05/02/2014
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Bibliographie :
Cours de cryptographie, G. Zmor, Cassini, 2000.
http://www.math.u-bordeaux.fr/CSI/index.php?page=bibliographie
Mode d'valuation :
Epreuves 1re session
Type d'valuation
1h30
1/3
3h00
2/3
00h00
Formation initiale
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Gilles ZEMOR
Vu que les cours et TD sont principalement centrs sur Linux, des TD sont prvus pour montrer l'quivalent pour windows.
Comptences acquises
tre capable de mettre en place un rseau et de le rendre parfaitement utilisable par des novices. Les comptences acquises dans cette UE sont principalement lies soit des
aspects techniques (pour la configuration d'un rseau) ou des aspects mthodologiques (lorsqu'un diagnostic est ncessaire).
Volume des enseignements
Heures en prsentiel
Cours Magistraux
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Page 24 / 43 - 05/02/2014
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
02h00
0.5
01h30
0.5
Dtails ventuels
report session 1
Dures Coefficients
01h30
0.5
00h00
0.5
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Bibliographie :
http ://altarica.labri.fr/
http://www.event-b.org/
Modeling in Event-B: System and Software Engineering, Jean-Raymonf Abrial, Cambridge University Press, 2010.
E.M. Clarke, O. Grumberg, and D. Peled. Model Checking.MIT Press, 2000.
Ph. Schnoebelen (coord.) Verification de logiciels. Vuibert, 1999.
Mode d'valuation :
Page 25 / 43 - 05/02/2014
03h00
2/3
00h00
1/3
report session 1
03h00
2/3
00h00
1/3
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Bibliographie :
The Art of Multiprocessor Programming - Maurice Herlihy et Nir Shavit - Editons Morgan Kaufmann - ISBN-13: 978-0123705914
Computer Architecture: A Quantitative Approach, Editions Morgan Kaufmann - ISBN-13: 978-1558605961
OpenMP Application Program Interface, http://www.openmp.org/mp-documents/spec30.pdf
Mode d'valuation :
Epreuves 1re session
Type d'valuation
01h30
0.75
00h00
0.25
Page 26 / 43 - 05/02/2014
report session 1
01h30
0.75
00h00
0.25
24
Travaux Dirigs
24
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Bibliographie :
J.E. Hopcroft, R. Motwani, J. D. Ullman.
Introduction to Automata Theory, Languages & Computation.
Addison-Wesley, 2005.
M. Sipser.
Introduction to the Theory of Computation.
PWS publishing Company, 1997.
O. Carton.
Langages formels, Calculabilit et Complexit.
Vuibert, 2008.
J.M. Autebert.
Calculabilit et Dcidabilit.
Masson, 1992.
Page 27 / 43 - 05/02/2014
Mode d'valuation :
Epreuves 1re session
Type d'valuation
03h00
2/3
00h00
1/3
Dtails ventuels
report session 1
Dures Coefficients
03h00
2/3
00h00
1/3
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Bibliographie :
Joshua Bloch, "Effective Java, Programming Language Guide", Addison-Wesely 2001
Maurice Naftalin et Philip Wadler, "Java Generics and Collections", O'Reilly 2006
E. Gamma, R. Helm, R. Johnson et J. Vlissides, "Design Patterns. Catalogue de modles de conception rutilisables", Vuibert, 1999
Mode d'valuation :
Epreuves 1re session
Type d'valuation
00h00
0.33
Page 28 / 43 - 05/02/2014
03h00
0.66
report session 1
03h00
0.66
00h00
0.33
Projet donnant lieu un rapport (3-4 pages) et une prsentation du logiciel ralis.
Note session 2 = CoeffEx2 * Ex2 + coeffCC * max(Ex2,CC)Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Autres
Langue d'enseignement
Franais
Responsable(s)
Xavier BLANC
24
Travaux Dirigs
24
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
03h00
2/3
00h00
1/3
Dtails ventuels
Dures Coefficients
Page 29 / 43 - 05/02/2014
report session 1
03h00
2/3
00h00
1/3
COMPILATION (J1IN7M13)
Semestre d'automne (M1) : 6 ECTS
Objectifs :
Cette formation applique les connaissances thoriques acquises en licence un thme classique de l'informatique. Les applications s'tendent toutes les questions de
traduction d'un langage vers un autre et fournissent l'occasion d'approfondir la connaissance des concepts sur les langages de programmation.
Prrequis recommands :
Thorie des langages, Programmation
Programme :
Analyse lexicale et syntaxique : logiciel de la famille Lex/Yacc.
Production de code : systmes dirigs par la syntaxe, allocation de registres, invariants de boucles et optimisation du code, analyse statique, flots de donnes
Comptences acquises
Matrise d'un compilateur de compilateur.
Mise en oeuvre logicielle des diffrents aspects de la compilation.
Application des algorithmes classiques l'optimisation de code.
Volume des enseignements
Heures en prsentiel
Cours Magistraux
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
01h30
2/3
00h00
1/3
report session 1
01h30
2/3
00h00
1/3
Page 30 / 43 - 05/02/2014
Franais
Responsable(s)
Frdrique CARRERE
RSEAUX (J1IN7W13)
Semestre d'automne (M1) : 6 ECTS
Objectifs :
Prsenter les principaux concepts et protocoles des rseaux informatiques. Cette UE n'est pas oriente vers la mise en pratique de ces concepts, objet de l'UE Administration
des Rseaux.
Programme :
Couche physique : gammes d'ondes utilises pour le transfert d'informations, cbles (coaxiaux, paires torsades, fibres optiques), multiplexages frquentiel et temporel,
lments de thorie du signal (dcomposition de Fourier, formules de Nyquist et de Shannon pour la relation entre bande passante et dbit d'information), modems.
Application aux rseaux de tlphonie mobile.
Couche liaison : trames, protocole HDLC (exemple de protocole fentre coulissante), Ethernet (norme 802.3) et son protocole CSMA/CD, introduction aux codes dtecteurs
et correcteurs d'erreurs, spanning tree, VLANs, trunking.
Couche rseau : algorithmes de routage, structure d'un paquet IP et adressage IP, comparaison entre IPv4 et IPv6. Introduction aux rseaux MPLS (circuits virtuels) et au
routage ATM.
Couche transport : structure d'une TPDU (unit de transport) TCP, ports et sockets, algorithmes de retransmission des paquets perdus, de rgulation de flux et de prvention de
congestion.
DNS (RFC 1034 et 1035) : dfinition du service de noms de domaines, types d'enregistrements dans une base de donnes DNS, gestion dcentralise de l'annuaire via les
serveurs dlgues, requtes et rponses, dure de vie d'un enregistrement et mmoire cache.
Courrier lectronique : protocole SMTP (RFC 821 et 822), format MIME (RFC 2045 2049) pour les documents multimedia, codage en base 64.
Web : protocole HTTP, URL, types de requtes (mthodes), serveurs proxy et gestion de la mmoire cache.
Comptences acquises
Cette UE constitue un apprentissage des bases fondamentales des rseaux informatiques. Avec un clairage scientifique et technique, les tudiants sont amens comprendre
comment fonctionne un rseau aussi bien d'un point de vue structurel (adressage, commutation, routage, ...) que fonctionnel (services et gestion des utilisateurs). Ainsi, la fin
de l'UE, les tudiants devraient tre capables de maitriser l'architecture d'un rseau LAN ou WAN utilisant TCP/IP et de comprendre son fonctionnement.
Volume des enseignements
Heures en prsentiel
Cours Magistraux
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Bibliographie :
LES RESEAUX (Edition 2003-2004)
Auteur : GUY PUJOLLE
Editeur : Eyrolles
ISBN : 2212110863
RESEAUX - ARCHITECTURES, PROTOCOLES, APPLICATIONS
Auteur : ANDREW TANENBAUM
Editeur : Interditions
ISBN : 2729603018
Mode d'valuation :
Epreuves 1re session
Type d'valuation
01h30
0.75
00h00
0.25
report session 1
01h30
0.75
00h00
0.25
Page 31 / 43 - 05/02/2014
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Bibliographie :
"Systmes d'exploitation" (A. Tanenbaum), "Le noyau Linux" (D. Bovet, M. Cesati)
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Dtails ventuels
Dures Coefficients
01h30
0.5
0.5
Page 32 / 43 - 05/02/2014
report session 1
01h30
0.5
00h00
0.5
Programme :
Foundation of logic: Propositional logic, predicate calculus, higher-order logic, modal logic, notion of model and of validity, inference rules and notion of proof.
Logic and Computers: Proof as a computational object, correlation between proofs and programs, formula and automata.
Computer assisted proofs: Correct program synthesis from proofs, proof of programs.
Comptences acquises
Formal specification of a program with logic formulae. Writing a correct formal proof.
Volume des enseignements
Heures en prsentiel
Cours Magistraux
24
Travaux Dirigs
12
Travaux Pratiques
Cours intgrs
TD sur machine
12
Accompagnement
Bibliographie :
A. Arnold, I. Guessarian : Mathmatiques pour l'informatique (Masson, 1992).
R. Cori, D.Lascar : Logique Mathmatique, cours et exercices (Dunod, 1993).
David-Nour-Raffalli : Introduction la logique, Dunod, 2003.
Bertot-Casteran : Interactive Theorem Proving and Program Development, Springer, 2004.
http://coq.inria.fr
Mode d'valuation :
Epreuves 1re session
Type d'valuation
03h00
0.5
00h00
0.5
report session 1
00h00
0.5
00h00
0.5
Page 33 / 43 - 05/02/2014
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
0.6
Mmoire
0.2
Soutenance
0.2
Page 34 / 43 - 05/02/2014
prsenter des applications de ces techniques, en particulier l'algorithmique des communications dans les rseaux distribus.
Prrequis recommands :
UE Graphes et Recherche Oprationnelle
Programme :
1. Notions avances de thorie des graphes
Cette partie du cours prsente des notions avances de thorie des graphes et familiarise l'tudiant avec certaines techniques de preuve classiques de graphes, tels que la
coloration et la domination. Quelques problmes et conjectures classiques sont abords ainsi que les techniques de preuves frquentes dans le domaine.
2. Algorithmes et communications dans les rseaux
Ce cours prsente l'algorithmique des communications dans les rseaux distribus, incluant le routage point--point et la dissmination d'informations. Ces rsultats sont
ensuite appliqus la conception de rseaux de tlcommunication tolrants aux pannes.
Comptences acquises
Les comptences acquises l'issue de cet enseignement sont les suivantes :
connaissance de notions avances de thorie des graphes,
matrise des techniques de preuve usuelles en thorie des graphes,
connaissance de diffrents types de coloration de graphes et de domination dans les graphes,
connaissance des principaux rsultats du domaine,
connaissance des modles de base pour modliser les rseaux de communication
connaissance des problmes de base pour la communication dans les rseaux
connaissance des reseaux de communication standards et de leurs proprits
connaissance des algorithmes de base pour la communication dans les rseaux
connaissance des techniques de preuve usuelles pour l'analyse des rseaux de communication
Volume des enseignements
Heures en prsentiel
Cours Magistraux
24
Travaux Dirigs
24
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Bibliographie :
Bela Bollobas, Modern Graph Theory, Springer-Verlag, Graduate Texts in Mathematics, Volume 184, 1998.
J.A. Bondy, U.S.R. Murty, Graph Theory, Graduate Texts in Mathematics, Volume 244, Springer, 2008.
Reinhard Diestel, Graph Theory, Springer-Verlag, Graduate Texts in Mathematics, Volume 173, 2005.
Juraj Hromkovic, Ralf Klasing, Andrzej Pelc, Peter Ruzicka, and Walter Unger. Dissemination of Information in Communication Networks: Broadcasting,
Gossiping, Leader Election, and Fault-Tolerance. Springer Monograph, Springer-Verlag, 2005.
Jean de Rumeur, Communications dans les rseaux de processeurs, Collection tudes et Recherches en Informatique, Masson, Paris, 1994.
Gerard Tel, Introduction to Distributed Algorithms, Cambridge University Press, 2000.
Douglas West, Introduction to Graph Theory, 2nd Edition, Prentice-Hall, 2000.
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Dtails ventuels
Dures Coefficients
01h30
0.25
00h00
0.25
01h30
0.25
00h00
0.25
Dtails ventuels
01h30
0.25
00h00
0.25
01h30
0.25
00h00
0.25
Examen crit ou oral (selon l'effectif) selon le nbre d'inscrits - Algorithmes et communication dans les rseaux
Contrle Continu (CC)
Dures Coefficients
Page 35 / 43 - 05/02/2014
Franais
Responsable(s)
Eric SOPENA
Prrequis recommands :
UEs Rseaux, Administration Rseaux et Systmes d'exploitation de M1
Programme :
Le programme comprend en particulier les points suivants:
Etat des lieux
Gestion des rseaux
Qualit de service, ngociation
Scurit
Equipements mobiles communicants
etc.
Limitations et extensions des technologies actuelles des rseaux et des quipements communicants
Rseaux et matriels du futur
Comptences acquises
La comptence essentielle acquise au travers de cette UE est une forte capacit s'adapter un domaine en constante volution:
capacit apprhender les nouvelles technologies
comprhension des problmatiques mergentes
rflexion et recul sur l'volution du domaine
Volume des enseignements
Heures en prsentiel
Cours Magistraux
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
01h30
0.67
00h00
0.33
report session 1
01h30
0.67
00h00
0.33
Page 36 / 43 - 05/02/2014
Responsable(s)
Serge CHAUMETTE
24
Travaux Dirigs
24
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
01h30
0.5
00h00
0.5
report session 1
01h30
0.5
00h00
0.5
Page 37 / 43 - 05/02/2014
24
Travaux Dirigs
24
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
03h00
0.5
00h00
0.5
report session 1
03h00
0.5
00h00
0.5
Page 38 / 43 - 05/02/2014
d'dition (oprations structurelles lmentaires, oprations d'dition). Formulation en termes de problme d'optimisation, algorithmes efficaces en temps et en espace,
solutions incrmentales, programmation dynamique.
Rseaux d'interactions et mtaboliques, voies mtaboliques. Exploration des relations du type "guilt by association", recherche de chemins et sous-graphes indiquant des voies
de signalisation, recherche de modes lmentaires.
Visualisation de graphes, visualisation d'informations. Algorithmes de dessin, interaction avec les reprsentations visuelles des graphes. Construction et classification de
paramtres pertinents, dessins de grands graphes, fragmentation (clustering) de graphes.
Comptences acquises
Modliser un problme bio-informatique en termes de structures de donnes (mots, arbres, graphes).
Utilisation des principaux algorithmes, mthodes et heuristiques dveloppes en bio-informatique ou dans des domaines de l'informatique fondamentale et pertinent pour la
bio-informatique. Mesurer le potentiel applicatif des mthodes et outils dvelopps en bio-informatique pour d'autres champs applicatifs tels les sciences sociales. Avoir une
vue sur l'ensemble des outils et implmentations mis disposition par la communaut de recherche.
Volume des enseignements
Heures en prsentiel
Cours Magistraux
24
Travaux Dirigs
24
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Projet
00h00
2/3
00h00
1/3
Projet
report session 1
00h00
2/3
00h00
1/3
Page 39 / 43 - 05/02/2014
24
Travaux Dirigs
24
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Bibliographie :
Bela Bollobas, Modern Graph Theory, Springer-Verlag, Graduate Texts in Mathematics, Volume 184, 1998.
Reinhard Diestel, Graph Theory, Springer-Verlag, Graduate Texts in Mathematics, Volume 173, 2005.
Juraj Hromkovi?, Ralf Klasing, Andrzej Pelc, Peter Ru?i?ka, and Walter Unger. Dissemination of Information in Communication Networks: Broadcasting,
Gossiping, Leader Election, and Fault-Tolerance. Springer Monograph, Springer-Verlag, 2005.
Jean de Rumeur, Communications dans les rseaux de processeurs, Collection Etudes et Recherches en Informatique, Masson, Paris, 1994.
Grard Tel, Introduction to Distributed Algorithms, Cambridge University Press, 2000.
Douglas West, Introduction to Graph Theory, 2nd edition, Prentice-Hall, 2000.
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Dtails ventuels
Examen crit
Examen crit
Dures Coefficients
1h30
0.25
0.25
1h30
0.25
0.25
Dtails ventuels
Examen crit ou oral (selon l'effectif) selon le nbre d'inscrits - Algorithmes et communication dans les rseaux
Contrle Continu (CC)
Dures Coefficients
1h30
0.25
0.25
1h30
0.25
0.25
Page 40 / 43 - 05/02/2014
24
Travaux Dirigs
12
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Rapport
00h00
1/2
Soutenance
00h00
1/2
Page 41 / 43 - 05/02/2014
24
Travaux Dirigs
Travaux Pratiques
Cours intgrs
TD sur machine
24
Accompagnement
Bibliographie :
PIERCE John / The Science of Musical Sound / Scientific American Book, 1983.
OPPENHEIM Alan, SCHAFER Ronald / Discrete-Time Signal Processing / Prentice-Hall, 1989.
ZWICKER Eberhard, FASTL Hugo / Psychoacoustics: Facts and Models / Springer Verlag, 1996.
Le livre des techniques du son / ditions frquences, Eyrolles, 1994.
PACHET Franois, BRIOT Jean-Pierre (diteurs) / Informatique musicale : du signal au signe musical / HERMES Sciences, 2004.
BLAUERT Jens / Spatial Hearing / MIT Press, 2001.
Mode d'valuation :
Epreuves 1re session
Type d'valuation
Dtails ventuels
Dures Coefficients
03h00
2/3
00h00
1/3
report session 1
03h00
2/3
00h00
1/3
Page 42 / 43 - 05/02/2014
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Pierre HANNA
Prrequis recommands :
Algorithmique lmentaire et avance, connaissance des concepts de la programmation objets
Programme :
Autonome pour le dveloppement de projet de plus grande envergure notamment pour d'autres UE enseignes en M2.
Comptences acquises
Autonome pour le dveloppement de projet de plus grande envergure notamment pour d'autres UE enseignes en M2.
Travaux Dirigs
16
Travaux Pratiques
Cours intgrs
TD sur machine
Accompagnement
Bibliographie :
Le langage et la bibliothque C++, norme ISO
Henri Garreta
ellipses, 2000
C++ Programming Language, The (3rd Edition)
Bjarne Stroustrup
Addison-Wesley, 2000
ISBN 0-201-88954-4 and 0-201-70073-5
Mode d'valuation :
Pas de contrle des connaissances, il s'agit d'un stage intensif de mise niveau (16h de TDM rparties sur la semaine).Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Bruno PINAUD
Page 43 / 43 - 05/02/2014