EINLADUNG ZUR RINGVORLESUNG IM RAHMEN DES GRADUIERTENKOLLEGS
"LEISTUNGSGARANTIEN FÜR COMPUTERSYSTEME"
Am Montag, den 22.04.2002, spricht um 16 c. t. im Gebäude 45, HS 003,
Prof. Anja Feldmann
zum Thema:
Locating Internet Performance Problems
Abstract
(wird nachgereicht)
Alle InteressentInnen sind zu dem Vortrag herzlich eingeladen.
Die Veranstaltung wird gemeinsam von der Fachrichtung Informatik und der
International Max Planck Research School getragen.
---------------------------------------------------------------------------------------
Das weitere Programm der Ringvorlesung
(jeweils Mo oder Fr um 16 c. t. im Hörsaal 45/003):
Mo, 29.04. Babak Mougouie: Case Based Reasoning and Optimization
Mo, 06.05. Guido Schäfer: Matchings in Bipartite Random Graphs: A Survey
Mo, 13.05. Mateu Villaret: Kontext-Unifikation
Fr, 24.05. Prof. Dr. W. Paul: Formal Verification of Processors and of
Low Level Software
Mo, 27.05. Li Ming: Real time 3D reconstruction of real scenes
Mo, 03.06. Jan Kautz: Hardware-accelerated Rendering
Fr, 07.06. Ulrich Meyer: Graph Traversal in External Memory
Mo, 10.06. Prof. Dr. P. Slussalek: Interactive Lighting Simulation
Fr, 14.06. Timo von Oertzen: Move It All - Constructions in CEDRIC
Mo, 17.06. Michael Ohlmann: Variability of Network Properties
Mo, 24.06. Berthold Vöcking: Selfish Routing
Fr, 28.06. Tim Priesnitz: Non-Structural Subtype-Entailment
Mo, 01.07. Christoph Berg: Formal Verification of Operating Systems and
Microprocessors
Fr, 05.07. Rene Beier: Energy Optimal Routing in Radio Networks
Mo, 08.07. Prof. Dr. A. Podelski: Abstraction Refinement for Software
Model Checking
Fr, 12.07. Sebastian Winkel: ILP-based scheduling for Itanium Processor
Family