Prof. Emo Welzl and Prof. Bernd Gärtner
|Mittagsseminar Talk Information|
Date and Time: Thursday, June 16, 2005, 12:15 pm
Duration: This information is not available in the database
Location: This information is not available in the database
Speaker: Vijay Victor D'Silva
Herlihy and Shavit identified necessary and sufficient conditions which must be satisfied for a class of distributed computing problems to be solvable. Specifically, they consider asynchronous systems with shared memory in which processes may fail. The characterization is based on notions from topology. Inputs and outputs are modelled as topological structures. The problems considered have a solution if and only if these structures satisfy some topological properties. In this talk, their modelling framework is reviewed and its use to prove properties about certain distributed computing problems is presented.
Source: Maurice Herlihy and Sergio Rajsbaum, Algebraic Topology and Distributed Computing - a Primer, On Computer Science Today - Recent Trends and Developments, Jan van Leeuwen Editor, Springer-Verlag Lecture Notes in Computer Science #1000, 1996.
Automatic MiSe System Software Version 1.4803M | admin login