Suchergebnisse - "Distributed programming"

MASFENON: implementing a multi-agent simulation framework for interconnected networks with distributed programming

Autoren: Locicero, Giorgio Maria, Antonio Di Alaimo, Salvatore et al.

Quelle: Procedia Computer Science. 255:73-82

Dateibeschreibung: application/pdf

Consistency types for replicated data in a higher-order distributed programming language

Autoren: Zhao, Xin Haller, Philipp

Quelle: The Art, Science, and Engineering of Programming. 5(2)

Schlagwörter: consistency types, replicated data types, distributed programming, information-flow security, Datalogi, Computer Science

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-285861
https://doi.org/10.22152/programming-journal.org/2021/5/6

Distributed Programming : Theory and Practice

Autoren: A. Udaya Shankar

Resource Type: eBook.

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

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

Introduction to Parallel and Distributed Programming using N-Body Simulations

Autoren: Alexander Van Craen Marcel Breyer Dirk Pflüger

Quelle: SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. :347-354

Nonsequential and Distributed Programming with Go: Synchronization of Concurrent Processes

Autoren: Christian Maurer

Enforcing Convergence in Sensitivity-based Distributed Programming via Transformed Primal-Dual Updates

Autoren: von Esch, Maximilian Pierer Völz, Andreas Graichen, Knut

Schlagwörter: Optimization and Control (math.OC), Optimization and Control, FOS: Mathematics

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

Sensitivity-Based Distributed Programming for Non-Convex Optimization

Autoren: von Esch, Maximilian Pierer Völz, Andreas Graichen, Knut

Schlagwörter: Optimization and Control (math.OC), FOS: Mathematics, Mathematics - Optimization and Control

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

GreatFree as a Generic Distributed Programming Language and the Foundation of the Cloud-Side Operating System

Autoren: Bing Li

Quelle: International Journal of Advanced Network, Monitoring and Controls. 8:66-81

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

Triton-distributed: Programming Overlapping Kernels on Distributed AI Systems with the Triton Compiler

Autoren: Zheng, Size Bao, Wenlei Hou, Qi et al.

Schlagwörter: FOS: Computer and information sciences, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC)

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

Experience Report on Teaching Parallel and Distributed Programming Through Storytelling

Autoren: Bogdan Iudean

Quelle: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C). :1-9

Coloured Petri Nets and the Language for Distributed Programming UPL: their Comparison and Translation

Quelle: Program Systems: Theory and Applications. 14:91-122

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

Enhancing Students' Beliefs Regarding Programming Self-Efficacy and Intrinsic Value of an Online Distributed Programming Environment

Autoren: Daradoumis, Thanasis Marquès Puig, Joan Manuel Arguedas, Marta et al.

Quelle: Journal of Computing in Higher Education. Dec 2022 34(3):577-607.

Peer Reviewed: Y

Page Count: 31

Descriptors: Students, Programming, Programming Languages, Computer Science Education, Online Courses, Electronic Learning, Student Attitudes, Beliefs, Self Efficacy, Student Experience, Student Satisfaction

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures: statically-typed endpoint APIs for dynamically-instantiated communication structures

Autoren: Castro-Perez, D Hu, R Jongmans, S et al.

Weitere Verfasser: Castro-Perez, D Hu, R Jongmans, S et al.

Quelle: Castro, D, Hu, R, Jongmans, S-S, Ng, N & Yoshida, N 2019, Distributed programming using role-parametric session types in go : statically-typed endpoint APIs for dynamically-instantiated communication structures . in P Wadler (ed.), Proceedings of the ACM on Programming Languages. POPL edn, vol. 3, Association for Computing Machinery (ACM), New York, NY, Proceedings of the ACM on Programming Languages, pp. 1-30, 46th ACM SIGPLAN Symposium on Principles of Programming Languages, Cascais, Portugal, 13/01/19. https://doi.org/10.1145/3290342

Schlagwörter: multiparty session types, Go, indexed roles, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, distributed programming, 16. Peace & justice

