|
|
|
|
|
|
Ce cours donne une vue d'ensemble des
systèmes distribués, en présentant deux types
d'architecture : le client-serveur et les bus répartis.
On s'attachera à des implantations indépendantes des
plates-formes et à leur programmation en Java.
|
|
- Rappels
des protocoles internet UDP, TCP, Multi-thread
-
Architectures client-serveur (de données, distribués,
à n niveaux, Web/serveur)
- Objets
répartis (à agent mobiles, à bus de message, Corba,
Java RMI)
|
|
|
|
|
|
|
|
Principes fondamentaux et techniques du codage de
l'information : compression de données, cryptologie et
leurs applications.
|
|
- Elements
de la théorie de l'information, codes prefixes de Huffman et
variantes.
-
Compression statistique, par dictionnaires (LZ*), compression
d'images.
-
Performances comparées de quelques compresseurs.
- Les
divers services élémentaires offerts par le monde de la
cryptographie :
-
Chiffrement (symétrique (ex. RSA), asymétrique (DEA et
AES)), signature, hachage à sens unique, authentification,
notions de cryptanalyse, problématique des PKI
- Les
diverses mises en œuvre possibles de ces mécanismes
-
Présentations de quelques applications (paiement
éléctronique)
|
|
|
|
|
|
|
|
L'objectif du cours est de former les
étudiants au langage HTML, à l'écriture de pages
Web, et d'introduire la notion de feuille de styles CSS et le
langage de script « client- side » Javascript
et de former les étudiants aux principales techniques mise en
œuvre dans le WEB.
|
|
Après la formation, les étudiants
devront comprendre, maîtriser et connaître :
- les
principes de l'utilisation d'HTML,
- les
limitations du langage,
- la
syntaxe d'HTML, de CSS et de Javascript,
-
l'architecture du WEB,
- les
fonctionnalités générales du protocole HTTP ,
- le
fonctionnement et les principaux points de configuration d 'un
serveur WEB,
- les
principales techniques complémentaires mise en œuvre dans
un service WEB (CGI, Servlet, SSI, PHP), et
- les
échanges d'informations s'effectuant entre les
différentes éléments (clients serveurs, CGI,
Servlet, etc.) au cours du traitement d'une requête WEB.
|
|
|
|
|
|
|
|
Ce cours a pour objectif de présenter les
différentes étapes permettant, à partir de la
description théorique d'un langage fonctionnel (le
lambda-calcul), de produire différents modèles
d'exécution efficaces.
|
|
-
Lambda-calcul
-
Sémantique (small-step, big-step)
- Typage
(verification, inférence)
- Logique
combinatoire
- Machines
virtuelles (FAM, SECD, ZYNC, CAM,…)
-
Combinateurs, réduction de graphes
|
|
|
|
|
|
|
|