Dipl. Inform. Michael Klein | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Lebenslauf | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Forschungsinteressen | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Formale Verifikation des L4 Betriebssystem-Microkernels | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Hochgeschwindigkeits-Datenübertragung über Glasfaser | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Portierung des MP3D-Benchmarks auf den SB-PRAM Prototyp | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Private Homepage | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
http://www-wjp.cs.uni-sb.de/leute/private_homepages/ogrim/ | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Publikationen | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|