Search

Fulltext results:

top

8 Hits, Last modified: 7 years ago

OTOC~~ **CMPU-377** \\ **Vassar College, Spring 2019** \\ **Syllabus / Course Wiki** \\ ---- // ... Smith]] | ^ Office: | SP 104.5 | ^ O... Coordinates ===== ^ Time (when) | Mon/Wed 1:30--2:45pm | ^ Space (where) | SP 309 | ^

schedule

5 Hits, Last modified: 6 years ago

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 |

week6

4 Hits, Last modified: 7 years ago

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

top @courses:cs377-201951:welch-lectures

3 Hits, Last modified: 7 years ago

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

week4

2 Hits, Last modified: 7 years ago

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

2 Hits, Last modified: 7 years ago

* 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

assignments

1 Hits, Last modified: 7 years ago

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

lang-resources

1 Hits, Last modified: 7 years ago

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

tech_ref

1 Hits, Last modified: 7 years ago

and protect it: $ cd $ mkdir cs377 $ chmod 700 cs377 \\ Your programming assignments should each be saved in a subdirectory named cs377. This mak

week1

1 Hits, Last modified: 7 years ago

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:

week7

1 Hits, Last modified: 7 years ago

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

week10

1 Hits, Last modified: 7 years ago

====== 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]]

week12

1 Hits, Last modified: 7 years ago

* Both synchronous, and asynchronous send/receive {{img-1958.jpg?200 |}} (click to view full size)