C S 380D: Distributed Computing I

Contact Name: 
Jayadev Misra
Date: 
Repeats every week until Fri May 03 2013 .
Feb 7, 2013 2:00pm - 3:30pm
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 

 

Models of distributed systems; language issues, proving properties of distributed systems; time, clocks, partial ordering of events; deadlock and termination detection; diffusing computations; computing in hostile environments; distributed resource management.

 

Tags: