Both sides previous revision
Previous revision
|
|
people:mlsmith:research-teaching [2018/08/18 11:41] mlsmith removed |
— (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]] | |