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. Erhöhung der Parallelität von Dokumentoperationen in der PowerDB XML engine

Büchler, Patrick (2002)

Master Theses

4. Latency-driven programming of computer networks

Strumpen, Volker (1995)

Reports

5. Vektorielles Rechnen im Information Retrieval

Grossmann, Jürg (1988)

Doctoral and Habilitation Theses

6. Efficient data-parallel computing on small heterogeneous clusters

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

Reports

7. Maple on the Intel Paragon

Bernardin, Laurent (1996)

Reports

8. Conjunctive predicate transformers for reasoning about concurrent computation

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

Reports

9. An Executable Structural Operational Semantics For Scoop

Schill, Mischael (2012)

Master Theses

10. Solution of large unsymmetric systems of linear equations

Pommerell, Claude (1992)

Doctoral and Habilitation Theses

11. Adaptive parallelism in distributed shared memory environments

Scherer, Alex Patrick (2001)

Doctoral and Habilitation Theses

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

Nienaltowski, Piotr (2007)

Doctoral and Habilitation Theses

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

Lalis, Spyridon Gerassimos (1994)

Doctoral and Habilitation Theses

14. The network machine

Strumpen, Volker (1995)

Doctoral and Habilitation Theses

15. Einheitliche Theorie für korrekte parallele und fehlertolerante Ausführung von Datenbanktransaktionen

Hasse, Haiyan (2010)

Doctoral and Habilitation Theses

16. Refined access control policy for SCOOP

Gatto, Michael and Nienaltowski, Piotr

Reports

17. Compiling Sisal for the ADAM architecture

Mitrović, Srdjan (1993)

Doctoral and Habilitation Theses

18. Execution architecture of the multithreaded ADAM prototype

Färber, Philipp (1996)

Doctoral and Habilitation Theses

19. Implementation of advanced SCOOP aspects

Müllhaupt, Damien (2010)

Master Theses

20. Profiling of SCOOP programs

Trosi, Martino (2010)

Master Theses

21. XNet

Lalis, Spiros (1991)

Reports

22. Multi-level transaction management for complex objects

Hasse, Christof and Weikum, Gerhard (1991)

Reports

23. Parallelising molecular dynamics for message passing systems

Gerber, Martin (2000)

Doctoral and Habilitation Theses

24. I/O-Parallelität in Datenbanksystemen

Zabback, Peter (1994)

Doctoral and Habilitation Theses

25. SCOOP in practice

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

Reports