Výsledky vyhledávání - Deterministic parallel programming

Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC

Autoři: Yip, Eugene Girault, Alain Roop, Partha a další

Přispěvatelé: Yip, Eugene Girault, Alain Roop, Partha a další

Zdroj: ACM Transactions on Programming Languages and Systems. 45:1-74

Témata: parallelism, synchronous, reactive programming, determinism, code generation, programming language, 02 engineering and technology, [INFO] Computer Science [cs], worst-case execution time, multi-core, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], semantics

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04338823v1/document
https://doi.org/10.1145/3591594
https://hal.science/hal-04338823v1

An approach to deterministic parallel programming system construction based on monotonic objects ; Подход к построению системы детерминированного параллельного программирования на основе монотонных объектов

Autoři: A. I. Adamovich A. V. Klimov А. И. Адамович a další

Zdroj: The Herald of the Siberian State University of Telecommunications and Information Science; № 3 (2019); 14-26 ; Вестник СибГУТИ; № 3 (2019); 14-26 ; 1998-6920

Témata: монотонные объекты, deterministic programs, functional programming, object-oriented programming, monotonic objects, детерминированные программы, функциональное программирование, объектно-ориентированное программирование

Popis souboru: application/pdf

Relation: https://vestnik.sibsutis.ru/jour/article/view/86/91; Абрамов С. М., Адамович А. И., Коваленко М. Р. Т-система – среда программирования с поддержкой автоматического динамического распараллеливания программ. Пример реализации алгоритма построения изображений методом трассировки лучей // Программирование. 1999. Т. 25, № 2. С. 100–107.; Адамович А. И. Струи как основа реализации понятия Т-процесса для платформы JVM // Программные системы: теория и приложения. 2015. Т. 6, № 4. С. 177–195. DOI:10.25209/2079-3316-2017-8-4-221-244.; Адамович А. И. Язык программирования Ajl: автоматическое динамическое распараллеливание для платформы JVM // Программные системы: теория и приложения. 2016. Т. 7, № 4. С. 83–117. DOI:10.25209/2079-3316-2016-7-4-83-117.; Адамович А. И., Климов А. В. Об опыте использования среды метапрограммирования Eclipse/TMF для конструирования специализированных языков // Научный сервис в сети Интернет: труды XVIII Всероссийской научной конференции. М.: ИПМ им. М. В. Келдыша РАН, 2016. С. 3–8. DOI:10.20948/abrau-2016-45.; Адамович А. И., Климов А. В. Как создавать параллельные программы, детерминированные по построению? Постановка проблемы и обзор работ // Программные системы: теория и приложения. 2017. Т. 8, № 4. С. 221–244. DOI:10.25209/2079-3316-2017-8-4-221-244.; Адамович А. И., Климов А.В. Принципы построения системы детерминированного параллельного программирования // Наукоемкое программное обеспечение: труды семинара 12-й Междунар. Ершовской конф. по информатике (ПCИ’19). 2–3 июля 2019 г., Новосибирск. С. 26–33. ISBN 978-5-4437-0909-3.; Андрианов А. Н., Баранова Т. П., Бугеря А. Б., Ефимкин К. Н. Трансляция непроцедурного языка Норма для графических процессоров // Препринты ИПМ им. М. В. Келдыша. 2016. № 73. 24 с. DOI:10.20948/prepr-2016-73.; Климов А. В. Детерминированные параллельные вычисления с монотонными объектами // Научный сервис в сети Интернет: многоядерный компьютерный мир: труды Всероссийской научной конференции. М.: Изд-во Московского университета, 2007. С. 212–217.; Скин Д., Гринхол Д. Kotlin. Программирование для профессионалов. СПб.: Питер, 2020.; Adamovich A.I., Klimov A.V. Building Cyclic Data in a Functional-Like Language Extended with Monotonic Objects // X Workshop PSSV: Program Semantics, Specification and Verification: Theory and Applications. Abstracts. 2019. P. 11-19. ISBN 978-5-4437-0918-5.; Arvind, Nikhil R. S., Pingali K. K. I-structures: Data Structures for Parallel Computing // ACM Trans. Program. Lang. Syst. 1989. V. 11, № 4. P. 598–632. DOI:10.1145/69558.69562.; Bocchino R. L. (Jr.), Adve V. S., Adve S. V., Snir M. Parallel Programming Must Be Deterministic by Default // Fifth USENIX Conference on Hot Topics in Parallelism, HotPar’09. USENIX Association, 2009.; Burke M. G., Knobe K., Newton R., Sarkar V. Concurrent Collections Programming Model // Encyclopedia of Parallel Computing / ed. D. Padua. Springer US, 2011. P. 364–371. DOI:10.1007/978-0-387-09766-4_238.; Hammond K., Michelson G. (eds.). Research Directions in Parallel Functional Programming, London, UK: Springer, 1999.; Klimov A. V. Dynamic Specialization in Extended Functional Language with Monotone Objects // SIGPLAN Not. 1991. V. 26, № 9. P. 199–210. DOI:10.1145/115865.376287.; Potanin A., Östlund J., Zibin Y., Ernst M. D. Immutability // Aliasing in Object-Oriented Programming / eds. D. Clarke, J. Noble, T. Wrigstad. LNCS 7850. Springer, 2013. P. 233–269.; Kahn G. The Semantics of a Simple Language for Parallel Programming // IFIP Congress, 1974. P. 471–475.; Kuper L. Lattice-based Data Structures for Deterministic Parallel and Distributed Programming, Ph.D. Thesis. IN, USA: Indiana University, 2015. 253 p.; Kuper L., Todd A., Tobin-Hochstadt S., Newton R. R. Taming the Parallel Effect Zoo: Extensible Deterministic Parallelism with LVish // ACM SIGPLAN Not. 2014. V. 49, № 6. P. 2–14. DOI:10.1145/2666356.2594312.; Marlow S. Parallel and Concurrent Programming in Haskell. CA, USA: O’Reilly, 2013.; https://vestnik.sibsutis.ru/jour/article/view/86

