Fastbelt: An Architecture for Efficient Language Engineering

Συγγραφείς: Sujew, Mark, Smyth, Steven

Πηγή: Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems. :249-253

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

SafeCode: Enhancing Data Race Detection in OpenMP Through Hyperparameter-Optimised DCNN

Συγγραφείς: Upadhyay, Aishwarya, Laxmi, Vijay, Naval, Smita, Kashyap, Santosh, Gaur, Manoj Singh

Πηγή: 2025 International Conference on Modeling, Simulation & Intelligent Computing (MoSICom) Modeling, Simulation & Intelligent Computing (MoSICom), 2025 International Conference on. :622-627 Dec, 2025

Relation: 2025 International Conference on Modeling, Simulation & Intelligent Computing (MoSICom)

Elastic Relaxation of Concurrent Data Structures

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

Συνεισφορές: von Geijer, Kåre, 1998, Author, Tsigas, Philippas, 1967, Author

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

Introduction to Concurrent Programming in C: An Open Course Book With Program Visualizations

Συγγραφείς: Strmbck, Filip

Πηγή: Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.2. :1537-1538

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

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)

Borrowing from Session Types

Συγγραφείς: Saffrich, Hannes, Spaderna, Janek, Thiemann, Peter, Vasconcelos, Vasco T.

Πηγή: Proceedings of the ACM on Programming Languages. 9(OOPSLA2):3426-3453

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

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)

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)

Sound Automatic Lock Placement for Concurrent Programs with Pointers

Συγγραφείς: Waldburger, Nicolas^Aff9, Faissole, Florian^Aff9, Okabe, Ryo^Aff9, Cousineau, Denis^Aff9

Συνεισφορές: 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, Bocchi, Laura, editor^Aff7, Kulahcioglu Ozkan, Burcu, editor^Aff8

Πηγή: Formal Techniques for Distributed Objects, Components, and Systems : 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8–12, 2026, Proceedings. 16589:74-92

Development of a New Visual Programming Language for Industrial Testing Applications

Συγγραφείς: Wang, Shen^Aff39

Συνεισφορές: Angrisani, Leopoldo, Series Editor^Aff1, Arteaga, Marco, Series Editor^Aff2, Chakraborty, Samarjit, Series Editor^Aff3, Chen, Shanben, Series Editor^Aff4, Chen, Tan Kay, Series Editor^Aff5, Dillmann, Rüdiger, Series Editor^Aff6, Duan, Haibin, Series Editor^Aff7, Ferrari, Gianluigi, Series Editor^Aff8, Ferre, Manuel, Series Editor^Aff9, Jabbari, Faryar, Series Editor^Aff10, Jia, Limin, Series Editor^Aff11, Kacprzyk, Janusz, Series Editor^Aff12, Khamis, Alaa, Series Editor^Aff13, Kroeger, Torsten, Series Editor^Aff14, Li, Yong, Series Editor^Aff15, Liang, Qilian, Series Editor^Aff16, Martín, Ferran, Series Editor^Aff17, Ming, Tan Cher, Series Editor^Aff18, Minker, Wolfgang, Series Editor^Aff19, Misra, Pradeep, Series Editor^Aff20, Mukhopadhyay, Subhas, Series Editor^Aff21, Ning, Cun-Zheng, Series Editor^Aff22, Nishida, Toyoaki, Series Editor^Aff23, Oneto, Luca, Series Editor^Aff24, Panigrahi, Bijaya Ketan, Series Editor^Aff25, Pascucci, Federica, Series Editor^Aff26, Qin, Yong, Series Editor^Aff27, Seng, Gan Woon, Series Editor^Aff28, Speidel, Joachim, Series Editor^Aff29, Veiga, Germano, Series Editor^Aff30, Wu, Haitao, Series Editor^Aff31, Zamboni, Walter, Series Editor^Aff32, Tan, Kay Chen, Series Editor^Aff33, Yang, Qingxin, editor^Aff34, Xu, Dianguo, editor^Aff35, Ye, Xuerong, editor^Aff36, Nie, Qiuyue, editor^Aff37, Guan, Yueshi, editor^Aff38

Πηγή: The Proceedings of the 20th Annual Conference of China Electrotechnical Society : Volume I. 1558:336-341

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, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Malyshkin, Victor, editor^Aff7

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

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

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

Πηγή: ACM Transactions on Programming Languages and Systems. 46(1):1-58

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

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)

TSGL-Rust: Teaching Concurrency Through Compile-Time Enforcement via Rust-Based Visualization of Classical Synchronization Problems

Συγγραφείς: Teddy Surya Gunawan

Πηγή: International Islamic University Malaysia Engineering Journal, Vol 27, Iss 2 (2026)

Θεματικοί όροι: Concurrent programming, Rust, compile-time safety, visualization, operating systems education, Engineering (General). Civil engineering (General), TA1-2040

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

Relation: https://journals.iium.edu.my/ejournal/index.php/iiumej/article/view/4361; https://doaj.org/toc/1511-788X; https://doaj.org/toc/2289-7860

Σύνδεσμος πρόσβασης: https://doaj.org/article/3c4977ea40e54698bc0d780c2078904c

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)

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)

Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation

Συγγραφείς: Cardoso, Diogo J., Foss, Luciana, Du Bois, Andre R.

Πηγή: Proceedings of the XXVI Brazilian Symposium on Programming Languages. :15-23

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

EventManager — a tool to help students analyse concurrent programs

Συγγραφείς: Alegria, Anna Leticia, Ierusalimschy, Roberto, Rodriguez, Noemi

Πηγή: Proceedings of the XXVI Brazilian Symposium on Programming Languages. :24-31

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