ETH E-Collection · ETH Institutional Repository

1. Maple on the Intel Paragon

Bernardin, Laurent (1996)

Reports

2. Uebersetzung funktionaler Sprachen für den ADAM-Parallelrechner

Murer, Stephan (1992)

Doctoral and Habilitation Theses

3. A progress preserving refinement

Hudon, Simon (2011)

Master Theses

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

Nienaltowski, Piotr (2007)

Doctoral and Habilitation Theses

5. Efficient data-parallel computing on small heterogeneous clusters

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

Reports

6. Intelligent communication

Hüsler, René (1997)

Doctoral and Habilitation Theses

7. Variant-based competitive parallel execution of sequential programs

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

Reports

8. Refined access control policy for SCOOP

Gatto, Michael and Nienaltowski, Piotr

Reports

9. Implementation of advanced SCOOP aspects

Müllhaupt, Damien (2010)

Master Theses

10. Profiling of SCOOP programs

Trosi, Martino (2010)

Master Theses

11. XNet

Lalis, Spiros (1991)

Reports

12. SCOOP in practice

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

Reports

13. Integrating SCOOP into EVE

Huber, Patrick (2009)

Master Theses

14. The ADAM architecture and its simulation

Maquelin, Olivier (1994)

Doctoral and Habilitation Theses

15. Scalable parallel sparse LU factorization methods on shared memory multiprocessors

Schenk, Olaf (2000)

Doctoral and Habilitation Theses

16. Ein Algorithmus zur Lösung von Anfangswertproblemen auf Parallelrechnern

Pohl, Bartholomäus Johannes (1992)

Doctoral and Habilitation Theses

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

Lalis, Spyridon Gerassimos (1994)

Doctoral and Habilitation Theses

18. Symbolic execution for chalice

Schwerhoff, Malte (2011)

Master Theses

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

Moser, Michael (1992)

Doctoral and Habilitation Theses

20. Intervals: data-race-free parallel programming

Matsakis, Nicholas D. (2011)

Doctoral and Habilitation Theses

21. A parallel resolution method for logic programs

Zolliker, Urs (1993)

Doctoral and Habilitation Theses

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

Halbherr, Michael Roland Sven (1994)

Doctoral and Habilitation Theses

23. A parallelizing compiler for distributed memory parallel processors

Rühl, Roland (1992)

Doctoral and Habilitation Theses

24. Parallelising molecular dynamics for message passing systems

Gerber, Martin (2000)

Doctoral and Habilitation Theses

25. Parallel algorithms for multiple-precision arithmetic

Cesari, Giovanni (1997)

Doctoral and Habilitation Theses