Search Results - "Concurrent Programming – distributed programming"

1

Academic Journal

Local certification of graphs with bounded genus

Authors: Feuilloley, Laurent, Fraigniaud, Pierre, Montealegre, Pedro, Rapaport, Ivan, Rémila, Eric, Todinca, Ioan

Contributors: Feuilloley, Laurent, Laboratoire d'InfoRmatique en Image et Systèmes d'information (LIRIS), Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS), Graphes, AlgOrithmes et AppLications (GOAL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Centre National de la Recherche Scientifique (CNRS), Université Paris Cité (UPCité), Universidad Adolfo Ibáñez Santiago, Departamento de Ingeniería Matemática Santiago (DIM), Universidad de Chile = University of Chile Santiago (UCHILE)-Centre National de la Recherche Scientifique (CNRS), Groupe d'Analyse et de Théorie Economique Lyon - Saint-Etienne (GATE Lyon Saint-Étienne), Université Lumière - Lyon 2 (UL2)-Université Jean Monnet - Saint-Étienne (UJM)-EMLyon Business School (EM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA), ANR-16-CE40-0023,DESCARTES,Abstraction modulaire pour le calcul distribué(2016), ANR-17-CE40-0013,FREDDA,Méthodes formelles pour la conception d'algorithmes distribués(2017), ANR-18-CE47-0010,QuDATA,Algorithmes quantiques pour données massives(2018)

Source: Discrete Applied Mathematics. 325:9-36

Subject Terms: FOS: Computer and information sciences, [INFO.INFO-DC]Computer Science [cs]/Distributed, 0102 computer and information sciences, Parallel, 01 natural sciences, and Cluster Computing [cs.DC], 2012 ACM Subject Classification D.1.3 Concurrent Programming (Distributed programming), Computer Science - Distributed, Parallel, and Cluster Computing, proof-labeling scheme, Local certification, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], locally checkable proofs, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics

File Description: application/pdf

Access URL: http://arxiv.org/abs/2007.08084

View record at OpenAIRE View record from ScienceDirect

Linked Full Text

2

Academic Journal

A library for portable and composable data locality optimizations for NUMA systems

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

View record at OpenAIRE

3

Book

Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Authors: M. Boreale, F. Corradini, M. Loreti, R. Pugliese

Source: Lecture Notes in Computer Science ISBN: 9783030214845

Subject Terms: Models, Languages, Tools, Concurrent Programming, Distributed Programming, Rocco De Nicola

Access URL: https://hdl.handle.net/2158/1159314

4

Conference

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

Authors: Corrodi, Claudio, Heußner, Alexander, Poskitt, Christopher M.

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

Availability: https://hdl.handle.net/20.500.11850/113623
https://doi.org/10.3929/ethz-a-010603195

View record from BASE

5

Conference

An Interference-Free Programming Model for Network Objects

Authors: Schill, Mischael, Poskitt, Christopher M., Meyer, Bertrand

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

Relation: http://hdl.handle.net/20.500.11850/155552

Availability: https://hdl.handle.net/20.500.11850/155552
https://doi.org/10.3929/ethz-a-010624290

View record from BASE

6

Conference

A library for portable and composable data locality optimizations for NUMA systems

Authors: Gross, Thomas, id_orcid:0 000-0002-2038-2902, Majó, Zoltán

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

Availability: https://hdl.handle.net/20.500.11850/98643
https://doi.org/10.3929/ethz-a-010381204

View record from BASE

7

Academic Journal

Practical experience in the numerical dangers of heterogeneous computing

Authors: Blackford, L. S., Cleary, A., Petitet, A., Whaley, R. C., Demmel, J., Dhillon, I., Ren, H., Stanley, K., Dongarra, J., Hammarling, S.

Source: Blackford, L S, Cleary, A, Petitet, A, Whaley, R C, Demmel, J, Dhillon, I, Ren, H, Stanley, K, Dongarra, J & Hammarling, S 1997, 'Practical Experience in the Numerical Dangers of Heterogeneous Computing', ACM Transactions on Mathematical Software, vol. 23, no. 2, pp. 133-147. < http://dblp.uni-trier.de/db/journals/toms/toms23.html#BlackfordCPWDDRSDH97 >

Subject Terms: 0301 basic medicine, Network design and communication in computer systems, Parallel algorithms, Floating-point arithmetic, Distributed-memory systems, Reliability, heterogeneous computing, 01 natural sciences, 7. Clean energy, 03 medical and health sciences, D.1.3 [Programming Techniques]: Concurrent Programming - distributed programming, G.1.0 [Numerical Analysis]: General - computer arithmetic, 0101 mathematics, Algorithms