Technical reports / Department Informatik
- Habilitation (1) (remove)
- Improved DSM Efficiency, Flexibility, and Correctness (2010)
- A collection of research topics that together help improve distributed shared memory systems. Contents: Java/OpenMP as a language for cluster and grid computing. The Tapir language as a functional/parallel language to allow both model-checking and parallel-execution for DSM middlewares and general applications.