Zum Inhalt springen

Bertsekas, Dimitri P. [VerfasserIn]; Tsitsiklis, John N. [VerfasserIn]

Parallel and distributed computation : numerical methods

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Englewood Cliffs [u.a.]: Prentice-Hall International, 1989

Erschienen in: Prentice-Hall international editions
Hoang, Thai Son [VerfasserIn]; Abrial, Jean-Raymond [VerfasserIn]

Event-B development of the FindP program

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, Department of Computer Science, 2009

Erschienen in: Technical Report / ETH Zurich, Department of Computer Science, 653
Schill, Mischael [VerfasserIn] ; Mattern, Friedemann [MitwirkendeR]; Meyer, Bertrand [MitwirkendeR]

Unified Interference-free Parallel, Concurrent and Distributed Programming

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH Zürich, 2016
Hagen, Claus [VerfasserIn] ; Alonso, Gustavo [MitwirkendeR]; Gross, Thomas [MitwirkendeR]

A generic kernel for reliable process support

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH Zürich, 1999
Hudon, Simon [VerfasserIn]

A progress preserving refinement

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Technical report / Departement Informatik, ETH Zürich, 551
Bläser, Markus [VerfasserIn]; Vicari, Elias [VerfasserIn]

Algebraic Communication Complexity of Distributed Computation

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, Department of Computer Science, 2005

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

Parallelising molecular dynamics for message passing systems

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Shaker Verlag, 2000

Erschienen in: TIK-Schriftenreihe, 033
Kuhn, Fabian [VerfasserIn]; Wattenhofer, Roger [VerfasserIn]

Distributed combinatorial optimization: extended abstract

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, Department of Computer Science, 2005

Erschienen in: Technical Report / ETH Zurich, Department of Computer Science, 426
Poskitt, Christopher M. [VerfasserIn]; Poulding, Simon [VerfasserIn] ; Ruhe, Günther [MitwirkendeR]; Zhang, Yuanyuan [MitwirkendeR]

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

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer, 2013

Erschienen in: Lecture Notes in Computer Science, 8084 ; Search based software engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings
Arbenz, Peter [VerfasserIn]; Hegland, Markus [VerfasserIn]

The stable parallel solution of general narrow banded linear systems

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Swiss Federal Institute of Technology, Computer Science Department, 1996

Erschienen in: Internal report, 252
Kröll, Brigitte [VerfasserIn]; Widmayer, Peter [VerfasserIn]

Balanced distributed search trees do not exist

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Internal report / Eidgenössische Technische Hochschule, Departement Informatik, 233
Schenk, Olaf [VerfasserIn] ; Fichtner, Wolfgang [MitwirkendeR]; Gutknecht, Martin [MitwirkendeR]

Scalable parallel sparse LU factorization methods on shared memory multiprocessors

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Variant-based competitive parallel execution of sequential programs

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH Zurich, Department of Computer Science, 2010

Erschienen in: Technical Report, 664
Brüngger, Adrian [VerfasserIn] ; Nievergelt, Jürg [MitwirkendeR]; Stumm, Michael E. F. [MitwirkendeR]

Solving hard combinatorial optimization problems in parallel: two case studies

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hartung-Gorre, 1997
Pohl, Bartholomäus Johannes [VerfasserIn] ; Gander, Walter [MitwirkendeR]; Jeltsch, Rolf [MitwirkendeR]

Ein Algorithmus zur Lösung von Anfangswertproblemen auf Parallelrechnern

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH Zürich, 1992
Raub, Dominik [VerfasserIn] ; Maurer, Ueli [MitwirkendeR]; Cramer, Ronald [MitwirkendeR]

Exploring the Limits of Multi-Party Computation

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Fast counting with the optimum combining tree

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Technical report, 288
Paranjape, Sumit [VerfasserIn]; Kaufmann, Martin [VerfasserIn]; Arbenz, Peter [VerfasserIn]

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

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, Department of Computer Science, 2009

Erschienen in: Technical Report / ETH Zurich, Department of Computer Science, 654
Bernardin, Laurent [VerfasserIn]

On bivariate Hensel lifting and its parallelization

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Technical report / Federal Institute of Technology, Computer Science Department, 267

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr