Suchergebnisse - concurrent programming and distributed computing

Optimization techniques for distributed task-based programming models

Autoren: Ali, Omar Shaaban Ibrahim

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

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

Quelle: TDX (Tesis Doctorals en Xarxa)

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

Dateibeschreibung: application/pdf

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

Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary)

Autoren: Huisman, M. Merz, S. Seceleanu, C.

Index Begriffe: Case-studies, Concurrent and distributed systems, Concurrent programming, Distributed systems, Parallel code, Performance, Real-world, Safety and securities, Verification method, Verification-and-validation, Distributed computer systems, Computer Systems, Datorsystem, Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-69178
Lecture Notes in Computer Science, 0302-9743 ; 15221 LNCS
Lecture Notes in Computer Science, p. 269-273

M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages: M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages

Autoren: Richard P. Hopkins Hanna Klaudel Elisabeth Pelz et al.

Quelle: Acta Informatica. 35:813-857

Schlagwörter: M-nets, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Theory of programming languages, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, high-level Petri net, 01 natural sciences

Dateibeschreibung: application/xml

Zugangs-URL: https://link.springer.com/article/10.1007/s002360050144
https://doi.org/10.1007/s002360050144
https://dblp.uni-trier.de/db/journals/acta/acta35.html#BestFHKP98

An Extension to Computing Elements in Erlang for Actor Based Concurrent Programming

Autoren: Cao Donggang Kang Lianghuan

Quelle: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. :99-105

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://ieeexplore.ieee.org/document/6196109/
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006196109
https://dblp.uni-trier.de/db/conf/isorc/isorc2012w.html#KangC12

Parallel C#: The usage of chords and higher-order functions in the design of parallel programming languages

Autoren: Guzev V.B.

Quelle: Proceedings of the 2008 International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2008

Schlagwörter: Parallel computing, HPC, Parallel c#, Concurrent, Distributed computing

Zugangs-URL: https://openrepository.ru/article?id=253446

Communication Port: A Language Concept for Concurrent Programming.

Autoren: Mao, T. William Yeh, Raymond T.

Quelle: IEEE Transactions on Software Engineering. Mar80, Vol. 6 Issue 2, p194-204. 11p. 1 Diagram.

Schlagwörter: *CONCURRENT engineering, *DISTRIBUTED computing, *PROGRAMMING languages, *COMPUTER network architectures, *COMPUTER programming, PORTS (Electronic computer system)

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

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

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

Schlagwörter: DISTRIBUTED computing, SIMULATION software, COMPUTER science education, JAVA programming language, GRID computing, EDUCATION

On the Design of Distributed Programming Models

Autoren: Meiklejohn, Christopher S.

Quelle: Proceedings of the Programming Models and Languages for Distributed Computing on -PMLDC '17
Proceedings of the Programming Models and Languages for Distributed Computing

Schlagwörter: FOS: Computer and information sciences, Computer Science - Distributed, Parallel, and Cluster Computing, 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), 02 engineering and technology

Zugangs-URL: http://arxiv.org/pdf/1701.07615
http://arxiv.org/abs/1701.07615
https://dblp.uni-trier.de/db/journals/corr/corr1701.html#Meiklejohn17
http://ui.adsabs.harvard.edu/abs/2017arXiv170107615M/abstract
https://core.ac.uk/display/74203219
https://dl.acm.org/doi/10.1145/3166089.3166093

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)

Autoren: Barwell, Adam D. Hou, Ping Yoshida, Nobuko et al.

Weitere Verfasser: Barwell, Adam D. Hou, Ping Yoshida, Nobuko et al.

Schlagwörter: Failure Handling, Scala, Theory of computation → Process calculi, Theory of computation → Distributed computing models, Concurrency, Session Types, ddc:004, Software and its engineering → Source code generation, Software and its engineering → Concurrent programming languages, Code Generation

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.9

A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility

Autoren: Luís Lopes Alvaro Figueira Fernando Silva et al.

Weitere Verfasser: Luís Lopes Alvaro Figueira Fernando Silva et al.

Quelle: http://www.di.fc.ul.pt/~vv/papers/cluster2000.pdf.

Schlagwörter: Distributed Computing, Process-Calculus, Concurrency, Code Mobility, Implementation

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.9343; http://www.di.fc.ul.pt/~vv/papers/cluster2000.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.9343
http://www.di.fc.ul.pt/~vv/papers/cluster2000.pdf

Distributed computing using Java: A comparison of two server designs

Autoren: Roussev, Boris Wu, Jie

Quelle: Journal of Systems Architecture. Jul2006, Vol. 52 Issue 7, p432-440. 9p.

Schlagwörter: *JAVA programming language, *CLIENT/SERVER computing, *LINE drivers (Integrated circuits), *DISTRIBUTED computing

GRID superscalar: a programming model for the Grid

Autoren: Sirvent Pardell, Raül

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

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

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: checkpointing, task replication, task retries, fault tolerance, scientific workflows, implicit parallelism, programming models, grid computing

Dateibeschreibung: application/pdf

