Suchergebnisse - "concurrent programming structures"

Python shared atomic data types von Ren, Xiquan

“… Although atomicity plays a key role in data operations of shared variables in parallel computation, researchers haven't treated atomicity in Python in much …”
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. In choreographic programming, the programmer describes the behavior of …”
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

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

“… As the hardware found within data centers becomes more heterogeneous, it is important to allow for efficient execution of algorithms across architectures. We …”
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

“… OpenMP has been very successful in exploiting structured parallelism in applications. With increasing application complexity, there is a growing need for …”
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 …”
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. There has been 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

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

“… We investigate how different fairness assumptions affect results concerning lock-freedom, a typical liveness property targeted by session type systems. We fix …”
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

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

“… HarmonyOS NEXT is a distributed operating system developed to support HarmonyOS native apps. To support the new and independent Harmony ecosystem, developers …”
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

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

Fuzzing channel-based concurrency runtimes using types and effects von Stiévenart, Quentin, Madsen, Magnus

“… Modern programming languages support concurrent programming based on channels and processes. Channels enable synchronous and asynchronous message-passing …”
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. On one hand, Software …”
Volltext

Formalised Composition and Interaction for Heterogeneous Structured Parallelism von Goli, Mehdi, González-Vélez, Horacio

“… Deployed through skeleton frameworks, structured parallelism yields a clear and consistent structure across platforms by distinctly decoupling computations …”
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

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

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

“… Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u.c.) supports writing …”
Volltext

Adaptive structured parallelism for distributed heterogeneous architectures: a methodological approach with pipelines and farms von González-Vélez, Horacio, Cole, Murray

“… Algorithmic skeletons commonly used patterns of parallel computation, communication, and interaction. Based on the algorithmic skeleton concept, structured …”
Volltext