Výsledky vyhledávání - Concurrent programming-distributed programming~

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

Autoři: M. Boreale F. Corradini M. Loreti a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783030214845

Témata: Models, Languages, Tools, Concurrent Programming, Distributed Programming, Rocco De Nicola

Přístupová URL adresa: https://hdl.handle.net/2158/1159314

Local certification of graphs with bounded genus

Autoři: Feuilloley, Laurent Fraigniaud, Pierre Montealegre, Pedro a další

Přispěvatelé: Feuilloley, Laurent Fraigniaud, Pierre Montealegre, Pedro a další

Zdroj: Discrete Applied Mathematics. 325:9-36

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2007.08084

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

Autoři: CORRODI, Claudio HEUßNER, Alexander POSKITT, Christopher M. a další

Přispěvatelé: CORRODI, Claudio HEUßNER, Alexander POSKITT, Christopher M. a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783662496640
Lecture Notes in Computer Science, 9633
Fundamental Approaches to Software Engineering

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 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), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computer Science - Software Engineering, Data processing, computer science, 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Programming Languages, Software Engineering, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Programming Languages and Compilers, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), Programming Languages (cs.PL)

Popis souboru: application/application/pdf; application/pdf

Přístupová URL adresa: https://ink.library.smu.edu.sg/sis_research/4907
http://arxiv.org/abs/1603.00307
https://arxiv.org/pdf/1603.00307
https://www.arxiv.org/abs/1603.00307
http://export.arxiv.org/pdf/1603.00307
https://dblp.uni-trier.de/db/journals/corr/corr1603.html#CorrodiHP16
https://ui.adsabs.harvard.edu/abs/2016arXiv160300307C/abstract
https://ink.library.smu.edu.sg/sis_research/4907/
https://www.research-collection.ethz.ch/handle/20.500.11850/113623
https://link.springer.com/chapter/10.1007/978-3-662-49665-7_3
https://core.ac.uk/display/79442304
http://hdl.handle.net/20.500.11850/113623

An Interference-Free Programming Model for Network Objects

Autoři: SCHILL, Mischael POSKITT, Christopher M. MEYER, Bertrand a další

Přispěvatelé: SCHILL, Mischael POSKITT, Christopher M. MEYER, Bertrand a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783319395180

Témata: FOS: Computer and information sciences, SPECIAL PROGRAMMING METHODS, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), 01 natural sciences, CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Computer Science - Software Engineering, Data processing, computer science, VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SPECIFICATIONS (SOFTWARE ENGINEERING), 0202 electrical engineering, electronic engineering, information engineering, SPEZIFIKATIONEN (SOFTWARE ENGINEERING), Computer Science - Programming Languages, [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], SPEZIELLE PROGRAMMIERMETHODEN, Software Engineering, Software Engineering (cs.SE), Programming Languages and Compilers, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), Programming Languages (cs.PL)

Popis souboru: application/pdf; application/application/pdf

Přístupová URL adresa: https://ink.library.smu.edu.sg/sis_research/4908
http://arxiv.org/abs/1604.04591
https://core.ac.uk/display/42707873
https://link.springer.com/chapter/10.1007/978-3-319-39519-7_14/fulltext.html
https://e-citations.ethbib.ethz.ch/view/pub:176554
https://rd.springer.com/chapter/10.1007/978-3-319-39519-7_14
https://dblp.uni-trier.de/db/journals/corr/corr1604.html#SchillPM16
http://ui.adsabs.harvard.edu/abs/2016arXiv160404591S/abstract
https://arxiv.org/pdf/1604.04591.pdf
http://export.arxiv.org/pdf/1604.04591
https://www.arxiv.org/abs/1604.04591
http://hdl.handle.net/20.500.11850/155552

Unified Interference-free Parallel, Concurrent and Distributed Programming

Autoři: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

Přispěvatelé: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

Témata: 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), Data processing, computer science

Popis souboru: application/application/pdf

Přístupová URL adresa: https://www.research-collection.ethz.ch/mapping/view/eth:50417
http://e-collection.library.ethz.ch/eserv/eth:50417/eth-50417-02.pdf
https://e-collection.library.ethz.ch/view/eth:50417
https://www.research-collection.ethz.ch/bitstream/20.500.11850/127377/1/eth-50417-01.pdf
http://hdl.handle.net/20.500.11850/127377

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

Autoři: Thomas R. Gross Zoltan Majo

Zdroj: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. :227-238

Témata: 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

Přístupová URL adresa: 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

Programming Distributed Computing Systems : A Foundational Approach

Autoři: Carlos A. Varela

Resource Type: eBook.

Témata: Electronic data processing--Distributed processing, Parallel programming (Computer science), Programming languages (Electronic computers)

Categories: COMPUTERS / Computer Science, COMPUTERS / Languages / General

Supporting concurrent applications in wireless sensor networks

Autoři: Yang Yu Loren J. Rittle The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Yang Yu Loren J. Rittle The Pennsylvania State University CiteSeerX Archives

Zdroj: http://halcyon.usc.edu/~yangyu/data/Sensys06.pdf.

