Search
You can find the results of your search below.
Matching pagenames:
- assignments (course…7-202651)
- lang-resources (cours…-202651)
- schedule (courses:…377-202651)
- sidebar (courses:cs377-202651)
- tech_ref (courses:…377-202651)
- top (courses:cs377-202651)
- vim_resources (cours…-202651)
- week1 (courses:cs377-202651)
- week2 (courses:cs377-202651)
- week3 (courses:cs377-202651)
- week4 (courses:cs377-202651)
- week5 (courses:cs377-202651)
- top (courses:cs…lch-lectures)
Fulltext results:
- top
- ******* **CMPU-377** \\ **Vassar College, Spring 2026** \\ **Syllabus / Course Wiki** \\ *********... *********/ ^ CMPU-377 \\ Vassar College, Spring 2026 \\ Syllabus / Course Wiki \\ \\ \\ | {{ {{:courses:cs377-202651:377-parallel-wordcloud.png?direct&200 |}} | ---- // Welcome to our course wiki. It will be up
- assignments
- ningjavaphils.pdf | PDF}} | 10/29 | 11/5 | | assign5 | Sort Pum... workstation assignments in the Asprey Lab and SP 309: * **when you are in the lab:** use any availa... \\ ^ Student ^ Workstation ^ | Frankie | al101 | | Duncan | al102 | | Becca | al103 | | Isabelle | al104 | | C
- lang-resources
- e's original [[https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdf|1978 CACM paper]] * The classic CSP text: {{ :courses:cs377-202651:cspbook.pdf |Communicating Sequential Process... m * Professor Peter Welch's [[courses:cs377-202651:welch-lectures:top|occam tutorial slides]] an... ttp://www.cs.vassar.edu/~cs377/phw-slides/anonqa-2005/index.html|FAQs]] from his course at the Univer
- top @courses:cs377-202651:welch-lectures
- otivation (main stuff:1-49, blood clot modelling 50-113) {{motivation.ppt|PPT}} {{motivation.pdf|PDF}} * basics (intro:1-21, main stuff: 22-110) {{basics.ppt|PPT}} {{bas... replicators.pdf|PDF}} * choice (main stuff:1-130) {{choice.ppt|PPT... tocol.pdf|PDF}} * shared-etc (main stuff:1-103) {{shared-etc.ppt|PP
- week3
- ll]] * workstations in: * Asprey Lab: ''al101'' -- ''al120'' * note: the workstations in Asprey also have alias names after famous people in computing * SP 309: ''sp309-171'' -- ''sp309-197'' * ssh into other workstations to test your ssh keys * first t
- week5
- dsger_W._Dijkstra|Edsger Dijkstra]] in the mid-1960s * Ben-Ari Ch 6 * slides: {{slides.pdf|PDF}} * begin slide 6.1, p. 105 * Two operations: * wait(s) * Trad... se") * Definition: <code text> < await (s > 0) s = s - 1; > </code> * signal(s) * Tr... nary semaphore: value is always either ''1'' or ''0'' * general semaphore: value is nonnegative
- schedule
- (UPC); Semaphores (UPC) | Ben-Ari Ch. 3, 6 | 2/10 | 2/12 | ^ [[week5|-5-]] | Semaphor... | Ben-Ari Ch. 7, 8 | 3/31 | 4/2 | ^ [[week10|-10-]] | Channels (CSP/Golang) | Ben-Ari Ch. 8 | 4/7 ... f | Ben-Ari Ch. 9 | 4/28 | 4/30 | ^ [[week14|-14-]] | Wrap-up / Final
- week1
- ture Notes ===== * Lecture notes: {{ cs377-lect01.pdf |PDF}} * A familiar problem: findMax *... rpoint article: [[https://cacm.acm.org/magazines/2022/9/263793-on-the-model-of-computation-counterpoi... ass: * [[http://queue.acm.org/detail.cfm?id=1095421|Software and the Concurrency Revolution]] (ACM Queue, 3(7), Sep. 2005) * written summary due next class: Mon
- vim_resources
- om|Vim simulator]]: student-tested during Spring 2015--still up and running Spring 2026! * Useful for editing text documents with Vim: * '':set t
- week2
- ion: * [[http://queue.acm.org/detail.cfm?id=1095421|Software and the Concurrency Revolution]] (ACM Queue, 3(7), Sep. 2005) * what caught your attention / would you like to discuss? :-) \\ \\ * Last time claimed
- tech_ref
- and protect it: $ cd $ mkdir cs377 $ chmod 700 cs377 \\ Your programming assignments should each be saved in a subdirectory named cs377. This mak
- week4
- : {{slides.pdf|PDF}} * begin slide 3.1, p. 50 * The approaches to enter and exit critical s