Archives

Je conserve quelques liens pour archivage. Attention, ils sont non maintenus, beaucoup de liens sont donc sans doute cassés.

  1. 2004―2005 (Introduction à l'informatique et Unix et automates)
  2. 2005―2006 (Système L3)
  3. Introduction aux systèmes d'exploitation (51 IS1) (2006―2007)
  4. Systèmes Master1 (2006―2007)
  5. SVL en M1 (2007―2008) :
    • énoncé du premier TP de Model-Checking ;
    • énoncé d'un mini-TP pour approfondir vos connaissances sur Spin/XSpin ;
    • énoncé du TP de modélisation du protocole (initial) de Needham-Schroeder et de découverte d'une faille ;
  6. SIME en L1 (S2) (2007―2008) :
    • énoncé de TP sur les nombres de Mersenne ;
    • énoncé sur la conjecture de Proth-Gilbreath ;
    • énoncé sur les nombres raccourcissables ;
    • énoncé sur les nombres k-ièmes et les suites décimées ;
    • énoncé sur les nombres zébrés.
  7. SVL en M1 (2008―2009) :
    • énoncé du deuxième TP, introduisant JUnit ;
    • énoncé du troisième TP, exploitant JUnit pour du Test-Driven Development ;
    • énoncé d'un mini-projet pour pratiquer le test et la couverture (Sudoku) ;
    • énoncé du premier TP de Model-Checking, introduisant Spin ;
    • énoncé du TP de modélisation du protocole (initial) de Needham-Schroeder et de découverte d'une faille.
  8. SIME en L1 (S2) (2008―2009) :
    • énoncé de TP sur les nombres de Mersenne.
  9. AAC en M1 :
    • énoncé du TP sur la réduction de palette d'image par programmation dynamique.