Search Results - "Concurrent Programming—Distributed Programming"
-
1
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
-
2
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 -
3
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
-
4
Authors: et al.
Contributors: et al.
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
-
5
Authors:
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
-
6
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
-
7
Authors: et al.
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
File Description: application/xml
Access URL: http://www.shuman.org/network/paper/ACM_Math_June97v23n2p133.pdf
https://zbmath.org/1113649
https://doi.org/10.1145/264029.264030
https://research.manchester.ac.uk/en/publications/b0c05d35-1d8b-4ecb-8b84-8f9254f87b16
https://dblp.uni-trier.de/db/journals/toms/toms23.html#BlackfordCPWDDRSDH97
https://www.cs.utexas.edu/users/inderjit/public_papers/acmtoms_dangers.pdf
https://dl.acm.org/doi/10.1145/264029.264030
https://www.escholar.manchester.ac.uk/uk-ac-man-scw:1h154
https://www.research.manchester.ac.uk/portal/en/publications/practical-experience-in-the-numerical-dangers-of-heterogeneous-computing(b0c05d35-1d8b-4ecb-8b84-8f9254f87b16).html
http://www.netlib.org/utk/people/JD/JackDongarra/PAPERS/087_1997_practical-experience-in-the-numerical-dangers-of-heterogeneous.pdf
http://dblp.uni-trier.de/db/journals/toms/toms23.html#BlackfordCPWDDRSDH97
https://research.manchester.ac.uk/en/publications/b0c05d35-1d8b-4ecb-8b84-8f9254f87b16
http://dblp.uni-trier.de/rec/bibtex/journals/toms/BlackfordCPWDDRSDH97.xml
http://dblp.uni-trier.de/rec/bibtex/journals/toms/BlackfordCPWDDRSDH97 -
8
Authors: Hansen, Per Brinch
Source: Concurrency: Practice and Experience. 5:425-448
Subject Terms: Cellular automata, Computer Sciences, 4. Education, Multicomputers, 02 engineering and technology, 15. Life on land, 7. Clean energy, 01 natural sciences, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, D.1.3Programming Techniques, Algorithms, Concurrent programming-distributed programming, Programming methodology
File Description: application/pdf
Access URL: https://surface.syr.edu/cgi/viewcontent.cgi?article=1161&context=eecs_techreports
https://surface.syr.edu/cgi/viewcontent.cgi?article=1161&context=eecs_techreports
https://doi.org/10.1002/cpe.4330050504
https://surface.syr.edu/eecs_techreports/167/
https://onlinelibrary.wiley.com/doi/full/10.1002/cpe.4330050504
https://dblp.uni-trier.de/db/journals/concurrency/concurrency5.html#Hansen93a -
9
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Distributed Programming, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages— Program Analysis, C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed Applications General Terms Languages, Performance Keywords event, distributed, correlation, language, program analysis
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.1183; http://www.cs.purdue.edu/homes/peugster/EventJava/EvProgAnal.pdf
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming, D.2.13 [Software Engineering, Reusable Software—Reusable libraries General Terms Design, Algorithms Keywords Distributed
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.2566; http://www.cs.brown.edu/courses/cs227/papers/pregel.pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming- Distributed programming, Parallel Programming. General Terms Algorithms, Performance, Languages Keywords MapReduce, Cloud Technologies, Iterative Algorithms
File Description: application/pdf
-
12
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
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Concurrent Programming—Distributed programming General Terms Design, Experimentation, Measurement Keywords Wireless sensor networks, Heritage buildings, Middleware
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.178.67; http://disi.unitn.it/%7Epicco/papers/tower.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 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
-
15
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors J.7 [Computers in Other Systems, Real time, D.1.3 [Pro- gramming Techniques, Concurrent Programming—Distributed programming General Terms Algorithms, Management, Performance Keywords Open real-time systems, Anytime algorithms, QoS optimisa- tion and adaptation, Service stability
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.4444; http://eudl.eu/pdf/10.4108/ICST.AUTONOMICS2008.4488
-
16
Authors: et al.
Contributors: et al.
Source: https://www.evernote.com/shard/s1/res/d3f2a788-4f43-4b68-b64d-fd5da99de2e3/a6-van_renesse.pdf.
Subject Terms: Categories and Subject Descriptors, C.2.1 [Computer-Com- munication Networks, Network Architecture and Design { network communications, C.2.4 [Computer-Communic- ation Networks, Distributed Systems { distributed appli- cations, D.1.3 [Programming Techniques, Concurrent Programming { distributed programming, D.4.4 [Operating Systems, Communications Management { network com- munication, D.4.5 [Operating Systems, Reliability { fault tolerance, General Terms, Algorithms, Reliability. Additional Key Words and Phrases, Epidemics, Anti-Entropy, Gossip, Flow Control
File Description: application/pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Real-time and Embedded Systems, D.1.3 [Programming Techniques, Concurrent Programming–Distributed programming GeneralTerms Design, Languages, Performance Keywords Cyber-Physical Systems, Embedded Networks, Macroprogramming, Programming Abstractions
File Description: application/pdf
-
18
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming – distributed programming. D.2.5 [Software Engineering, Testing and Debugging – debugging aids, testing tools
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.6481; http://lspwww.epfl.ch//publications/gigaserver/dtofgbpa.pdf
-
19
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 -
20
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
Full Text Finder 
Nájsť tento článok vo Web of Science