-
1Academic Journal
Authors: von Geijer, Kåre, 1998, Tsigas, Philippas, 1967
Source: Anpassad datastruktursemantik för skalbar processering av data IEEE Transactions on Parallel and Distributed Systems. 36(12):2578-2595
Subject Terms: Data Structures, Concurrent Programming, Semantics
File Description: electronic
-
2Conference
Source: 2025 33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) PDP Parallel, Distributed, and Network-Based Processing (PDP), 2025 33rd Euromicro International Conference on. :364-371 Mar, 2025
Relation: 2025 33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)
-
3Conference
Authors: Guan, Chenyang, Yin, Junjie, Wang, Xiaofeng
Source: 2024 IEEE International Conference on High Performance Computing and Communications (HPCC) HPCC High Performance Computing and Communications (HPCC), 2024 IEEE International Conference on. :442-449 Dec, 2024
Relation: 2024 IEEE International Conference on High Performance Computing and Communications (HPCC)
-
4Conference
Authors: Kokorin, Ilya, Yudov, Victor, Aksenov, Vitaly, Alistarh, Dan
Source: 2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS) IPDPS Parallel and Distributed Processing Symposium (IPDPS), 2024 IEEE International. :169-179 May, 2024
Relation: 2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS)
-
5eBook
Authors: Aksenov, VitalyAff8, Kokorin, IlyaAff8, Aff9, Stoiko, NikolaiAff8
Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Series EditorAff3, Gao, Wen, Series EditorAff4, Steffen, Bernhard, Series EditorAff5, Yung, Moti, Series EditorAff6, Malyshkin, Victor, editorAff7
Source: Parallel Computing Technologies : 18th International Conference, PaCT 2025, Almaty, Kazakhstan, October 6–10, 2025, Proceedings. 16185:18-32
-
6Conference
Authors: Geeson, Luke, Smith, Lee
Source: 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) Code Generation and Optimization (CGO), 2024 IEEE/ACM International Symposium on. :334-348 Mar, 2024
Relation: 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
-
7
Contributors: Nogueira, Luis Miguel Pinho, REPOSITÓRIO P.PORTO
Source: urn:tid:204000017
Subject Terms: Concurrent programming, Java, Race conditions, Deadlocks, Detection tools, Atomicity violations, Programação concorrente, Ferramentas de deteção, Violações de atomicidade
File Description: application/pdf
Availability: http://hdl.handle.net/10400.22/30458
-
8Conference
Authors: Barth, Benjamin, Szalay, Richard, Porkolab, Zoltan
Source: 2022 IEEE 16th International Scientific Conference on Informatics (Informatics) Informatics (Informatics), 2022 IEEE 16th International Scientific Conference on. :39-44 Nov, 2022
Relation: 2022 IEEE 16th International Scientific Conference on Informatics (Informatics)
-
9Conference
Authors: Sultanov, Andriy, Protsyk, Maksym, Kuzyshyn, Maksym, Omelkina, Daria, Shevchuk, Vyacheslav, Farenyuk, Oleg
Source: 2022 IEEE 17th International Conference on Computer Sciences and Information Technologies (CSIT) Computer Sciences and Information Technologies (CSIT), 2022 IEEE 17th International Conference on. :486-489 Nov, 2022
Relation: 2022 IEEE 17th International Conference on Computer Sciences and Information Technologies (CSIT)
-
10Conference
Authors: Zhao, Hongfei, Liu, Ding, Hou, Yifan
Source: 2022 IEEE 9th International Conference on Problems of Infocommunications, Science and Technology (PIC S&T) Problems of Infocommunications, Science and Technology (PIC S&T), 2022 IEEE 9th International Conference on. :533-538 Oct, 2022
Relation: 2022 IEEE 9th International Conference on Problems of Infocommunications, Science and Technology (PIC S&T)
-
11eBook
Authors: Sahar, SadiaAff7, Khan, HamayunAff7, Tariq, Muhammad ImranAff7, din, Irfan UdAff7, Ashraf, AbrarAff7, Zahra, Syeda AqsaAff7
Contributors: Li, Gang, Series EditorAff1, Filipe, Joaquim, Series EditorAff2, Xu, Zhiwei, Series EditorAff3, Arif, Muhammad, editorAff4, Jaffar, Arfan, editorAff5, Geman, Oana, editorAff6
Source: Computing and Emerging Technologies : First International Conference, ICCET 2023, Lahore, Pakistan, May 26-27, 2023, Revised Selected Papers, Part II. 2056:380-394
-
12eBook
Authors: Wojszczyk, RafałAff17, Mrzygłód, ŁukaszAff17, Dvořák, JiříAff18
Contributors: Kacprzyk, Janusz, Series EditorAff1, Gomide, Fernando, Advisory EditorAff2, Kaynak, Okyay, Advisory EditorAff3, Liu, Derong, Advisory EditorAff4, Pedrycz, Witold, Advisory EditorAff5, Polycarpou, Marios M., Advisory EditorAff6, Rudas, Imre J., Advisory EditorAff7, Wang, Jun, Advisory EditorAff8, Mehmood, Rashid, editorAff9, Hernández, Guillermo, editorAff10, Praça, Isabel, editorAff11, Wikarek, Jaroslaw, editorAff12, Loukanova, Roussanka, editorAff13, Monteiro dos Reis, Arsénio, editorAff14, Skarmeta, Antonio, editorAff15, Lombardi, Eleonora, editorAff16
Source: Distributed Computing and Artificial Intelligence, Special Sessions I, 21st International Conference. 1198:95-103
-
13Academic Journal
Source: IEEE Transactions on Parallel and Distributed Systems IEEE Trans. Parallel Distrib. Syst. Parallel and Distributed Systems, IEEE Transactions on. 33(12):3274-3290 Dec, 2022
Linked Full Text -
14
-
15Academic Journal
Authors: Din, Crystal, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar, Pun, Violet, Tarifa, S. Lizeth Tapia
Contributors: Henrio, Ludovic
Source: ACM Transactions on Programming Languages and Systems
Subject Terms: CCS Concepts, Programming logic, Theory of computation → Parallel computing models, • Software and its engineering → Concurrent programming structures, CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Program semantics, 01 natural sciences
File Description: application/pdf
-
16Conference
Authors: Hori, Atsushi, Gerofi, Balazs, Ishikawa, Yutaka
Source: 2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2020 IEEE International. :976-984 May, 2020
Relation: 2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)
-
17Conference
Authors: Delpy, Romain, Muscholl, Anca, Sutre, Grégoire
Contributors: Romain Delpy and Anca Muscholl and Grégoire Sutre
Subject Terms: Verification, Mailbox communication, ddc:004, Concurrent programming, Synchronizability
File Description: application/pdf
-
18Conference
Authors: Yang, Ling
Source: 2021 3rd International Academic Exchange Conference on Science and Technology Innovation (IAECST) Science and Technology Innovation (IAECST), 2021 3rd International Academic Exchange Conference on. :745-749 Dec, 2021
Relation: 2021 3rd International Academic Exchange Conference on Science and Technology Innovation (IAECST)
-
19Conference
Source: 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)
-
20Conference
Authors: Beronic, D., Pufek, P., Mihaljevic, B., Radovan, A.
Source: 2021 44th International Convention on Information, Communication and Electronic Technology (MIPRO) Information, Communication and Electronic Technology (MIPRO), 2021 44th International Convention on. :1684-1689 Sep, 2021
Relation: 2021 44th International Convention on Information, Communication and Electronic Technology (MIPRO)