Dostupnost: https://vestnik.sibsutis.ru/jour/article/view/86

Parallel Roles for Practical Deterministic Parallel Programming

Autoři: Michael Faes Thomas R. Gross

Zdroj: Lecture Notes in Computer Science ISBN: 9783030352240

Témata: 2. Zero hunger

Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/978-3-030-35225-7_12
https://link.springer.com/chapter/10.1007/978-3-030-35225-7_12
https://link.springer.com/10.1007/978-3-030-35225-7_12
https://dblp.uni-trier.de/db/conf/lcpc/lcpc2017.html#FaesG17

A Deterministic Portable Parallel Pseudo-Random Number Generator for Pattern-Based Programming of Heterogeneous Parallel Systems.

Autoři: Ernstsson, August Vandenbergen, Nicolas Keller, Jörg a další

Zdroj: International Journal of Parallel Programming. Aug2022, Vol. 50 Issue 3/4, p319-340. 22p.

Témata: *PARALLEL programming, *COMPUTER systems, HETEROGENEOUS computing, DESIGN exhibitions, SOURCE code, DEBUGGING

Freeze after writing: quasi-deterministic parallel programming with LVars

Autoři: R KrishnaswamiNeelakantan R NewtonRyan TuronAaron a další

Zdroj: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. :257-270

Témata: 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, 7. Clean energy, 3. Good health

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/popl/popl2014.html#KuperTKN14
https://www.cs.indiana.edu/pub/techreports/TR710.pdf
http://www.cs.indiana.edu/pub/techreports/TR710.pdf
https://dl.acm.org/doi/10.1145/2535838.2535842
https://dl.acm.org/doi/abs/10.1145/2578855.2535842

The ForeC Synchronous Deterministic Parallel Programming Language for Multicores

Autoři: Yip, Eugene Girault, Alain Roop, Partha a další

Přispěvatelé: Yip, Eugene Girault, Alain Roop, Partha a další

Zdroj: 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC).

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-01412102/file/mcsoc16-PID4352145.pdf
https://inria.hal.science/hal-01412102v1
https://hal.inria.fr/hal-01412102
https://hal.inria.fr/hal-01412102/document
https://www.computer.org/csdl/proceedings-article/mcsoc/2016/3531a297/12OmNASILTT
https://doi.ieeecomputersociety.org/10.1109/MCSoC.2016.13
https://hal.archives-ouvertes.fr/hal-01412102

Architectural support for synchronization-free deterministic parallel programming

