« INFO622 : Systèmes de synchronisation et Processus » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 2 : | Ligne 2 : | ||
* Xavier Provençal (CM/TD/TP) <!--, Pierre-Étienne Meunier (TP), Florian Hatat (TP) --> |
* Xavier Provençal (CM/TD/TP) <!--, Pierre-Étienne Meunier (TP), Florian Hatat (TP) --> |
||
== Ouvrage de référence == |
|||
== Quelques ressources bibliographiques == |
|||
# Andrew Tanenbaum, Systèmes d'exploitation |
|||
# 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] |
|||
Version du 17 janvier 2013 à 12:20
- Responsable pour 2012--2013: Xavier Provençal
- Xavier Provençal (CM/TD/TP)
Ouvrage de référence
- Andrew Tanenbaum, Systèmes d'exploitation
Déroulement (2012-2013)
CM1 : Introduction
- Banque virtuelle : exemple de condition de concurrence. programme ``banqueVirtuelle.c``.