« INFO622 : Systèmes de synchronisation et Processus » : différence entre les versions

Version du 16 janvier 2013 à 09:41

Hopcroft et Ullman, Introduction to automata theory, languages, and computation. (1979).
Garey et Johnson, Computers and intractability a guide to the theory of NP-completeness. (1979).
Cormen, Leiserson et Rivest, Introduction à l'algorithmique, (1994).
Paschos, Complexité et approximation polynomiale, (2004).
Wilf, Algorithms and Complexity, (1994). Disponible en ligne

CM1 : Introduction

- Banque virtuelle : exemple de condition de concurrence.
   programme ``banqueVirtuelle.c``.

@@ Ligne 1 : / Ligne 1 : @@
+* Responsable pour 2012--2013: [http://www.lama.univ-savoie.fr/~provencal Xavier Provençal]
+* Xavier Provençal (CM/TD/TP) <!--, Pierre-Étienne Meunier (TP), Florian Hatat (TP) -->
+== Quelques ressources bibliographiques ==
+# Hopcroft et Ullman, Introduction to automata theory, languages, and computation. (1979).
+# Garey et Johnson, Computers and intractability a guide to the theory of NP-completeness. (1979).
+# Cormen, Leiserson et Rivest, Introduction à l'algorithmique, (1994).
+# Paschos, Complexité et approximation polynomiale, (2004).
+# Wilf, Algorithms and Complexity, (1994). [http://www.math.upenn.edu/%7Ewilf/AlgoComp.pdf Disponible en ligne]
+== Déroulement (2012-2013) ==
 CM1 : Introduction
  - Banque virtuelle : exemple de condition de concurrence.
     [http://lama.univ-savoie.fr/~provencal/INFO622/CM1/banqueVirtuelle.c programme ``banqueVirtuelle.c``.]
+<!--
 CM2 : Processus vs Threads, exclusion mutuelle I
  - Entêtes de fonctions POSIX (I) :
@@ Ligne 97 : / Ligne 112 : @@
  - [ http://lama.univ-savoie.fr/~provencal/INFO622/TP3/pizzeria.c Source du programme implémentant une pizzéria virtuelle (à compléter).]
  - [ http://lama.univ-savoie.fr/~provencal/INFO622/TP3/makefile Makefile (optionnel).]
+-->