分布式系统

http://www.hpcs.cs.tsukuba.ac.jp/~tatebe/lecture/h23/dsys/dsd-tutorial.html

http://www.infosys.tuwien.ac.at/

操作系统

http://www.inf.tu-dresden.de/portal.php?node_id=1141&group=31

https://pdos.csail.mit.edu/

http://users.cms.caltech.edu/~adamw/

https://www.cs.cmu.edu/~410/

https://www.cs.princeton.edu/courses/archive/fall04/cos318/

References