Skip to contents

Hoang, Thai Son [Author]; Abrial, Jean-Raymond [Author]

Event-B development of the FindP program

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69270

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2009

Published in: Technical Report / ETH Zurich, Department of Computer Science, 653
Hagen, Claus [Author] ; Alonso, Gustavo [Contributor]; Gross, Thomas [Contributor]

A generic kernel for reliable process support

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/144058

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, 1999
Schill, Mischael [Author] ; Mattern, Friedemann [Contributor]; Meyer, Bertrand [Contributor]

Unified Interference-free Parallel, Concurrent and Distributed Programming

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/127377

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, 2016
Bläser, Markus [Author]; Vicari, Elias [Author]

Algebraic Communication Complexity of Distributed Computation

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69605

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2005

Published in: Technical report / Institute of Theoretical Computer Science, ETH Zurich, 501
Gerber, Martin [Author] ; van Gunsteren, Wilfred F. [Contributor]; Thiele, Lothar [Contributor]

Parallelising molecular dynamics for message passing systems

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/144498

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Shaker Verlag, 2000

Published in: TIK-Schriftenreihe, 033
Hudon, Simon [Author]

A progress preserving refinement

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/152835

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Information Security, 2011
Gfeller, Beat [Author]; Vicari, Elias [Author]

A randomized distributed algorithm for the maximal independent set problem in growth-bounded graphs

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/70625

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, Computer Science Department, Institute for Theoretical Computer Science, 2007

Published in: Technical report / Departement Informatik, ETH Zürich, 551
Poskitt, Christopher M. [Author]; Poulding, Simon [Author] ; Ruhe, Günther [Contributor]; Zhang, Yuanyuan [Contributor]

Using Contracts to Guide the Search-Based Verification of Concurrent Programs

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/67497

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer, 2013

Published in: Lecture Notes in Computer Science, 8084 ; Search based software engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings
Kuhn, Fabian [Author]; Wattenhofer, Roger [Author]

Distributed combinatorial optimization: extended abstract

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69293

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2005

Published in: Technical Report / ETH Zurich, Department of Computer Science, 426
Arbenz, Peter [Author]; Hegland, Markus [Author]

The stable parallel solution of general narrow banded linear systems

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/68943

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Swiss Federal Institute of Technology, Computer Science Department, 1996

Published in: Internal report, 252
Kröll, Brigitte [Author]; Widmayer, Peter [Author]

Balanced distributed search trees do not exist

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/68782

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Eidgenössische Technische Hochschule, Departement Informatik, Institut für Theoretische Informatik, 1995-05

Published in: Internal report / Eidgenössische Technische Hochschule, Departement Informatik, 233
Schenk, Olaf [Author] ; Fichtner, Wolfgang [Contributor]; Gutknecht, Martin [Contributor]

Scalable parallel sparse LU factorization methods on shared memory multiprocessors

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/144477

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, 2000
Trachsel, Oliver [Author]; Gross, Thomas [Author]; id_orcid0 000-0002-2038-2902 [Author]

Variant-based competitive parallel execution of sequential programs

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/224085

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zurich, Department of Computer Science, 2010

Published in: Technical Report, 664
Pohl, Bartholomäus Johannes [Author] ; Gander, Walter [Contributor]; Jeltsch, Rolf [Contributor]

Ein Algorithmus zur Lösung von Anfangswertproblemen auf Parallelrechnern

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/140686

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, 1992
Raub, Dominik [Author] ; Maurer, Ueli [Contributor]; Cramer, Ronald [Contributor]

Exploring the Limits of Multi-Party Computation

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/72849

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2009
Wattenhofer, Roger [Author]; Widmayer, Peter [Author]

Fast counting with the optimum combining tree

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/68805

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Eidgenössische Technische Hochschule Zürich, Institut für Theoretische Informatik, 1998

Published in: Technical report, 288
Bernardin, Laurent [Author]

On bivariate Hensel lifting and its parallelization

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69321

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Wissenschaftliches Rechnen, 1997

Published in: Technical report / Federal Institute of Technology, Computer Science Department, 267
Sgier, Sandro [Author]

Parallel STL: Prototype Implementation and Evaluation on Algorithmic Motifs Found in Scientific Computing

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/155449

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH-Zürich, 2016
Schneider, Johannes [Author] ; Vishkin, Uzi [Contributor]; Wattenhofer, Roger [Contributor]

Decentralized coordination: methods and applications

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/153149

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2011

Published in: TIK-Schriftenreihe, 129
Paranjape, Sumit [Author]; Kaufmann, Martin [Author]; Arbenz, Peter [Author]

WebParFE: A web interface for the high performance parallel finite element solver ParFE

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69817

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2009

Published in: Technical Report / ETH Zurich, Department of Computer Science, 654

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication