Výsledky vyhledávání - "Concurrent Programming { distributed programming"

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 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

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

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, 9633 ; Fundamental Approaches to Software Engineering

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

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

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

An Interference-Free Programming Model for Network Objects

Autoři: Schill, Mischael Poskitt, Christopher M. Meyer, Bertrand

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

Popis souboru: application/application/pdf

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

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

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

Practical experience in the numerical dangers of heterogeneous computing

Autoři: Blackford, L. S. Cleary, A. Petitet, A. a další

Zdroj: 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 >

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

Popis souboru: application/xml

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

Parallel cellular automata: A model program for computational science

Autoři: Hansen, Per Brinch

Zdroj: Concurrency: Practice and Experience. 5:425-448

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

Popis souboru: application/pdf

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

Program Analysis for Event-based Distributed Systems

Autoři: K. R. Jayaram Patrick Eugster The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: K. R. Jayaram Patrick Eugster The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.purdue.edu/homes/peugster/EventJava/EvProgAnal.pdf.

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

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.1183
http://www.cs.purdue.edu/homes/peugster/EventJava/EvProgAnal.pdf

Pregel: A system for large-scale graph processing

Autoři: Grzegorz Malewicz Matthew H. Austern Aart J. C. Bik a další

Přispěvatelé: Grzegorz Malewicz Matthew H. Austern Aart J. C. Bik a další

Zdroj: http://www.cs.brown.edu/courses/cs227/papers/pregel.pdf.

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

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.2566
http://www.cs.brown.edu/courses/cs227/papers/pregel.pdf

G.Fox, Twister: A Runtime for iterative MapReduce

Autoři: Jaliya Ekanayake Hui Li Bingjing Zhang a další

Přispěvatelé: Jaliya Ekanayake Hui Li Bingjing Zhang a další

Zdroj: http://grids.ucs.indiana.edu/ptliupages/publications/hpdc-camera-ready-submission.pdf.

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.300.4511
http://grids.ucs.indiana.edu/ptliupages/publications/hpdc-camera-ready-submission.pdf

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

Monitoring heritage buildings with wireless sensor networks: the Torre Aquila deployment

Autoři: Matteo Ceriotti Luca Mottola Gian Pietro Picco a další

Přispěvatelé: Matteo Ceriotti Luca Mottola Gian Pietro Picco a další

Zdroj: http://disi.unitn.it/%7Epicco/papers/tower.pdf.

Témata: Concurrent Programming—Distributed programming General Terms Design, Experimentation, Measurement Keywords Wireless sensor networks, Heritage buildings, Middleware

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.178.67; http://disi.unitn.it/%7Epicco/papers/tower.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.178.67
http://disi.unitn.it/%7Epicco/papers/tower.pdf

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

L.M.: Dynamic qos adaptation of inter-dependent task sets in cooperative embedded systems

Autoři: Luís Nogueira Luís Miguel Pinho The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Luís Nogueira Luís Miguel Pinho The Pennsylvania State University CiteSeerX Archives

Zdroj: http://eudl.eu/pdf/10.4108/ICST.AUTONOMICS2008.4488.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.4444
http://eudl.eu/pdf/10.4108/ICST.AUTONOMICS2008.4488

Efficient reconciliation and flow control for anti-entropy protocols

Autoři: Van Renesse Dan Dumitriu Valient Gough a další

Přispěvatelé: Van Renesse Dan Dumitriu Valient Gough a další

Zdroj: https://www.evernote.com/shard/s1/res/d3f2a788-4f43-4b68-b64d-fd5da99de2e3/a6-van_renesse.pdf.

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.467.5229

Macrolab: a vector-based macroprogramming framework for cyber-physical systems

Autoři: Timothy W. Hnat Tamim I. Sookoor Pieter Hooimeijer a další

Přispěvatelé: Timothy W. Hnat Tamim I. Sookoor Pieter Hooimeijer a další

Zdroj: http://www.cs.virginia.edu/~tis5m/docs/sensys08-macrolab.pdf.

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.357.5429
http://www.cs.virginia.edu/~tis5m/docs/sensys08-macrolab.pdf

Dynamic testing of flow graph based parallel applications

Autoři: Basile Schaeli Roger D. Hersch The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Basile Schaeli Roger D. Hersch The Pennsylvania State University CiteSeerX Archives

Zdroj: http://lspwww.epfl.ch//publications/gigaserver/dtofgbpa.pdf.

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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.6481; http://lspwww.epfl.ch//publications/gigaserver/dtofgbpa.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.6481
http://lspwww.epfl.ch//publications/gigaserver/dtofgbpa.pdf

Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE

Autoři: Claudio Corrodi

Zdroj: arXiv: Programming Languages.

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

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

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