Autoři: Tarek S. Abdelrahman Cedomir Segulja

Zdroj: IEEE International Symposium on High-Performance Comp Architecture. :1-12

Témata: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Deterministic Parallel Programming with Haskell

Autoři: Andres Löh D. Coutts

Zdroj: Computing in Science & Engineering. 14:36-43

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://ieeexplore.ieee.org/document/6231612
https://aip.scitation.org/doi/pdf/10.1109/MCSE.2012.68
https://dblp.uni-trier.de/db/journals/cse/cse14.html#CouttsL12
https://www.infona.pl/resource/bwmeta1.element.ieee-art-000006231612
https://ui.adsabs.harvard.edu/abs/2012CSE....14f..36C/abstract
http://www.well-typed.com/blog/aux/files/deterministic-parallel-programming.pdf

Pandora : non-deterministic parallel logic programming

Autoři: Bahgat, Reem

Témata: 004

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.718184

Synchronous Deterministic Parallel Programming for Multicores with ForeC: Programming Language, Semantics, and Code Generation

Autoři: Yip, Eugene Roop, Partha S. Girault, Alain a další

Přispěvatelé: Yip, Eugene Roop, Partha S. Girault, Alain a další

Témata: parallelism, synchronous, determinism, génération de code, synchronisme, programming language, code generation, worst-case execution time, langage de programmation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], multi-core, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], multi-cœur, réactif, reactive, sémantique, semantics, déterminisme, parallélisme

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-01351552v1

Hybrid deterministic non-deterministic data-parallel algorithm for real-time unmanned aerial vehicle trajectory planning in CUDA

Autoři: Vincent Roberge Mohammed Tarbouchi

Zdroj: e-Prime: Advances in Electrical Engineering, Electronics and Energy, Vol 2, Iss , Pp 100085- (2022)

Témata: Flower pollination algorithm, Graphics processing unit, Parallel programming, Trajectory planning, Unmanned aerial vehicle, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Popis souboru: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2772671122000559; https://doaj.org/toc/2772-6711

Přístupová URL adresa: https://doaj.org/article/4aa24568c30c479d8deadcb752635ff8

Toward a Formal Semantic Framework for Deterministic Parallel Programming

Autoři: Li Lu Michael L. Scott

Zdroj: Lecture Notes in Computer Science ISBN: 9783642240997

Přístupová URL adresa: http://www.cs.rochester.edu/u/scott/papers/2011_wodet.pdf
https://www.cs.rochester.edu/u/scott/papers/2011_wodet.pdf
https://link.springer.com/chapter/10.1007%2F978-3-642-24100-0_43
https://core.ac.uk/display/22590883
https://link.springer.com/content/pdf/10.1007%2F978-3-642-24100-0_43.pdf
https://dblp.uni-trier.de/db/conf/wdag/disc2011.html#LuS11
https://rd.springer.com/chapter/10.1007/978-3-642-24100-0_43

A Dynamic Approach to Deterministic Parallel Programming

Autoři: Faes, Michael Gross, Thomas Müller, Peter a další

Přispěvatelé: Faes, Michael Gross, Thomas Müller, Peter a další

Témata: Parallel computing, Data processing, computer science, Determinism, Parallel programming, Concurrency, Language Design and Implementation, Programming languages

Popis souboru: application/application/pdf

Přístupová URL adresa: https://www.research-collection.ethz.ch/handle/20.500.11850/404823
http://hdl.handle.net/20.500.11850/404823

Concrete data structures and functional parallel programming

Autoři: Hains, Gaétan Loulergue, Frédéric Mullins, John

Přispěvatelé: Hains, Gaétan Loulergue, Frédéric Mullins, John

Zdroj: Theoretical Computer Science. 258:233-267

Témata: Deterministic parallel programming, semantic models, functional programming, Semantic models, concrete data structures, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences, Theoretical Computer Science, Functional programming, 0202 electrical engineering, electronic engineering, information engineering, Concrete data structures, deterministic parallel programming, Functional programming and lambda calculus, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1635363
https://doi.org/10.1016/s0304-3975(00)00010-4
https://www.polymtl.ca/crac/mullins/articles.dir/tcs2001.pdf
https://www.sciencedirect.com/science/article/pii/S0304397500000104
https://dblp.uni-trier.de/db/journals/tcs/tcs258.html#HainsLM01
http://www.polymtl.ca/crac/mullins/articles.dir/tcs2001.pdf
https://hal.science/hal-04047958v1
https://doi.org/10.1016/s0304-3975(00)00010-4
https://publications.polymtl.ca/27347/
https://doi.org/10.1016/s0304-3975(00)00010-4

