-
1Academic Journal
Authors: Thomas R. Gross, Zoltan Majo
Source: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. :227-238
Subject Terms: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), SOFTWARE LIBRARIES + PROGRAM LIBRARIES (SOFTWARE ENGINEERING), Data processing, computer science, 4. Education, SOFTWAREBIBLIOTHEKEN + PROGRAMMBIBLIOTHEKEN (SOFTWARE ENGINEERING), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), 14. Life underwater
Access URL: https://www.research-collection.ethz.ch/bitstream/20.500.11850/98643/1/eth-47328-01.pdf
https://doi.acm.org/10.1145/2688500.2688509
https://dl.acm.org/doi/10.1145/2858788.2688509
https://www.research-collection.ethz.ch/mapping/view/eth:47328
https://dblp.uni-trier.de/db/conf/ppopp/ppopp2015.html#MajoG15
http://www.lst.ethz.ch/research/publications/PPOPP_2015/PPOPP_2015.pdf
https://www.research-collection.ethz.ch/bitstream/20.500.11850/98643/1/eth-47328-01.pdf
https://dl.acm.org/doi/10.1145/3040222
https://doi.org/10.1145/3040222
https://dblp.uni-trier.de/db/journals/topc/topc3.html#MajoG17 -
2Conference
Contributors: Stevens, Perdita, Wasowski, Andrzej
Source: Lecture Notes in Computer Science, 9633 ; Fundamental Approaches to Software Engineering
Subject Terms: PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), GRAPHENALGORITHMEN + GEOMETRISCHE ALGORITHMEN (GRAPHENTHEORIE), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING), GRAPH ALGORITHMS + GEOMETRIC ALGORITHMS (GRAPH THEORY), info:eu-repo/classification/ddc/004, Data processing, computer science
File Description: application/application/pdf
Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-662-49665-7; info:eu-repo/semantics/altIdentifier/isbn/978-3-662-49664-0; http://hdl.handle.net/20.500.11850/113623
-
3Conference
Subject Terms: VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SPEZIELLE PROGRAMMIERMETHODEN, SPEZIFIKATIONEN (SOFTWARE ENGINEERING), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), SPECIAL PROGRAMMING METHODS, SPECIFICATIONS (SOFTWARE ENGINEERING), info:eu-repo/classification/ddc/004, Data processing, computer science
File Description: application/application/pdf
-
4Conference
Source: PPoPP 2015 Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Subject Terms: SOFTWAREBIBLIOTHEKEN + PROGRAMMBIBLIOTHEKEN (SOFTWARE ENGINEERING), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SOFTWARE LIBRARIES + PROGRAM LIBRARIES (SOFTWARE ENGINEERING), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), info:eu-repo/classification/ddc/004, Data processing, computer science
File Description: application/application/pdf
Relation: info:eu-repo/semantics/altIdentifier/isbn/978-1-4503-3205-7; info:eu-repo/semantics/altIdentifier/wos/000367254800022; http://hdl.handle.net/20.500.11850/98643
-
5Academic Journal
Authors: Claudio Corrodi
Source: arXiv: Programming Languages.
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SPEZIELLE PROGRAMMIERSPRACHEN, 0102 computer and information sciences, 02 engineering and technology, OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), 01 natural sciences, Logic in Computer Science (cs.LO), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Software Engineering (cs.SE), Computer Science - Software Engineering, Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), 0202 electrical engineering, electronic engineering, information engineering, VERIFIKATION (SOFTWARE ENGINEERING), SPECIAL PROGRAMMING LANGUAGES, Programming Languages (cs.PL)
Access URL: http://arxiv.org/abs/1505.05265
https://arxiv.org/abs/1505.05265
http://se.inf.ethz.ch/student_projects/claudio_corrodi/ClaudioCorrodi-Thesis.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1505.html#Corrodi15
http://export.arxiv.org/pdf/1505.05265
http://ui.adsabs.harvard.edu/abs/2015arXiv150505265C/abstract
https://www.research-collection.ethz.ch/handle/20.500.11850/155096 -
6Report
Authors: Arbenz, Peter, Flaig, Cyril, Kellenberger, Daniel
Subject Terms: Voxel-based computation, VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OSTEOPOROSE (PATHOLOGIE), BONE STRUCTURE (ANATOMY AND PHYSIOLOGY), Micro nite element analysis, KNOCHENSTRUKTUR (ANATOMIE UND PHYSIOLOGIE), OSTEOPOROSIS (PATHOLOGY), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Multigrid preconditioned conjugate gradient algorithm, Multiple GPGPUs, info:eu-repo/classification/ddc/004, info:eu-repo/classification/ddc/610, Data processing, computer science, Medical sciences, medicine
File Description: application/application/pdf
Relation: http://hdl.handle.net/20.500.11850/80387
-
7Report
Authors: Peter, Simon, Isaacs, Rebecca, Barham, Paul, Black Richard, Roscoe, Timothy
Source: Technical report / ETH Zurich, Department of Computer Science, Systems Group, 756
Subject Terms: PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), VERTEILTE ANWENDUNGEN + CLOUD COMPUTING + GRID COMPUTING (COMPUTERSYSTEME), DISTRIBUTED APPLICATIONS + CLOUD COMPUTING + GRID COMPUTING (COMPUTER SYSTEMS), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), info:eu-repo/classification/ddc/004, Data processing, computer science
File Description: application/application/pdf
Relation: http://hdl.handle.net/20.500.11850/57386
-
8Report
Authors: Kourtis, Kornilios
Source: Technical Report / Systems Group, Department of Computer Science, ETH Zurich
Subject Terms: VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science
File Description: application/application/pdf
Access URL: http://hdl.handle.net/20.500.11850/129199
-
9Report
Authors: Alavi, Mohammad Seyed, Nanz, Sebastian, Meyer, Bertrand
Source: Technical Report / Department of Computer Science, ETH Zurich, 717
Subject Terms: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science, EIFFEL (PROGRAMMING LANGUAGES), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), EIFFEL (PROGRAMMIERSPRACHEN), PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING), PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING)
File Description: application/application/pdf
-
10Report
Authors: Hoang, Thai Son, Abrial, Jean-Raymond
Source: Technical Report / Department of Computer Science, ETH Zurich, 653
Subject Terms: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science, DISTRIBUTED ALGORITHMS + PARALLEL ALGORITHMS (PROGRAMMING METHODS), VERTEILTE ALGORITHMEN + PARALLELE ALGORITHMEN (PROGRAMMIERMETHODEN), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN)
File Description: application/application/pdf
-
11Report
Authors: Nienaltowski, Piotr, Gatto, Michael
Source: Technical report, 511
Subject Terms: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science, EIFFEL (PROGRAMMING LANGUAGES), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), EIFFEL (PROGRAMMIERSPRACHEN), PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING), PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING)
File Description: application/application/pdf
-
12
Authors: Kuster, Lukas
Subject Terms: VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), PARALLELPROZESSOREN + PARALLELCOMPUTER + PARALLELARCHITEKTUREN (COMPUTERSYSTEME), SPEZIELLE PROGRAMMIERMETHODEN, CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), PARALLEL PROCESSORS + PARALLEL COMPUTERS + PARALLEL ARCHITECTURES (COMPUTER SYSTEMS), SPECIAL PROGRAMMING METHODS, info:eu-repo/classification/ddc/004, Data processing, computer science
File Description: application/application/pdf
-
13Report
Authors: Bernardin, Laurent
Source: Internal report / Swiss Federal Institute of Technology, Computer Science Departement, 251
Subject Terms: MAPLE (SOFTWARE FÜR SYMBOLISCHE UND NUMERISCHE BERECHNUNG), Massively parallel computers, PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), MASSIV PARALLELE COMPUTER, Concurrent programming, MAPLE (SOFTWARE FOR SYMBOLIC AND NUMERICAL COMPUTATION), MASSIVELY PARALLEL COMPUTERS, CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science, VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), Parallel processing
File Description: application/application/pdf
-
14Report
Authors: Strumpen, Volker
Source: Internal report / Swiss Federal Institute of Technology, Computer Science Department, 232
Subject Terms: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science, TCP-IP, TRANSMISSION CONTROL PROTOCOL INTERNET PROTOCOL (COMPUTERSYSTEME), PROZESSVERWALTUNG + PROZESSMANAGEMENT (BETRIEBSSYSTEME), TCP-IP, TRANSMISSION CONTROL PROTOCOL INTERNET PROTOCOL (COMPUTERSYSTEMS), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SPECIAL PROGRAMMING METHODS, SPEZIELLE PROGRAMMIERMETHODEN, PROCESS MANAGEMENT (OPERATING SYSTEMS)
File Description: application/application/pdf
-
15Report
Authors: Chandy, K. Mani, Sanders, Beverly A.
Source: ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, 197
Subject Terms: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science, VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK), PREDICATE LOGIC (MATHEMATICAL LOGIC), INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK)
File Description: application/application/pdf
-
16Dissertation/ Thesis
Authors: Ullah, Faheem
Contributors: Groß, Thomas, McKee, Sally A.
Subject Terms: PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), TESTING + DEBUGGING (SOFTWARE ENGINEERING), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), info:eu-repo/classification/ddc/004, Data processing, computer science
File Description: application/application/pdf
-
17Dissertation/ Thesis
Authors: Schwerhoff, Malte H.
Contributors: Jacobs, Bart, Müller, Peter
Subject Terms: VERIFICATION (SOFTWARE ENGINEERING), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), VERIFIKATION (SOFTWARE ENGINEERING), KORREKTHEIT (THEORIE DER PROGRAMMIERUNG), CORRECTNESS (THEORY OF PROGRAMMING), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), info:eu-repo/classification/ddc/004, Data processing, computer science
File Description: application/application/pdf
-
18Dissertation/ Thesis
Authors: Schill, Mischael
Contributors: Mattern, Friedemann, Meyer, Bertrand
Subject Terms: DISTRIBUTED ALGORITHMS + PARALLEL ALGORITHMS (PROGRAMMING METHODS), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), VERTEILTE ALGORITHMEN + PARALLELE ALGORITHMEN (PROGRAMMIERMETHODEN), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), info:eu-repo/classification/ddc/004, Data processing, computer science
File Description: application/application/pdf
-
19Dissertation/ Thesis
Authors: Kolesnichenko, Alexey
Contributors: Meyer, Bertrand, Bishop, Judith M.
Subject Terms: PARALLELPROZESSOREN + PARALLELCOMPUTER + PARALLELARCHITEKTUREN (COMPUTERSYSTEME), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PROZESSVERWALTUNG + PROZESSMANAGEMENT (BETRIEBSSYSTEME), PARALLEL PROCESSORS + PARALLEL COMPUTERS + PARALLEL ARCHITECTURES (COMPUTER SYSTEMS), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), PROCESS MANAGEMENT (OPERATING SYSTEMS), info:eu-repo/classification/ddc/004, Data processing, computer science
File Description: application/application/pdf
-
20Report
Authors: Lalis, Spiros
Source: ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme, 161
Subject Terms: Data processing, computer science, PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING), OBERON (PROGRAMMIERSPRACHEN), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBERON (PROGRAMMING LANGUAGES), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING)
File Description: application/application/pdf
Access URL: http://hdl.handle.net/20.500.11850/68905