Elastic Relaxation of Concurrent Data Structures

Συγγραφείς: von Geijer, Kåre, 1998, Tsigas, Philippas, 1967

Πηγή: Anpassad datastruktursemantik för skalbar processering av data IEEE Transactions on Parallel and Distributed Systems. 36(12):2578-2595

Θεματικοί όροι: Data Structures, Concurrent Programming, Semantics

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: https://research.chalmers.se/publication/547547
https://research.chalmers.se/publication/547547/file/547547_Fulltext.pdf

Exploring Student Misconceptions about Concurrency Using Sonic Pi

Συγγραφείς: Delzanno, Giorgio, Guerrini, Giovanna, Traversaro, Daniele

Πηγή: 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)

FIAless: Asynchronous Programming for Large-Scale Burst Requests in Serverless Computing

Συγγραφείς: Guan, Chenyang, Yin, Junjie, Wang, Xiaofeng

Πηγή: 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)

Wait-free Trees with Asymptotically-Efficient Range Queries

Συγγραφείς: Kokorin, Ilya, Yudov, Victor, Aksenov, Vitaly, Alistarh, Dan

Πηγή: 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)

Efficient OLAP Support of Hierarchical Data Almost in Real-Time

Συγγραφείς: Aksenov, Vitaly^Aff8, Kokorin, Ilya^{Aff8, Aff9}, Stoiko, Nikolai^Aff8

Συνεισφορές: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Series Editor^Aff3, Gao, Wen, Series Editor^Aff4, Steffen, Bernhard, Series Editor^Aff5, Yung, Moti, Series Editor^Aff6, Malyshkin, Victor, editor^Aff7

Πηγή: Parallel Computing Technologies : 18th International Conference, PaCT 2025, Almaty, Kazakhstan, October 6–10, 2025, Proceedings. 16185:18-32

Compiler Testing with Relaxed Memory Models

Συγγραφείς: Geeson, Luke, Smith, Lee

Πηγή: 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)

Análise de ferramentas para deteção de problemas de concorrência em Java: Um estudo comparativo

Analysis of tools for detecting concurrency issues in Java: A comparative study

Συγγραφείς: VIGÁRIO, LUÍS FERNANDO DA SILVA NUNES

Συνεισφορές: Nogueira, Luis Miguel Pinho, REPOSITÓRIO P.PORTO

Πηγή: urn:tid:204000017

Θεματικοί όροι: Concurrent programming, Java, Race conditions, Deadlocks, Detection tools, Atomicity violations, Programação concorrente, Ferramentas de deteção, Violações de atomicidade

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: http://hdl.handle.net/10400.22/30458

Towards Safer Parallel STL Usage

Συγγραφείς: Barth, Benjamin, Szalay, Richard, Porkolab, Zoltan

Πηγή: 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)

A statistics-based performance testing methodology: a case study for the I/O bound tasks

Συγγραφείς: Sultanov, Andriy, Protsyk, Maksym, Kuzyshyn, Maksym, Omelkina, Daria, Shevchuk, Vyacheslav, Farenyuk, Oleg

Πηγή: 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)

Compiler and Linker of Sleptsov Net Program

Συγγραφείς: Zhao, Hongfei, Liu, Ding, Hou, Yifan

Πηγή: 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)

An Interactive System Based on First-Class User-Level Threads: A Systematic Review

Συγγραφείς: Sahar, Sadia^Aff7, Khan, Hamayun^Aff7, Tariq, Muhammad Imran^Aff7, din, Irfan Ud^Aff7, Ashraf, Abrar^Aff7, Zahra, Syeda Aqsa^Aff7

Συνεισφορές: Li, Gang, Series Editor^Aff1, Filipe, Joaquim, Series Editor^Aff2, Xu, Zhiwei, Series Editor^Aff3, Arif, Muhammad, editor^Aff4, Jaffar, Arfan, editor^Aff5, Geman, Oana, editor^Aff6

Πηγή: Computing and Emerging Technologies : First International Conference, ICCET 2023, Lahore, Pakistan, May 26-27, 2023, Revised Selected Papers, Part II. 2056:380-394

Improving Performance in Concurrent Programs by Switching from Relational to NoSQL Perspectives

Συγγραφείς: Wojszczyk, Rafał^Aff17, Mrzygłód, Łukasz^Aff17, Dvořák, Jiří^Aff18

Συνεισφορές: Kacprzyk, Janusz, Series Editor^Aff1, Gomide, Fernando, Advisory Editor^Aff2, Kaynak, Okyay, Advisory Editor^Aff3, Liu, Derong, Advisory Editor^Aff4, Pedrycz, Witold, Advisory Editor^Aff5, Polycarpou, Marios M., Advisory Editor^Aff6, Rudas, Imre J., Advisory Editor^Aff7, Wang, Jun, Advisory Editor^Aff8, Mehmood, Rashid, editor^Aff9, Hernández, Guillermo, editor^Aff10, Praça, Isabel, editor^Aff11, Wikarek, Jaroslaw, editor^Aff12, Loukanova, Roussanka, editor^Aff13, Monteiro dos Reis, Arsénio, editor^Aff14, Skarmeta, Antonio, editor^Aff15, Lombardi, Eleonora, editor^Aff16

Πηγή: Distributed Computing and Artificial Intelligence, Special Sessions I, 21st International Conference. 1198:95-103

DHash: Dynamic Hash Tables With Non-Blocking Regular Operations

Συγγραφείς: Wang, J., Liu, D., Fu, X., Xiao, F., Tian, C.

Πηγή: 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

Multithreading in Java: Techniques for Concurrent Programming

Συγγραφείς: Ashok Lama Software Engineer

Θεματικοί όροι: Java, Multithreading, Concurrency, Thread Lifecycle, Synchronization, ExecutorService, Race Conditions, Deadlock, Performance Optimization, Concurrent Programming

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Συγγραφείς: Din, Crystal, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar, Pun, Violet, Tarifa, S. Lizeth Tapia

Συνεισφορές: Henrio, Ludovic

Πηγή: ACM Transactions on Programming Languages and Systems

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.science/hal-04732946v1
https://hal.science/hal-04732946v1/document
https://doi.org/10.1145/3648439
https://hdl.handle.net/11250/3152463

An Implementation of User-Level Processes using Address Space Sharing

Συγγραφείς: Hori, Atsushi, Gerofi, Balazs, Ishikawa, Yutaka

Πηγή: 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)

On the Send-Synchronizability Problem for Mailbox Communication

Συγγραφείς: Delpy, Romain, Muscholl, Anca, Sutre, Grégoire

Συνεισφορές: Romain Delpy and Anca Muscholl and Grégoire Sutre

Θεματικοί όροι: Verification, Mailbox communication, ddc:004, Concurrent programming, Synchronizability

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2025.15

Research on Mutual Exclusion and Condition Synchronization in Concurrent Programming

Συγγραφείς: Yang, Ling

Πηγή: 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)

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)

On Analyzing Virtual Threads – a Structured Concurrency Model for Scalable Applications on the JVM

Συγγραφείς: Beronic, D., Pufek, P., Mihaljevic, B., Radovan, A.

Πηγή: 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)