Zugangs-URL: http://www.tdx.cat/TDX-1118110-124150
http://hdl.handle.net/10803/6015
https://dx.doi.org/10.5821/dissertation-2117-93329

Alice or Bob?: Process polymorphism in choreographies.

Quelle: Journal of Functional Programming; 2024, Vol. 34, p1-54, 54p

Schlagwörter: CHOREOGRAPHY, DISTRIBUTED computing, SEMANTICS, LANGUAGE & languages

Distributed execution of communicating sequential process-style concurrency: Golang case study.

Autoren: Whitney, James Gifford, Chandler Pantoja, Maria

Quelle: Journal of Supercomputing. Mar2019, Vol. 75 Issue 3, p1396-1409. 14p.

Schlagwörter: *COMPUTER multitasking, *DISTRIBUTED computing, *CENTRAL processing units, *PROGRAMMING languages, *COMPUTER workstation clusters

Abstract Distributed computing using Java: A comparison of two server designs

Autoren: Boris Roussev A Jie Wu B The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Boris Roussev A Jie Wu B The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cse.fau.edu/~jie/research/publications/Publication_files/JSA.pdf.

Schlagwörter: Networking, Distributed computing, Client–server, Concurrent programming, Java

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.1284; http://www.cse.fau.edu/~jie/research/publications/Publication_files/JSA.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.1284
http://www.cse.fau.edu/~jie/research/publications/Publication_files/JSA.pdf

An experimental evaluation of tools for grading concurrent programming exercises

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

Weitere Verfasser: Barros, Manuel Ramos, Maria Gomes, Alexandre et al.

Schlagwörter: Concurrent programming, e-Learning, Testing, Verification

Dateibeschreibung: application/pdf

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

Verfügbarkeit: https://hdl.handle.net/1822/89231

An implementation of the object‐oriented concurrent programming language SINA

Autoren: Mehmet Aksit Anand Tripathi E. Berge

Quelle: Software: Practice and Experience. 19:235-256

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, Object-oriented programming, 02 engineering and technology, Distributed Computing, Concurrent programming

Zugangs-URL: https://www.narcis.nl/publication/RecordID/oai%3Aris.utwente.nl%3Apublications%2F32f2b18a-2574-43ce-9425-2140517caa94
https://core.ac.uk/display/92155135
https://experts.umn.edu/en/publications/implementation-of-the-object-oriented-concurrent-programming-lang
https://research.utwente.nl/en/publications/an-implementation-of-the-object-oriented-concurrent-programming-l
https://dblp.uni-trier.de/db/journals/spe/spe19.html#TripathiBA89
http://onlinelibrary.wiley.com/doi/10.1002/spe.4380190304/abstract

Improving parallel and concurrent programming in FreeST

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

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

Quelle: urn:tid:203741170

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

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10400.5/95630

A Distributed Software Architecture for IoT: Container Orchestration Impact and Evaluation.

Autoren: Freire, Gustavo M. Curasma, Herminio Paucar Estrella, Julio Cezar

Quelle: Procedia Computer Science. 2024, Vol. 238, p224-231. 8p.

Schlagwörter: Internet of things, Distributed computing, Smart cities, Design science, Smart homes

Time-efficient read/write register in crash-prone asynchronous message-passing systems

Autoren: Matthieu Roy Michel Raynal Achour Mostefaoui et al.

Weitere Verfasser: Matthieu Roy Michel Raynal Achour Mostefaoui et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783319461397

Schlagwörter: Synchronous behavior, FOS: Computer and information sciences, [INFO.INFO-DC]Computer Science [cs]/Distributed, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, Process crash failure, Time-efficient operation, Atomic read/write register, 0102 computer and information sciences, 02 engineering and technology, ACM: D.: Software, Parallel, 01 natural sciences, Asynchronous message-passing system, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, and Cluster Computing [cs.DC], Computer Science - Distributed, Parallel, and Cluster Computing, Concurrency, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), Fast operation

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/pdf/1601.04820
http://arxiv.org/abs/1601.04820
https://inria.hal.science/hal-01256067v1
https://inria.hal.science/hal-01256067v1/document
https://laas.hal.science/hal-01784210v1
https://doi.org/10.1007/s00607-018-0615-8
https://laas.hal.science/hal-01784210v1/document
https://dblp.uni-trier.de/db/journals/computing/computing101.html#MostefaouiRR19
https://hal.laas.fr/hal-01784210
https://link.springer.com/article/10.1007/s00607-018-0615-8
https://hal.archives-ouvertes.fr/hal-01784210
https://hal.laas.fr/hal-01784210/document
https://link.springer.com/content/pdf/10.1007%2Fs00607-018-0615-8.pdf
https://hal.archives-ouvertes.fr/hal-02056397/document
https://link.springer.com/chapter/10.1007%2F978-3-319-46140-3_21
https://hal.archives-ouvertes.fr/hal-02056397
https://dblp.uni-trier.de/db/journals/corr/corr1601.html#MostefaouiR16
https://doi.org/10.1007/978-3-319-46140-3_21
https://hal.inria.fr/hal-01256067