Comparing Distributed-Memory Programming Frameworks with Radix Sort

Συγγραφείς: Ferguson, Michael P., Friese, Ryan D., Khandekar, Shreyas, Drozt, Matt

Πηγή: SC25-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis High Performance Computing, Networking, Storage and Analysis, SC25-W: Workshops of the International Conference for. :1263-1275 Nov, 2025

Relation: SC25-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis

Composing CRDTs Convergent by Construction

Συγγραφείς: Städing Dominguez, Alexander, Zakhour, George, Weisenburger, Pascal, Salvaneschi, Guido

Πηγή: Proceedings of the ACM on Programming Languages. 10(OOPSLA2):880-907

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3839478

Radon: a Programming Model and Platform for Computing Continuum Systems

Συγγραφείς: Martini, Luca De, d'Abate, Dario, Margara, Alessandro, Cugola, Gianpaolo

Πηγή: 2025 IEEE 45th International Conference on Distributed Computing Systems Workshops (ICDCSW) ICDCSW Distributed Computing Systems Workshops (ICDCSW), 2025 IEEE 45th International Conference on. :588-593 Jul, 2025

Relation: 2025 IEEE 45th International Conference on Distributed Computing Systems Workshops (ICDCSW)

Composing Distributed Computations Through Task and Kernel Fusion

Συγγραφείς: Yadav, Rohan, Sundram, Shiv, Lee, Wonchan, Garland, Michael, Bauer, Michael, Aiken, Alex, Kjolstad, Fredrik

Πηγή: Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1. :182-197

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3669940.3707216

Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts

Συγγραφείς: Vandenbogaerde, Bram, Stiévenart, Quentin, De Roover, Coen

Πηγή: Proceedings of the ACM on Programming Languages. 8(ICFP):515-543

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3674643

Soft Verification for Actor Contract Systems

Συγγραφείς: Vandenbogaerde, Bram

Πηγή: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :1891-1895

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3650212.3685551

TARIS: Scalable Incremental Processing of Time-Respecting Algorithms on Streaming Graphs

Συγγραφείς: Bhoot, R., Ghanmode, S.S., Simmhan, Y.

Πηγή: IEEE Transactions on Parallel and Distributed Systems IEEE Trans. Parallel Distrib. Syst. Parallel and Distributed Systems, IEEE Transactions on. 35(12):2527-2544 Dec, 2024

Safe Shared State in Dataflow Systems

Συγγραφείς: De Martini, Luca, Margara, Alessandro

Πηγή: Proceedings of the 18th ACM International Conference on Distributed and Event-based Systems. :30-41

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3629104.3666029

Experience Report on Teaching Parallel and Distributed Programming Through Storytelling

Συγγραφείς: Iudean, Bogdan

Πηγή: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C) SANER-C Software Analysis, Evolution and Reengineering - Companion (SANER-C), 2024 IEEE International Conference on. :1-9 Mar, 2024

Relation: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C)

GraphFlow: A Container-Based Partitioned Global Address Space Framework for Distributed Graph Analysis on Kubernetes

Συγγραφείς: Astsatryan, Hrachya^{Aff1, IDS1054661825701342_cor1}, Gazazyan, Emil^{Aff1, IDS1054661825701342_cor2}, Hunanyan, Simon^{Aff1, IDS1054661825701342_cor3}, Astsatryan, Martin^Aff2

Πηγή: Pattern Recognition and Image Analysis. 36(1):110-117

Parallel Algorithm for Discovering and Comparing Three-Dimensional Proteins Patterns

Συγγραφείς: Valdes-Jimenez, A., Reyes-Parada, M., Nunez-Vivanco, G., Jimenez-Gonzalez, D.

Πηγή: IEEE/ACM Transactions on Computational Biology and Bioinformatics IEEE/ACM Trans. Comput. Biol. and Bioinf. Computational Biology and Bioinformatics, IEEE/ACM Transactions on. 21(3):508-515 Jun, 2024

An Algorithm for Concurrent Use of Quantum Simulators and Computers in the Context of Subgraph Isomorphism

Συγγραφείς: Gheorghica, Radu-Iulian

Πηγή: 2023 IEEE 17th International Symposium on Applied Computational Intelligence and Informatics (SACI) Applied Computational Intelligence and Informatics (SACI), 2023 IEEE 17th International Symposium on. :000721-000726 May, 2023

Relation: 2023 IEEE 17th International Symposium on Applied Computational Intelligence and Informatics (SACI)

Realizing Persistent Signals in JavaScript

Συγγραφείς: Hidaka, Daichi, Kamina, Tetsuo

Πηγή: Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. :25-30

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3623506.3623576

Type-Safe Dynamic Placement with First-Class Placed Values

Συγγραφείς: Zakhour, George, Weisenburger, Pascal, Salvaneschi, Guido

Πηγή: Proceedings of the ACM on Programming Languages. 7(OOPSLA2):2142-2170

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3622873

Performance Improvements of Parallel Applications thanks to MPI-4.0 Hints

Συγγραφείς: Moraru, Maxim, Roussel, Adrien, Taboada, Hugo, Jaillet, Christophe, Perache, Marc, Krajecki, Michael

Πηγή: 2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) SBAC-PAD Computer Architecture and High Performance Computing (SBAC-PAD), 2022 IEEE 34th International Symposium on. :273-282 Nov, 2022

Relation: 2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)

ProbSky: Efficient Computation of Probabilistic Skyline Queries Over Distributed Data

Συγγραφείς: Kuo, A., Chen, H., Tang, L., Ku, W., Qin, X.

Πηγή: IEEE Transactions on Knowledge and Data Engineering IEEE Trans. Knowl. Data Eng. Knowledge and Data Engineering, IEEE Transactions on. 35(5):5173-5186 May, 2023

Enhancing closures in scala 3 with spores3

Συγγραφείς: Haller, Philipp

Πηγή: Proceedings of the Scala Symposium. :22-27

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3550198.3550428

Towards superior software portability with SHAD and HPX C++ libraries

Συγγραφείς: Wu, Nanmiao, Castellana, Vito Giovanni, Kaiser, Hartmut

Πηγή: Proceedings of the 19th ACM International Conference on Computing Frontiers. :251-257

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3528416.3530784

A Subtyping Scheme for Nominal and Structural Types Based on Class Graph Equivalence

Συγγραφείς: Ke, Wei, Chan, Ka-Hou

Πηγή: Proceedings of the 2021 4th International Conference on Blockchain Technology and Applications. :151-157

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3510487.3510509

Concurrent and Distributed Pseudocode: A Systematic Literature Review

Συγγραφείς: Ulate-Caballero, Bryan Alexander, Berrocal-Rojas, Allan, Hidalgo-Cespedes, Jeisson

Πηγή: 2021 XLVII Latin American Computing Conference (CLEI) Computing Conference (CLEI), 2021 XLVII Latin American. :1-10 Oct, 2021

Relation: 2021 XLVII Latin American Computing Conference (CLEI)