Suchergebnisse - Concurrent programming-distributed programming*

Distributed Concurrent Constraint Programming: Distributed concurrent constraint programming

Autoren: Jean-Hugues Réty

Quelle: Fundamenta Informaticae. 34:323-346

Schlagwörter: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Network design and communication in computer systems, concurrent constraint programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/1337862
https://content.iospress.com/articles/fundamenta-informaticae/fi34-3-05
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.baztech-article-BUS1-0003-0046
https://dblp.uni-trier.de/db/journals/fuin/fuin34.html#Rety98

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

Autoren: M. Boreale F. Corradini M. Loreti et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783030214845

Schlagwörter: Models, Languages, Tools, Concurrent Programming, Distributed Programming, Rocco De Nicola

Zugangs-URL: https://hdl.handle.net/2158/1159314

Distributed Parallel Computing Using Navigational Programming: Distributed parallel computing using navigational programming

Autoren: Pan, Lei Lai, M K Noguchi, K et al.

Quelle: International Journal of Parallel Programming, vol 32, iss 1

Schlagwörter: navigational programming, Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), distributed parallel computing, message passing, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, distributed shared memory, incremental parallelization, 02 engineering and technology, Distributed systems, 7. Clean energy, 01 natural sciences

Dateibeschreibung: application/xml; application/pdf

Zugangs-URL: https://escholarship.org/content/qt33j5w06s/qt33j5w06s.pdf?t=lnoszf
https://escholarship.org/content/qt33j5w06s/qt33j5w06s.pdf?t=lnoszf
https://link.springer.com/article/10.1023/B:IJPP.0000015563.36375.17
https://doi.org/10.1023/B:IJPP.0000015563.36375.17
https://dl.acm.org/doi/10.1023/B%3AIJPP.0000015563.36375.17
https://dblp.uni-trier.de/db/journals/ijpp/ijpp32.html#PanLNHBD04
https://escholarship.org/uc/item/33j5w06s
https://escholarship.org/uc/item/33j5w06s

Programming Distributed Memory Sytems Using OpenMP

Autoren: Basumallik, Ayon Min, Seung-Jai Eigenmann, Rudolf

Quelle: 2007 IEEE International Parallel and Distributed Processing Symposium. :1-8

Schlagwörter: parallel programming, message passing, concurrent computing, software performance, Life Sciences, 02 engineering and technology, runtime, software algorithms, software systems, distributed computing, application software, Engineering, Medicine and Health Sciences, Physical Sciences and Mathematics, 0202 electrical engineering, electronic engineering, information engineering, communication system sofware

Zugangs-URL: http://www.cecs.uci.edu/~papers/ipdps07/pdfs/HIPS-TOPMoDRS-2-paper-1.pdf
http://ftp.cs.rochester.edu/~cding/Announcements/HIPS07/openmp.pdf
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004228125
https://www.cs.rochester.edu/~cding/Announcements/HIPS07/openmp.pdf
http://www.cecs.uci.edu/~papers/ipdps07/pdfs/HIPS-TOPMoDRS-2-paper-1.pdf
https://docs.lib.purdue.edu/ccpubs/365/
https://dblp.uni-trier.de/db/conf/ipps/ipdps2007.html#BasumallikME07

Local certification of graphs with bounded genus

Autoren: Feuilloley, Laurent Fraigniaud, Pierre Montealegre, Pedro et al.

Weitere Verfasser: Feuilloley, Laurent Fraigniaud, Pierre Montealegre, Pedro et al.

Quelle: Discrete Applied Mathematics. 325:9-36

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2007.08084

Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems

Autoren: Guido Salvaneschi Pascal Weisenburger

Quelle: Lecture Notes in Computer Science ISBN: 9783031510595

Dateibeschreibung: application/pdf

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

Autoren: CORRODI, Claudio HEUßNER, Alexander POSKITT, Christopher M. et al.

Weitere Verfasser: CORRODI, Claudio HEUßNER, Alexander POSKITT, Christopher M. et al.

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

Schlagwörter: 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)

Dateibeschreibung: application/application/pdf; application/pdf

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

An Interference-Free Programming Model for Network Objects

Autoren: SCHILL, Mischael POSKITT, Christopher M. MEYER, Bertrand et al.

Weitere Verfasser: SCHILL, Mischael POSKITT, Christopher M. MEYER, Bertrand et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783319395180

Schlagwörter: 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)

Dateibeschreibung: application/pdf; application/application/pdf

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

Unified Interference-free Parallel, Concurrent and Distributed Programming

Autoren: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

Weitere Verfasser: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

Schlagwörter: 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

Dateibeschreibung: application/application/pdf

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

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

Autoren: Thomas R. Gross Zoltan Majo

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

Schlagwörter: 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

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

Programming Distributed Computing Systems : A Foundational Approach

Autoren: Carlos A. Varela

Resource Type: eBook.

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

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

Concurrent, Real-Time and Distributed Programming in Java : Threads, RTSJ and RMI

Autoren: Badr Benmammar

Resource Type: eBook.

Schlagworte: Java (Computer program language)

Categories: COMPUTERS / Languages / Java

Supporting concurrent applications in wireless sensor networks

Autoren: Yang Yu Loren J. Rittle The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Yang Yu Loren J. Rittle The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Kourtis, Kornilios

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

Schlagwörter: VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science

Dateibeschreibung: application/application/pdf

Zugangs-URL: http://hdl.handle.net/20.500.11850/129199

Practical framework for contract-based concurrent object-oriented programming

Autoren: Piotr Nienaltowski

Schlagwörter: 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)

Zugangs-URL: http://se.inf.ethz.ch/old/people/nienaltowski/research_plan_public.pdf
https://www.research-collection.ethz.ch/handle/20.500.11850/7159

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

Autoren: Bläser, Luc Nagel, Kai Gutknecht, Jürg

Weitere Verfasser: Bläser, Luc Nagel, Kai Gutknecht, Jürg

Schlagwörter: 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)

Dateibeschreibung: application/application/pdf

Zugangs-URL: 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

Distributed data-parallel computing using a highlevel programming language

Autoren: Michael Isard Yuan Yu The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Michael Isard Yuan Yu The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming General Terms Design, Languages, Performance Keywords Distributed programming, cloud computing, concurrency

Dateibeschreibung: application/pdf

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

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

Programming models for sensor networks: a survey

Autoren: Ryo Sugihara Rajesh K. Gupta The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Ryo Sugihara Rajesh K. Gupta The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

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

Programming models for sensor networks: A survey

Autoren: Ryo Sugihara Rajesh K. Gupta The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Ryo Sugihara Rajesh K. Gupta The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: John Field Carlos A. Varela The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: John Field Carlos A. Varela The Pennsylvania State University CiteSeerX Archives

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

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

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

Verfügbarkeit: 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