ETH E-Collection · ETH Institutional Repository

1. Inverting middleware framework

Taufer, Michela, Stricker, Thomas M. and Weber, Roger (2002)

Reports

2. A progress preserving refinement

Hudon, Simon (2011)

Master Theses

3. Refined access control policy for SCOOP

Gatto, Michael and Nienaltowski, Piotr

Reports

4. Implementation of advanced SCOOP aspects

Müllhaupt, Damien (2010)

Master Theses

5. Profiling of SCOOP programs

Trosi, Martino (2010)

Master Theses

6. XNet

Lalis, Spiros (1991)

Reports

7. SCOOP in practice

Alavi, Mohammad Seyed, Nanz, Sebastian and Meyer, Bertrand (2010)

Reports

8. Integrating SCOOP into EVE

Huber, Patrick (2009)

Master Theses

9. Symbolic execution for chalice

Schwerhoff, Malte (2011)

Master Theses

10. ELAN-Werkzeuge zur Leistungs- und Verlustanalyse an parallelen Programmen

Moser, Michael (1992)

Doctoral and Habilitation Theses

11. Intervals: data-race-free parallel programming

Matsakis, Nicholas D. (2011)

Doctoral and Habilitation Theses

12. On the allocation of computational objects in distributed systems

Jenny, Christian J. (1981)

Doctoral and Habilitation Theses

13. Efficient data-parallel computing on small heterogeneous clusters

Peter, Simon, Isaacs, Rebecca, Barham, Paul, Black, Richard and Roscoe, Timothy (2012)

Reports

14. Power management in a manycore operating system

Simone, Dario (2009)

Master Theses

15. Hotplug in a multikernel operating system

Trivedi, Animesh (2009)

Master Theses

16. Variant-based competitive parallel execution of sequential programs

Trachsel, Oliver and Gross, Thomas K.R. (2010)

Reports

17. Hermes-supporting distributed programming in a network of personal workstations

Lalis, Spyridon Gerassimos (1994)

Doctoral and Habilitation Theses

18. Practical framework for contract-based concurrent object-oriented programming

Nienaltowski, Piotr (2007)

Doctoral and Habilitation Theses

19. A parallel resolution method for logic programs

Zolliker, Urs (1993)

Doctoral and Habilitation Theses

20. MIMD-style parallel programming based on continuation-passing threads

Halbherr, Michael Roland Sven (1994)

Doctoral and Habilitation Theses

21. Exploiting task-order information in compilers for shared-memory parallel programs

Angerer, Christoph (2011)

Doctoral and Habilitation Theses

22. A generic kernel for reliable process support

Hagen, Claus (1999)

Doctoral and Habilitation Theses

23. Towards dynamic threading support for OpenMP

Stadler, Jacques (2009)

Master Theses

24. Simulation of electron source for next-generation X-ray free-electron laser

Candel, Arno Erol (2005)

Doctoral and Habilitation Theses

25. A component language for pointer-free concurrent programming and its application to simulation

Bläser, Luc (2007)

Doctoral and Habilitation Theses