Search Results - Concurrent programming-distributed programming
-
1
Authors: et al.
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
-
2
Authors: et al.
Contributors: et al.
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
-
3
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783662496640
Lecture Notes in Computer Science, 9633
Fundamental Approaches to Software EngineeringSubject Terms: 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)
File Description: application/application/pdf; application/pdf
Access URL: 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 -
4
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783319395180
Subject Terms: 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)
File Description: application/pdf; application/application/pdf
Access URL: 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 -
5
Authors:
Contributors:
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), Data processing, computer science
File Description: application/application/pdf
Access URL: 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 -
6
Authors:
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 -
7
Authors: Carlos A. Varela
Resource Type: eBook.
-
8
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.3535; http://halcyon.usc.edu/~yangyu/data/Sensys06.pdf
-
9
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
-
10
Authors:
Contributors:
Subject Terms: D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming General Terms Design, Languages, Performance Keywords Distributed programming, cloud computing, concurrency
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8418; http://research.microsoft.com/pubs/102137/sigmod09.pdf
-
11
Authors: Piotr Nienaltowski
Subject Terms: 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)
-
12
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.8607; http://mesl.ucsd.edu/gupta/pubs/TOSN08.pdf
-
13
Authors:
Contributors:
Subject Terms: 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)
File Description: application/application/pdf
-
14
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
15
Authors:
Contributors:
Source: http://basics.sjtu.edu.cn/~yuehg/popl/transactors a programming model for maintaining globally consistent distributed state in unreliable environments (2005).pdf.
Subject Terms: tolerance, D.1.3 [Programming Techniques, Concurrent Programming—distributed programming General Terms Languages, Reliability, Design, Theory Keywords Distributed state, Transactor, Tau-calculus, Actor
File Description: 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
Availability: 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 -
16
Authors:
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
-
17
Authors:
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
-
18
Authors:
Contributors:
Subject Terms: interest management
File Description: 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
-
19
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
-
20
Contributors: The Pennsylvania State University CiteSeerX Archives
File Description: 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
Nájsť tento článok vo Web of Science 
Full Text Finder