Search Results - "deterministic parallel programming"

Correct program parallelisations

Authors: Stefan Blom Saeed Darabi Marieke Huisman et al.

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

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

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

Concrete data structures and functional parallel programming

Authors: Hains, Gaétan Loulergue, Frédéric Mullins, John

Contributors: Hains, Gaétan Loulergue, Frédéric Mullins, John

Source: Theoretical Computer Science. 258:233-267

Subject Terms: 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)

File Description: application/xml

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