Synchronous Deterministic Parallel Programming for Multicores with ForeC ; Programmation parallèle, synchrone et déterministe de multi-coeurs avec ForeC ; Synchronous Deterministic Parallel Programming for Multicores with ForeC: Programming Language, Semantics, and Code Generation ; Programmation parallèle, synchrone et déterministe de multi-coeurs avec ForeC: Langage de programmation, sémantique et génération de code

Autoři: Yip, Eugene Roop, Partha S. Girault, Alain a další

Přispěvatelé: Yip, Eugene Roop, Partha S. Girault, Alain a další

Zdroj: https://inria.hal.science/hal-01351552 ; [Research Report] RR-8943, Inria - Research Centre Grenoble – Rhône-Alpes. 2016.

Témata: programming language, semantics, parallelism, synchronous, determinism, reactive, multi-core, worst-case execution time, code generation, langage de programmation, sémantique, parallélisme, synchronisme, déterminisme, réactif, multi-cœur, génération de code, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Dostupnost: https://inria.hal.science/hal-01351552
https://inria.hal.science/hal-01351552v1/document
https://inria.hal.science/hal-01351552v1/file/RR-8943.pdf

A novel parallel computing framework for traffic assignment problem: Integrating alternating direction method of multipliers with Jacobi over relaxation method.

Autoři: Liu, Zhiyuan Dong, Yu Zhang, Honggang a další

Zdroj: Transportation Research Part E: Logistics & Transportation Review. Sep2024, Vol. 189, pN.PAG-N.PAG. 1p.

Témata: *PARALLEL programming, *SYSTEM analysis, TRAFFIC assignment, ASSIGNMENT problems (Programming), JACOBI method

Projective Hedging Algorithms for Multistage Stochastic Programming, Supporting Distributed and Asynchronous Implementation.

Autoři: Eckstein, Jonathan Watson, Jean-Paul Woodruff, David L.

Zdroj: Operations Research. Jan/Feb2025, Vol. 73 Issue 1, p311-324. 14p.

Témata: *HIGH performance computing, *PARALLEL programming, *COMPUTER science, STOCHASTIC programming, DECOMPOSITION method

Extending the applicability of deterministic multithreading

Autoři: Nowack, Vesna

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Unsal, Osman, Valero Cortés, Mateo, Cristal Kestelman, Adrián

Zdroj: TDX (Tesis Doctorals en Xarxa)

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/385846
https://dx.doi.org/10.5821/dissertation-2117-96209

Correct program parallelisations

Autoři: Stefan Blom Saeed Darabi Marieke Huisman a další

Zdroj: International Journal on Software Tools for Technology Transfer. 23:741-763

Témata: Deterministic parallel programming, Software verification, UT-Hybrid-D, 0202 electrical engineering, electronic engineering, information engineering, Parallelisation, 02 engineering and technology

Přístupová URL adresa: https://research.utwente.nl/en/publications/9876f7ea-8964-4ffc-813d-8aafb75049cd
https://doi.org/10.1007/s10009-020-00601-z
https://www.narcis.nl/publication/RecordID/oai%3Aris.utwente.nl%3Apublications%2F9876f7ea-8964-4ffc-813d-8aafb75049cd
https://dblp.uni-trier.de/db/journals/sttt/sttt23.html#BlomDHS21
https://link.springer.com/article/10.1007/s10009-020-00601-z
https://link.springer.com/content/pdf/10.1007/s10009-020-00601-z.pdf
https://research.utwente.nl/en/publications/correct-program-parallelisations
https://ris.utwente.nl/ws/files/251829479/Blom2021correct.pdf

Establishing a massively parallel computational model of the adaptive immune response.

Autoři: Martin, Aristotle Nezdyur, Max Tanade, Cyrus a další

Zdroj: Journal of Computational Science. May2025, Vol. 87, pN.PAG-N.PAG. 1p.

Témata: Deterministic algorithms, Parallel programming, Immune response, Research questions, T cells