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

Authors: M. Boreale F. Corradini M. Loreti 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

Improving parallel and concurrent programming in FreeST

Authors: Lopes, Guilherme João Correia Rodrigues, Andreia Filipa Torcato Mordido Vasconcelos, Vasco Manuel Thudichum de Serpa et al.

Contributors: Lopes, Guilherme João Correia Rodrigues, Andreia Filipa Torcato Mordido Vasconcelos, Vasco Manuel Thudichum de Serpa et al.

Source: urn:tid:203741170

Subject Terms: Tipos de sessão, Concorrência, Problemas embaraçosamente paralelos, Futuros, Streams, Teses de mestrado - 2024

File Description: application/pdf

Availability: http://hdl.handle.net/10400.5/95630

An experimental evaluation of tools for grading concurrent programming exercises

Authors: Barros, Manuel Ramos, Maria Gomes, Alexandre et al.

Contributors: Barros, Manuel Ramos, Maria Gomes, Alexandre et al.

Subject Terms: Concurrent programming, e-Learning, Testing, Verification

File Description: application/pdf

Relation: 978-3-031-35354-3; 0302-9743

Availability: https://hdl.handle.net/1822/89231

Programming and parallelising applications for distributed infrastructures

Authors: Tejedor Saavedra, Enric

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria)

Source: TDX (Tesis Doctorals en Xarxa)

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/129576
https://dx.doi.org/10.5821/dissertation-2117-95111

Developments in dataflow programming

Authors: Maxwell, D. J. Galton, A. Fieldsend, J.

Contributors: Maxwell, D. J. Galton, A. Fieldsend, J.

Subject Terms: 004, Dataflow Programming, Dataflow Languages, Parallelism and Concurrency, Concurrent Programming, Visual Programming, Distributed Programming, Interactive and Reactive Computation, Functional Programming, Interactive Environments, Multiparadigm Languages, Reuse Models, Software Engineering, Software Architecture

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.775731

Optimization techniques for distributed task-based programming models

Authors: Ali, Omar Shaaban Ibrahim

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Carpenter, Paul Matthew, Martorell Bofill, Xavier

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: HPC, Runtime Systems, OpenMP, OmpSs-2, Distributed computing, Task Parallelism, Àrees temàtiques de la UPC::Informàtica

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/692709
https://dx.doi.org/10.5821/dissertation-2117-420575

Distributed Programming : Theory and Practice

Authors: A. Udaya Shankar

Resource Type: eBook.

Subjects: Computer networks, Computer programming, Software engineering, Computer science

Categories: COMPUTERS / Networking / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Principles of Concurrent and Distributed Programming UPDF EBook

Authors: M. Ben-Ari

Resource Type: eBook.

Categories: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Principles of concurrent and distributed programming / M. Ben-Ari.

Authors: Ben-Ari, Mordechai (1948- ).

Source: Bibliogr. s. 351-354. Indeks.

Subject Terms: Programowanie równoległe (informatyka), Przetwarzanie rozproszone

Other Title: Principles of concurrent and distributed programming

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1244128&theme=nukat

A history of the Oz multiparadigm language

Authors: Van Roy, Peter Haridi, Seif Schulte, Christian et al.

Source: Proceedings of the ACM on Programming Languages. 4(HOPL)

Subject Terms: Computer programming, Concurrent programming, Dataflow, Distributed programming, Functional programming, Lazy evaluation, Logic programming, Multiparadigm programming, Programming education, Calculations, Concurrent constraint, Concurrent logic programming, Constraint Logic Programming, Foundational calculus, Layered Structures, Multi-paradigm languages, Programming course, Programming paradigms, PROLOG (programming language)

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-48928
https://doi.org/10.1145/3386333

The MPI/OmpSs parallel programming model

Authors: Marjanović, Vladimir

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Labarta Mancho, Jesús, Gracia Calvo, Juan José

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Àrees temàtiques de la UPC::Informàtica

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/398135
https://dx.doi.org/10.5821/dissertation-2117-98109

A model for correlation-based choreographic programming

Authors: Saverio Giallorenzo Fabrizio Montesi Maurizio Gabbrielli

Source: PeerJ Computer Science, Vol 10, p e1907 (2024)

Subject Terms: Concurrency, Distributed programming, Service-oriented computing, Choreographic programming, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://peerj.com/articles/cs-1907.pdf; https://peerj.com/articles/cs-1907/; https://doaj.org/toc/2376-5992

Access URL: https://doaj.org/article/18644bfa4a654824aa9dd7945b4d6c81

On algorithmic reductions in task-parallel programming models

Authors: Ciesko, Jan

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria), Labarta Mancho, Jesús

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Àrees temàtiques de la UPC::Informàtica

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/457566
https://dx.doi.org/10.5821/dissertation-2117-111500

Unified Interference-free Parallel, Concurrent and Distributed Programming

Authors: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

Contributors: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

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

Principles of concurrent and distributed programming / M. Ben-Ari.

Authors: Ben-Ari, Mordechai (1948- ).

Subject Terms: Programowanie równoległe (informatyka), Przetwarzanie rozproszone

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1645370&theme=nukat

Local certification of graphs with bounded genus

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

Contributors: Feuilloley, Laurent Fraigniaud, Pierre Montealegre, Pedro 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

The Implementation of An Object-Oriented Concurrent Programming Language on Distributed Environments. / 並列オブジェクト指向言語の分散環境における実現

Authors: Akinori Yonezawa Toshihiro Takada 米澤 明憲 et al.

Source: コンピュータ ソフトウェア / Computer Software. 1989, 6(1):1-17

An Interference-Free Programming Model for Network Objects

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

Contributors: SCHILL, Mischael POSKITT, Christopher M. MEYER, Bertrand 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

Reengineering the SLEEP simulator in a concurrent and distributed programming course.

Authors: Radivojević, Zaharije Cvetanović, Miloš Jovanović, Zoran

Source: Computer Applications in Engineering Education; Mar2014, Vol. 22 Issue 1, p39-51, 13p

Subject Terms: DISTRIBUTED computing, SIMULATION software, COMPUTER science education, JAVA programming language, GRID computing, EDUCATION

Distributed data-parallel computing using a highlevel programming language

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

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

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

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

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