CS101 : algorithmique et programmation C
- Années : 2022-23, 2023-24, 2024-25
- Les transparents du cours (dernière mise à jour 30/12/22)
- Le cahier de TD. Une correction du TD5
- TDM : TDM1, TDM2, TDM3 (avec tdm3.c), TDM4 (avec tdm4.c), TDM5.
- Quelques programmes du cours, des TDs, des TPs (crible, tris, entrées/sorties, etc)
- Feuille de syntaxe C.
- Correction du DM1.
- Correction du CC1.
- Examen CS101 Sujet+éléments de correction (ainsi que des commentaires de correction). Examen 2023.
PIX111
- Années : 2022-23, 2023-24, 2024-25
- énoncés version 23-24
- mini jeu 1: pendu: énoncé pdf
- mini jeu 2: sudoku: énoncé pdf
- mini-jeu 3 : motus: énoncé pdf et code fourni (2023)
- Quelques corrections et des questions pour se préparer à l'évaluation (2022-23): archive.
- Examen PIX111 (janvier 2023): Sujet+éléments de correction, et le code associé
CE313: architecture des microprocesseurs
- Années: 2022-23 (respo), 2023-24 (chargée de TP)
- Les transparents du cours 22-23 (partie LG + bonus)
- Le cahier de TD.
- Le TP1.
- Feuille de mini-ISA RiscV
- Exam 2022 : énoncé complet avec éléments de correction des parties 1 (questions courtes) et 2 (RISCV)
IN330/CS351 Algorithmique et programmation C
- 2022-23 (chargée de TP), 2024-25 (chargée de TD/TP).
- 2022: L'énoncé du projet , et le StarterKit, la documentation : Annexe1-MIPS, Annexe2-InstructionsMIPS.
- 2024 : à venir.
CS302 (All): Systèmes (fev 2023)
- Transparents du cours de processus, remplacement de O.A. Les fichiers de demo.
CS328 (SES: 3app): Algorithmique avancée
- Nouveau cours 2023-24, passera en 4A en 2024-25 (pas d'instance en 24-25).
- Les transparents du cours
- cahier de TD.
- TP version 2023-24 (de 3h) : TP1,TP2,TP3,TP4.
- Annales : examen de session 1 (2023-24) avec éléments de correction.
CS442 (EIS): Applications Synchrones
- Resp. cours depuis 2021, moitié du cours. Version 2022-23 du cours ci-dessous.
- Les transparents du cours (partie LG)
- Les exercices de Lustre.
- Les énoncés de TP et leurs sources sont sur le git étudiant (lien sur la droite).
- Document: lustre refman
- Annale: examen 21-22.
CS443 (IRC): Bases de données
- Respo 2 ans (dont 1/2) en 2021-22 (moitié) et 2022-23
- Les transparents du cours.
- Le cahier de TD 2022-23.
- Un peu de syntaxe SQL.
- Les énoncés de TP et leurs sources sont sur le git étudiant (lien sur la droite)
- Annale: examen 2021.
CS444 (IRC): Compilation
- Respo depuis 2021-22. Les documents ci dessous sont ceux de 22-23.
- Les transparents du cours.
- Le cahier de TD.
- Le cahier de TP. Les sources fournies sont sur le git étudiant (lien sur la droite).
- Feuille de mini-ISA RiscV.
- Annale: examen 2021-22.
OS430 (IRC) et SE518 (EIS): Sécurité matérielle et logicielle
- co responsable avec D. Hely depuis 23-24: partie logicielle
- documents à venir
- Les transparents du cours.
- Les TPs de la partie SW :
- Annale : examen OS430 de 23-24
SE508 (EIS): Sûreté logicielle
- Nouvelle intervention 24-25 (avec O. Aktouf)
- Documents à venir