Search
You can find the results of your search below.
Matching pagenames:
- assignments (course…7-201951)
- lang-resources (cours…-201951)
- schedule (courses:…377-201951)
- sidebar (courses:cs377-201951)
- tech_ref (courses:…377-201951)
- top (courses:cs377-201951)
- vim_resources (cours…-201951)
- week1 (courses:cs377-201951)
- week2 (courses:cs377-201951)
- week3 (courses:cs377-201951)
- week4 (courses:cs377-201951)
- week5 (courses:cs377-201951)
- week6 (courses:cs377-201951)
- week7 (courses:cs377-201951)
- week8 (courses:cs377-201951)
- week9 (courses:cs377-201951)
- week10 (courses:cs377-201951)
- week11 (courses:cs377-201951)
- week12 (courses:cs377-201951)
- week13 (courses:cs377-201951)
- week14 (courses:cs377-201951)
- top (courses:cs…lch-lectures)
Fulltext results:
- top
- OTOC~~ **CMPU-377** \\ **Vassar College, Spring 2019** \\ **Syllabus / Course Wiki** \\ ---- // ... Smith]] | ^ Office: | SP 104.5 | ^ Office Hours: | Tue 10am-12pm; Thu 2-4pm; //and by appointment// | ^ Ph... Coordinates ===== ^ Time (when) | Mon/Wed 1:30--2:45pm | ^ Space (
- week1
- otes ===== * Lecture notes: {{ :courses:cs377-201951:cs377-lect01.pdf |PDF}} * A familiar problem: findMax ===== Assignments ===== * First pro... idebar for Vim resources) * {{:courses:cs377-201951:assign-1.pdf|PDF}} * be sure to consult and follow the Style Guide {{ :courses:cs377-201951:cs377-prog-assign-guide.pdf |PDF}} * due:
- top @courses:cs377-201951: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
- lang-resources
- emory Programming//. John Wiley & Sons, Inc. (c) 2005. * Ch. 1: [[http://samples.sainsburysebooks.co.uk/9780471478379_sample_386594.pdf|PDF]] ===== Communic... m * Professor Peter Welch's [[courses:cs377-201951:welch-lectures:top|occam tutorial slides]] an
- week6
- xam next week * review session next Mon, Oct 10 * take-home: Mon * hand-in: Wed ===== L... P(s) * 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 ... re for binary semaphores s1 and s2: <code text> 0 <= s1+s2 <= 1 </code> * technique: pass the b
- schedule
- n | Ben-Ari Ch. 2 | 1/28 | 1/30 | ^ [[week3|-3-]] | The Critical Sect... | Ben-Ari Ch. 6 | 2/18 | 2/20 | ^ [[week6|-6-]] | Semaphores (UPC) ... | Ben-Ari Ch. 7, 8 | 4/1 | 4/3 | ^ [[week10|-10-]] | Channels (CSP/kroc) | Ben-Ari Ch. 8 | 4/8 |
- week9
- nitors ===== * Ben-Ari slides: {{courses:cs377-201301:slides.pdf|PDF}} * slide 7.6 (p. 165) * My monitor notes: {{:courses:cs377-201603:cs377-monitors.pdf|PDF}} * Class participation with monitors: * The One-Lane Bridge proble
- week2
- ion: * [[http://queue.acm.org/detail.cfm?id=1095421|Software and the Concurrency Revolution]] (ACM Queue, 3(7), Sep. 2005) * written summary due: today * just one page, single-sided (don't go crazy) * pic... University of Central FL * {{ :courses:cs377-201951:findmax-constant-time.pdf |PDF}} * Synchron
- week10
- ====== Week 10 ====== ~~NOTOC~~ ===== Channels, CSP, and Go ===== **//Continuing from where we lef... ithub.com/thomas11/csp * Rob Pike's Google I/O 2012 - Go Concurrency Patterns: https://youtu.be/f6k... ill use Go this semester!) * [[courses:cs377-201951:welch-lectures:top|Occam-pi Lecture Notes]]
- week7
- re for binary semaphores s1 and s2: <code text> 0 <= s1+s2 <= 1 </code> * technique: pass the b... * slides: {{slides.pdf|PDF}} * begin slide 105 **Monitors** * Marc's Lecture Notes: {{ :courses:cs377-201951:cs377-monitors.pdf |PDF}} * Ben-Ari Ch 7
- assignments
- ogramming Assignment Information {{courses:cs377-201951:cs377-prog-assign-guide.pdf|PDF}} \\ \\ ^ A... | Sequential FindMax {{ :courses:cs377-201951:assign-1.pdf |PDF}} | ... | 2/11 | 2/20 | | assign3 | {{diningupcphils.pdf|Dini
- week4
- UPC Exercises 1.1 through 1.7 * Due: Wed, Feb 20 * Here's a link to a PDF of Ch. 1: [[https://w... ure_Shell]] * workstations in Asprey Lab: ''al101'' -- ''al124'' * ssh into other workstations t... slides: {{slides.pdf|PDF}} * resume slide 50 * Formula(number of possible interleavings):
- week5
- * UPC exercises 1.1 --- 1.7 * Due: Wed, Feb 20 * Questions? * Problems? ===== Lecture Notes... * slides: {{slides.pdf|PDF}} * begin slide 50 **Semaphores** * Ben-Ari Ch 6 * slides: {... 2.19 from Andrews's MPD text) {{:courses:cs377-201951:mpd-2.19-interleavings.txt|mpd-2.19-interleav
- vim_resources
- imulator]]: student-tested this semester (Spring 2015)! * Useful for editing text documents with V
- week8
- === * Marc's Lecture Notes: {{ :courses:cs377-201951:cs377-monitors.pdf |PDF}} * Java case stu