Suchergebnisse - Concurrent programming structures

Portable Programming with RAPID von Angstadt, Kevin, Wadden, Jack, Weimer, Westley, Skadron, Kevin

“… We present RAPID, a high-level programming language and combined imperative and declarative model for functionally- and performance-portable execution of sequential pattern-matching applications …”
Volltext

Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom von Glabbeek, Rob van, Hofner, Peter, Horne, Ross

“… of lock-freedom, which assumes only justness of execution paths, a minimal fairness assumption for concurrent systems …”
Volltext

LLM-Based Java Concurrent Program to ArkTS Converter von Liu, Runlin, Lin, Yuhang, Hu, Yunge, Zhang, Zhe, Gao, Xiang

“… However, HarmonyOS utilizes ArkTS, a superset of TypeScript, as the programming language for application development …”
Volltext

A Linear Logic Programming Language for Concurrent Programming over Graph Structures von CRUZ, FLAVIO, ROCHA, RICARDO, GOLDSTEIN, SETH COPEN, PFENNING, FRANK

“… LM programs are naturally concurrent because facts are partitioned by nodes of a graph data structure …”
Volltext

Separating Mechanism from Policy in STM von Sheng, Yaodong, Hassan, Ahmed, Spear, Michael

“… When designing concurrent data structures (CDSs), it can feel like programmers must choose between performance and convenience …”
Volltext

UWOmppro: UWOmp++ with Point-to-Point Synchronization, Reduction and Schedules von Agrawal, Aditya, Nandivada, V. Krishna

“… OpenMP is one of the most popular APIs widely used to realize parallelism in C/C++ and FORTRAN programs. For efficient execution, an OpenMP program internally …”
Volltext

HasChor: Functional Choreographic Programming for All (Functional Pearl) von Shen, Gan, Kashiwa, Shun, Kuper, Lindsey

“… Choreographic programming is an emerging paradigm for programming distributed systems …”
Volltext

A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers von González-Vélez, Horacio, Leyton, Mario

“… Structured parallel programs ought to be conceived as two separate and complementary entities: computation, which expresses the calculations in a procedural …”
Volltext

Refactoring sequential Java code for concurrency via concurrent libraries von Dig, Danny, Marrero, John, Ernst, Michael D.

“… The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of the complexity of writing thread-safe and scalable programs is hidden in the library …”
Volltext

The Design of OpenMP Tasks von Ayguade, E., Copty, N., Duran, A., Hoeflinger, J., Yuan Lin, Massaioli, F., Teruel, X., Unnikrishnan, P., Guansong Zhang

“… With increasing application complexity, there is a growing need for addressing irregular parallelism in the presence of complicated control structures …”
Volltext

A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks von Chen, Zewei, Lei, Hang, Yang, Maolin, Liao, Yong, Qiao, Lei

“… Real-time synchronization is one of the essential theories in real-time systems, and the recent booming of parallel real-time tasks has brought new challenges …”
Volltext

Python shared atomic data types von Ren, Xiquan

“… in parallel computation and concurrent programming …”
Volltext

Effective static deadlock detection von Naik, Mayur, Park, Chang-Seo, Sen, Koushik, Gay, David

“… We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a …”
Volltext

Intrinsically Typed Sessions with Callbacks (Functional Pearl) von Thiemann, Peter

“… All formalizations of session types rely on linear types for soundness as session-typed communication channels must change their type at every operation …”
Volltext

High-level effect handlers in C++ von Ghica, Dan, Lindley, Sam, Bravo, Marcos Maroñas, Piróg, Maciej

“… Effect handlers allow the programmer to implement computational effects, such as custom error handling, various forms of lightweight concurrency, and dynamic binding, inside the programming language …”
Volltext

Degrees of Separation: A Flexible Type System for Safe Concurrency von Xu, Yichen, Boruch-Gruszecki, Aleksander, Odersky, Martin

“… Data races have long been a notorious problem in concurrent programming. They are hard to detect, and lead to non-deterministic behaviours …”
Volltext

Lexical Effect Handlers, Directly von Ma, Cong, Ge, Zhaoyi, Lee, Edward, Zhang, Yizhou

“… Lexically scoping effect handlers is a language-design idea that equips algebraic effects with a modular semantics: it enables local-reasoning principles …”
Volltext

Mitigating synchronization bottlenecks in high-performance actor-model-based software von Klenk, Kyle, Moayeri, Mohammad Mahdi, Guo, Junwei, Clark, Martyn P., Spiteri, Raymond J.

“… Bulk synchronous programming (in distributed-memory systems) and the fork-join pattern …”
Volltext

A true positives theorem for a static race detector von Gorogiannis, Nikos, O'Hearn, Peter W., Sergey, Ilya

“… RacerD is a static race detector that has been proven to be effective in engineering practice: it has seen thousands of data races fixed by developers before …”
Volltext

Actors in a new 'highly parallel' world von Correa, Fabio

“… The actor-model of computation was forged 25 years ago and, despite its natural fitness for concurrent programming, it never got traction on mainstream programming languages and as a …”
Volltext