40 Jahre Informatik in München - Fakultät für Informatik - TUM

TAO, JIE: Data Locality Optimization of Shared Memory Programs on
NUMA Architectures Using an Integrated Tool Environment.
Bode – Karl 17.10.2002
REINER, JÖRG: Terminologiesysteme als Grundlagen für die semantische
Interoperabilität von heterogenen Anwendungssystemen und deren
fachsprachlichen Zugang.
Brüggemann-Klein – Schlichter – Pöppl (Med. U Lübeck) 11.11.2002
STÜTZLE, RUPERT: Wiederverwendung ohne Mythos: Empirisch fundierte
Leitlinien für die Entwicklung wiederverwendbarer Software.
Broy – Denert 25.11.2002
WALTER, MAX: Quantitative Bewertung hochverfügbarer Systeme.
Bode – Steger 25.11.2002
SCHWOON, STEFAN: Model-Checking Pushdown Systems.
Brauer – Esparza 3.12.2002
BUCHTY, RAINER: Cryptonite — A Programmable Crypto Processor Architecture
for High-Bandwidth Applications. Bode – Jessen 20.12.2002
SCHICKINGER, THOMAS: Complete Subgraphs of Random Graphs.
Steger – Prömel (Humbold U Berlin) 20.1.2003
MAREK, DETLEF: Sprachbasierte Konstruktion sicherer Systeme.
Spies – Eckert (Darmstadt) – Biskup (Dortmund) 7.2.2003
KLEIN, GERWIN: Verified Java Bytecode Verification.
Nipkow – Basin (ETH Zürich) 17.2.2003
WEIDENDORFER, JOSEF: Konzepte zur Optimierung der Skalierbarkeit
von parallelen Fahrzeugkollisionsberechnungen und ihre industrielle
Realisierbarkeit. Bode – Jessen 24.2.2003
HILBIG,MATTHIAS: Inverse Bestrahlungsplanung für intensitätsmodulierte
Strahlenfelder mit Linearer Programmierung als Optimierungsmethode.
Schweikard – Huckle 14.3.2003
ACHATZ,STEFAN: Adaptive finite Dünngitter-Elemente höherer Ordnung
für elliptische partielle Differentialgleichungen mit variablen Koeffizienten.
Zenger – Bungartz (Stuttgart) – Yserentant (Tübingen) 4.4.2003
GILSDORF, IRIS: Routenauswahl in Transportnetzen.
Brauer – Jessen 24.4.2003
GOLD,CLAUDIA: Framework-basierte Unterstützung bei der Realisierung
von Lastverteilung. Paul – Bode 15.5.2003
ERNST, JENS: Similarity-Based Clustering Algorithms for Gene Expression
Profiles. Mayr – Brauer 26.5.2003
426