Zugangs-URL: https://dl.acm.org/doi/pdf/10.1145/3290342
https://research.ou.nl/en/publications/db262064-c216-49c7-991e-78c527700842
https://doi.org/10.1145/3290342
https://research.ou.nl/en/publications/distributed-programming-using-role-parametric-session-types-in-go
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#CastroHJNY19
https://dlnext.acm.org/doi/10.1145/3290342
https://dl.acm.org/doi/pdf/10.1145/3290342
https://www.narcis.nl/publication/RecordID/oai%3Aresearch.ou.nl%3Apublications%2Fdb262064-c216-49c7-991e-78c527700842
https://dl.acm.org/doi/abs/10.1145/3290342
http://hdl.handle.net/10044/1/66321
https://research.ou.nl/en/publications/db262064-c216-49c7-991e-78c527700842
https://doi.org/10.1145/3290342
https://www.scopus.com/pages/publications/85120138942
https://dl.acm.org/toc/pacmpl/2019/3/POPL

Teaching Distributed Programming – Revisiting the Broker Pattern

Autoren: Henrik Bærbak Christensen

Quelle: Proceedings of the 5th European Conference on Software Engineering Education. :162-168

Research on K-means Clustering Algorithm Based on MapReduce Distributed Programming Framework

Autoren: Ling Zhang

Quelle: Procedia Computer Science. 228:262-270

Examples of Distributed Programming

Autoren: Patrick Diehl Steven R. Brandt Hartmut Kaiser

Quelle: Parallel C++ ISBN: 9783031543685

Distributed Programming Using HPX

Autoren: Patrick Diehl Steven R. Brandt Hartmut Kaiser

Quelle: Parallel C++ ISBN: 9783031543685

Analyzing students' perceptions to improve the design of an automated assessment tool in online distributed programming

Autoren: Laura Calvet Liñán Thanasis Daradoumis Marta Arguedas et al.

Weitere Verfasser: Laura Calvet Liñán Thanasis Daradoumis Marta Arguedas et al.

Quelle: O2, repositorio institucional de la UOC
Universitat Oberta de Catalunya (UOC)

Schlagwörter: students' perceptions, aprenentatge en línia, evaluación automática, asignación de programación distribuida, 4. Education, automatic assessment, online learning, 05 social sciences, 02 engineering and technology, avaluació automàtica, Web-based instruction, Enseñanza virtual, Ensenyament virtual, aprendizaje en línea, percepciones de los estudiantes, percepcions dels estudiants, 0202 electrical engineering, electronic engineering, information engineering, assignació de programació distribuïda, 0503 education, distributed programming assignment

Dateibeschreibung: application/pdf

Zugangs-URL: http://openaccess.uoc.edu/webapps/o2/bitstream/10609/129428/1/2018-DSLab--paper_1_C%26E_published.pdf
https://hdl.handle.net/10609/129428
http://hdl.handle.net/10609/129428
http://openaccess.uoc.edu/webapps/o2/handle/10609/129428
https://www.sciencedirect.com/science/article/abs/pii/S0360131518302665
https://dblp.uni-trier.de/db/journals/ce/ce128.html#DaradoumisPAC19
http://openaccess.uoc.edu/webapps/o2/bitstream/10609/129428/1/2018-DSLab--paper_1_C%26E_published.pdf

Using software visualization to support the teaching of distributed programming

Autoren: Di Rocco L. Ferraro Petrillo U. Palini F.

Quelle: The Journal of Supercomputing. 79:3974-3998

Schlagwörter: distributed computing, mapreduce, spark, software visualization, CS teaching, 0301 basic medicine, 03 medical and health sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Dateibeschreibung: application/pdf

Varda: A Framework for Compositional Distributed Programming

Autoren: Prosperi, Laurent Bouajjani, Ahmed Shapiro, Marc

Weitere Verfasser: Prosperi, Laurent Bouajjani, Ahmed Shapiro, Marc

Quelle: Lecture Notes in Computer Science ISBN: 9783031174353

Schlagwörter: Distributed System, Architecture, Orchestration, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, [INFO] Computer Science [cs], Distributed Programming, Language, Composition

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.science/hal-04015827v1/document
https://hal.science/hal-04015827v1
https://doi.org/10.1007/978-3-031-17436-0_2