|
Next revision
|
Previous revision
|
people:mlsmith:research-teaching [2012/10/24 08:50]
127.0.0.1 external edit |
— (current) |
| ===== Research / Teaching Related Links ===== | |
| |
| * **Communicating Sequential Processes (CSP) Links:**\\ | |
| * [[http://www.wotug.org/|WoTUG]] - The place for Communicating Processes | |
| * The classic text: [[http://www.usingcsp.com/|Communicating Sequential Processes (Hoare)]] | |
| * The modern text: [[http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/68b.pdf|Theory and Practice of Concurrency (Roscoe)]] | |
| * Unifying Theories of Programming text, by Hoare and He: [[http://www.unifyingtheories.org/|UTP]] | |
| * [[http://www.cs.kent.ac.uk/projects/ofa/jcsp/|JCSP]] - CSP for Java | |
| * [[http://www.cs.kent.ac.uk/projects/ofa/kroc/|occam-pi]] - blending the best of CSP and the pi-calculus | |
| * **Other parallel and distributed computing links**\\ | |
| * [[http://www.lindaspaces.com/|Scientific Computing Associates, Inc.]] - [[http://www.lindaspaces.com/products/linda.html|TCP Linda]], [[http://www.lindaspaces.com/products/paradise.html|Paradise]], [[http://nws-py.sourceforge.net/|NetworkSpaces]]\\ | |
| * [[http://upc.lbl.gov/|Berkeley UPC]] - Unified Parallel C\\ | |
| * [[http://www.nvidia.com/object/cuda_home.html|CUDA]] - NVidia's general purpose parallel computing architecture | |
| * **Teaching first-year computer science:**\\ | |
| * [[http://www.programbydesign.org//|Program by Design]] - The computer science core of a liberal arts education\\ | |
| * [[http://www.htdp.org/|How to Design Programs]] - An Introduction to Programming and Computing - online textbook | |
| * [[http://www.ccs.neu.edu/home/matthias/HtDP2e/index.html|HtDP/2e]] - Draft: online work in progress | |
| * [[http://www.racket-lang.org/|Racket]] - Includes the DrRacket programming environment\\ | |
| * [[http://www.wescheme.org/|WeScheme]] - Web-based programming environment | |
| * [[http://www.ccs.neu.edu/home/matthias/htdc.html|How to Design Classes]] | |
| * [[http://www.ccs.neu.edu/javalib/NewWorld/|Javalib]] | |
| * **Video lecture resources**\\ | |
| * [[http://www.youtube.com/user/objectsfirstwithjava|Objects First with Java]] | |