Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cours:c-2-18-3 [2014/02/13 21:28]
kuznetsov
cours:c-2-18-3 [2014/02/14 10:09] (current)
kuznetsov
Line 68: Line 68:
   * [[https://dl.dropboxusercontent.com/s/nsuedvsubzqeulx/topologicalModelling.pdf?dl=1&token_hash=AAHqvnnSmOrpkHCMG6v0K722cVQs4r-HD3SWE7ZhujmOFA |Shelling  Computability]]   * [[https://dl.dropboxusercontent.com/s/nsuedvsubzqeulx/topologicalModelling.pdf?dl=1&token_hash=AAHqvnnSmOrpkHCMG6v0K722cVQs4r-HD3SWE7ZhujmOFA |Shelling  Computability]]
   * [[http://perso.telecom-paristech.fr/~kuznetso/MPRI13/class07-sm.pdf|Consensus number and universal construction]]   * [[http://perso.telecom-paristech.fr/~kuznetso/MPRI13/class07-sm.pdf|Consensus number and universal construction]]
-  * [[http://perso.telecom-paristech.fr/~kuznetso/MPRI13/class08-one.pdf| Atomicity assertion (Tromp's algorithm)]]+  * [[https://www.dropbox.com/s/rwy1mb4ux00qwdk/class08-one.pdf| Atomicity assertion (Tromp's algorithm)]]
   * [[https://www.dropbox.com/s/qczgb2qyh465md4/class09-tm.pdf| Transactional memory]]   * [[https://www.dropbox.com/s/qczgb2qyh465md4/class09-tm.pdf| Transactional memory]]
      
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA