ETH E-Collection · ETH Institutional Repository

1. Aspekte unbeschränkter Parallelität

Gati, Georg (1976)

Doctoral and Habilitation Theses

2. Stepwise refinement of mixed specifications of concurrent programs

Sanders, Beverly A. (1989)

Reports

3. Latency-driven programming of computer networks

Strumpen, Volker (1995)

Reports

4. An Executable Structural Operational Semantics For Scoop

Schill, Mischael (2012)

Master Theses

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

Nienaltowski, Piotr (2007)

Doctoral and Habilitation Theses

6. Vektorielles Rechnen im Information Retrieval

Grossmann, Jürg (1988)

Doctoral and Habilitation Theses

7. Efficient data-parallel computing on small heterogeneous clusters

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

Reports

8. Maple on the Intel Paragon

Bernardin, Laurent (1996)

Reports

9. Refined access control policy for SCOOP

Gatto, Michael and Nienaltowski, Piotr

Reports

10. Implementation of advanced SCOOP aspects

Müllhaupt, Damien (2010)

Master Theses

11. Profiling of SCOOP programs

Trosi, Martino (2010)

Master Theses

12. XNet

Lalis, Spiros (1991)

Reports

13. SCOOP in practice

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

Reports

14. Integrating SCOOP into EVE

Huber, Patrick (2009)

Master Theses

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

Lalis, Spyridon Gerassimos (1994)

Doctoral and Habilitation Theses

16. Symbolic execution for chalice

Schwerhoff, Malte (2011)

Master Theses

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

Moser, Michael (1992)

Doctoral and Habilitation Theses

18. Intervals: data-race-free parallel programming

Matsakis, Nicholas D. (2011)

Doctoral and Habilitation Theses

19. A progress preserving refinement

Hudon, Simon (2011)

Master Theses

20. Conjunctive predicate transformers for reasoning about concurrent computation

Chandy, K. Mani and Sanders, Beverly A. (1993)

Reports

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

Angerer, Christoph (2011)

Doctoral and Habilitation Theses

22. The network machine

Strumpen, Volker (1995)

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