Treffer 1 - 20 von 3.022

1

Elastic Relaxation of Concurrent Data Structures
von Geijer, K. ; Tsigas, P.
IEEE Transactions on Parallel and Distributed Systems IEEE Trans. Parallel Distrib. Syst. Parallel and Distributed Systems, IEEE Transactions on. 36(12):2578-2595 Dec, 2025

Fachzeitschrift
2

Borrowing from Session Types
Saffrich, Hannes ; Spaderna, Janek ; Thiemann, Peter ; et al.
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):3426-3453

Fachzeitschrift
3

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

Konferenz
4

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

Konferenz
5

Efficient OLAP Support of Hierarchical Data Almost in Real-Time
Aksenov, Vitaly ; Kokorin, Ilya ; Stoiko, Nikolai ; et al.
Parallel Computing Technologies : 18th International Conference, PaCT 2025, Almaty, Kazakhstan, October 6–10, 2025, Proceedings. 16185:18-32

E-Book
6

Wait-free Trees with Asymptotically-Efficient Range Queries
Kokorin, Ilya ; Yudov, Victor ; Aksenov, Vitaly ; et al.
2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS) IPDPS Parallel and Distributed Processing Symposium (IPDPS), 2024 IEEE International. :169-179 May, 2024

Konferenz
7

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

Konferenz
8

Introduction to Concurrent Programming
Capel Tuñón, Manuel Isidoro
Concurrent and Real-time Programming ISBN: 9783031852329
Digibug. Repositorio Institucional de la Universidad de Granada
Universidad de Granada (UGR)

Concurrent properties ve... Concurrent Programming Hoare Program Logic Semaphores
Buch
9

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Din, Crystal Chang ; Hähnle, Reiner ; Henrio, Ludovic ; et al.
ACM Transactions on Programming Languages and Systems. 46(1):1-58

Fachzeitschrift
10

An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs
author author Sun, Dai, Geng, Chang-Ai Hepeng Ning ; author Liu, Chen, Huai Tsong Yueh ; author author Wu, Cai, Wang, Peng Yan Jinqiu ; et al.
ACM Transactions on Software Engineering and Methodology. 33(1):1-21

Fachzeitschrift
11

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

Konferenz
12

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

Konferenz
13

Exploring Student Misconceptions about Concurrency Using the Domain-Specific Programing Language 'Sonic Pi'
Delzanno, Giorgio ; Guerrini, Giovanna ; Traversaro, Daniele
Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 2. :1622-1623

Konferenz
14

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

Konferenz
15

A statistics-based performance testing methodology: a case study for the I/O bound tasks
Sultanov, Andriy ; Protsyk, Maksym ; Kuzyshyn, Maksym ; et al.
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

Konferenz
16

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

Konferenz
17

Structured Concurrency: A Review
Chen, Yi-An ; You, Yi-Ping
Workshop Proceedings of the 51st International Conference on Parallel Processing. :1-8

Konferenz
18

The OpenMP Cluster Programming Model
Yviquel, Hervé ; Pereira, Marcio ; Francesquini, Emílio ; et al.
Workshop Proceedings of the 51st International Conference on Parallel Processing. :1-11

Konferenz
19

pseuCo Book : An Interactive Learning Experience
Freiberger, Felix
Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1. :414-420

Konferenz
20

Multithreading in Java: Techniques for Concurrent Programming
Ashok Lama Software Engineer

Java, Multithreading, Co...
Fachzeitschrift

Filter