Témata: applications, D.1.3 [Programming Techniques, Concurrent Programming— Distributed programming General Terms, Algorithms, Design, Performance, Experimentation Keywords, wireless sensor networks, Muse, Melete, network protocols, Trickle, virtual machine, Maté, concurrent applications, dynamic group formation, group-keyed code dissemination, group-keyed

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.3535; http://halcyon.usc.edu/~yangyu/data/Sensys06.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.3535
http://halcyon.usc.edu/~yangyu/data/Sensys06.pdf

Sequences for Parallel Programming

Autoři: Kourtis, Kornilios

Zdroj: Technical Report / Systems Group, Department of Computer Science, ETH Zurich

Témata: VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science

Popis souboru: application/application/pdf

Přístupová URL adresa: http://hdl.handle.net/20.500.11850/129199

Distributed data-parallel computing using a highlevel programming language

Autoři: Michael Isard Yuan Yu The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Michael Isard Yuan Yu The Pennsylvania State University CiteSeerX Archives

Zdroj: http://research.microsoft.com/pubs/102137/sigmod09.pdf.

Témata: D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming General Terms Design, Languages, Performance Keywords Distributed programming, cloud computing, concurrency

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8418; http://research.microsoft.com/pubs/102137/sigmod09.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8418
http://research.microsoft.com/pubs/102137/sigmod09.pdf

Practical framework for contract-based concurrent object-oriented programming

Autoři: Piotr Nienaltowski

Témata: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science, VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING), PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME)

Přístupová URL adresa: http://se.inf.ethz.ch/old/people/nienaltowski/research_plan_public.pdf
https://www.research-collection.ethz.ch/handle/20.500.11850/7159

Programming models for sensor networks: a survey

Autoři: Ryo Sugihara Rajesh K. Gupta The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ryo Sugihara Rajesh K. Gupta The Pennsylvania State University CiteSeerX Archives

Zdroj: http://mesl.ucsd.edu/gupta/pubs/TOSN08.pdf.

Témata: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming, D.3.m [Programming Languages, Miscellaneous General Terms, Design, Languages Additional Key Words and Phrases, Programming models and languages, survey, taxonomy ACM Reference Format

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.8607; http://mesl.ucsd.edu/gupta/pubs/TOSN08.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.8607
http://mesl.ucsd.edu/gupta/pubs/TOSN08.pdf

A component language for pointer-free concurrent programming and its application to simulation

Autoři: Bläser, Luc Nagel, Kai Gutknecht, Jürg

Přispěvatelé: Bläser, Luc Nagel, Kai Gutknecht, Jürg

Témata: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), COMPUTER SIMULATION, SOFTWARE REUSABILITY + SOFTWARE REUSE + COMPONENT-BASED SOFTWARE DESIGN (SOFTWARE ENGINEERING), Data processing, computer science, VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), CD-ROM (DOCUMENT TYPES), COMPUTERSIMULATION, CD-ROM (DOKUMENTENTYP), SOFTWAREWIEDERVERWENDUNG + KOMPONENTENBASIERTE SOFTWAREENTWICKLUNG (SOFTWARE ENGINEERING)

Popis souboru: application/application/pdf

Přístupová URL adresa: https://www.research-collection.ethz.ch/handle/20.500.11850/72904
http://e-collection.library.ethz.ch/view/eth:30090
http://hdl.handle.net/20.500.11850/72904

Programming models for sensor networks: A survey

Autoři: Ryo Sugihara Rajesh K. Gupta The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ryo Sugihara Rajesh K. Gupta The Pennsylvania State University CiteSeerX Archives

Zdroj: http://mesl.ucsd.edu/pubs/sugihara-tosn07.pdf.

Témata: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming, D.3.m [Programming Languages, Miscellaneous General Terms, Design, Languages Additional Key Words and Phrases, Programming models and languages, survey, taxonomy

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.6757

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.6757
http://mesl.ucsd.edu/pubs/sugihara-tosn07.pdf

Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments

Autoři: John Field Carlos A. Varela The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: John Field Carlos A. Varela The Pennsylvania State University CiteSeerX Archives

Zdroj: http://basics.sjtu.edu.cn/~yuehg/popl/transactors a programming model for maintaining globally consistent distributed state in unreliable environments (2005).pdf.

Témata: tolerance, D.1.3 [Programming Techniques, Concurrent Programming—distributed programming General Terms Languages, Reliability, Design, Theory Keywords Distributed state, Transactor, Tau-calculus, Actor

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.586.2465; http://basics.sjtu.edu.cn/~yuehg/popl/transactors a programming model for maintaining globally consistent distributed state in unreliable environments (2005).pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.586.2465
http://basics.sjtu.edu.cn/~yuehg/popl/transactors a programming model for maintaining globally consistent distributed state in unreliable environments (2005).pdf

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

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

Zdroj: PPoPP 2015 Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Témata: 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

Popis souboru: 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

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

Conjunctive predicate transformers for reasoning about concurrent computation

Autoři: Chandy, K. Mani Sanders, Beverly A.

Zdroj: ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, 197

Témata: 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)

Popis souboru: application/application/pdf

Přístupová URL adresa: https://authors.library.caltech.edu/26769/
http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29
https://www.research-collection.ethz.ch/handle/20.500.11850/69228
http://hdl.handle.net/20.500.11850/69228

Concurrent Programming—distributed programming General Terms

Autoři: Multiplayer Games Jörg Kienzle The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Multiplayer Games Jörg Kienzle The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.wpi.edu/~gogo/hive/papers/Boulanger_2006.pdf.

Témata: interest management

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.565; http://www.cs.wpi.edu/~gogo/hive/papers/Boulanger_2006.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.565
http://www.cs.wpi.edu/~gogo/hive/papers/Boulanger_2006.pdf

Latency-driven programming of computer networks

Autoři: Strumpen, Volker

Zdroj: Internal report / Swiss Federal Institute of Technology, Computer Science Department, 232

Témata: 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)

Popis souboru: application/application/pdf

Přístupová URL adresa: http://e-collection.library.ethz.ch/view/eth:3322
http://hdl.handle.net/20.500.11850/68875

D.1.3 [Software]: Concurrent Programming – Distributed programming

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.vu.nl/~steen/papers/2007.gecco.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.3906; http://www.cs.vu.nl/~steen/papers/2007.gecco.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.3906
http://www.cs.vu.nl/~steen/papers/2007.gecco.pdf