EE 382 N Vijay Garg Fall 2004
Electrical and Computer Engineering Department, THE UNIVERSITY OF TEXAS AT AUSTIN
Materials
Course Handouts & other materials
Class Presentations
Papers
lecture-schedule
Detecting Relational Predicates: Selma Ikiz
BQS-DC.pdf
f04-syllabus
Model Checking: Prateek Gupta
Hector.pdf
f04hw1
Recovery in DS: Vinit Ogale
INCO3054-184-206.pdf
f04hw3
Fault tolerance: Marty Weiner
IPT.pdf
f04proj.html
Dynamic Update of Distributed Systems: Alireza Farhangi
Linguistic-support.pdf
sample-Test2.pdf
Checking Finite Traces: Jyotirmoy Deshmukh
Neeraj-projects.pdf
sample-Test2.ps
Formal Verification of Distributed Systems: Sujatha Kashyap
On_scalable_and_efficient_distributed_failure_detectors.pdf
sample.pdf
Security in Distributed Computing: Arindam Chakraborty
PIC.pdf
sample.ps
Prisco.ps
HW1-TIPS.txt
bvvmain.pdf
IPC.ppt
chord.ppt
PROJ.TXT
dcs96.pdf
Questions.pdf
diffusion.ps
Questions.ps
felix.pdf
QuestionsWithAnswers.pdf
global-computation.pdf
QuestionsWithAnswers.ps
karger97consistent.ps
chapter6.ppt
malkhi98byzantine.pdf
chapter7.ppt
optimaltd.ps
chapter8.ppt
partiallookup.ppt
Chap9.ppt
raynal-coding.pdf
Chap10.ppt
seq-consist.pdf
Chap11.ppt
(old)
seqconst2.pdf
chapter11.ppt
sqs.final.pdf
chapter12.ppt
stateless-term.pdf
chapter13.ppt
streaming.pdf
chapter14.ppt
Chap 15.ppt
Chap 16.ppt
chapter18.ppt