Software Systems Seminar
The goal of SSS weekly
seminars is to exchange and stimulate ideas related to
software-intensive systems. Topics of interest include, but are not
limited to: software design, verification, synthesis, compilers, system
software, embedded software, development methodologies, etc. SSS
seminars have an informal setting with a 20-minute talk followed by a
Q&A session while having some refreshments. Anyone is welcome
to
give a talk in SSS. If you want to volunteer for a talk
please contact
Amin Alipour at (malipour@mtu.edu)
Place: Room 217 Rekhi Hall
Time: Wed. 3pm
Seminar Schedule
Date
|
Topic
|
Presenter
|
10/14/09
|
Self-Stabilization;
An Introduction
Slides |
Aly Farahat
|
10/21/09
|
Program Slicing; An
Introdiction
Slides
|
Amin Alipour
|
10/28/09
|
Nash Equilibria in Distributed Systems
Slides |
Aly Farahat
|
11/04/09
|
Static Data Race Detection
Slides |
Amin Alipour
|
11/11/09
|
The solution to a cyclic relaxation problem.
Slides |
Aly Farahat
|