Výsledky vyhľadávania - Concurrent programming structures

Portable Programming with RAPID Autor 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…”
Získať plný text

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

“… of lock-freedom, which assumes only justness of execution paths, a minimal fairness assumption for concurrent systems…”
Získať plný text

LLM-Based Java Concurrent Program to ArkTS Converter Autor 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…”
Získať plný text

A Linear Logic Programming Language for Concurrent Programming over Graph Structures Autor 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…”
Získať plný text

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

“…When designing concurrent data structures (CDSs), it can feel like programmers must choose between performance and convenience…”
Získať plný text

UWOmppro: UWOmp++ with Point-to-Point Synchronization, Reduction and Schedules Autor 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…”
Získať plný text

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

“…Choreographic programming is an emerging paradigm for programming distributed systems…”
Získať plný text

A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers Autor 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…”
Získať plný text

Refactoring sequential Java code for concurrency via concurrent libraries Autor 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…”
Získať plný text

The Design of OpenMP Tasks Autor 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…”
Získať plný text

A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks Autor 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…”
Získať plný text

Python shared atomic data types Autor Ren, Xiquan

“… in parallel computation and concurrent programming…”
Získať plný text

Effective static deadlock detection Autor 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…”
Získať plný text

Intrinsically Typed Sessions with Callbacks (Functional Pearl) Autor 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…”
Získať plný text

High-level effect handlers in C++ Autor 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…”
Získať plný text

Degrees of Separation: A Flexible Type System for Safe Concurrency Autor 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…”
Získať plný text

Lexical Effect Handlers, Directly Autor 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…”
Získať plný text

Mitigating synchronization bottlenecks in high-performance actor-model-based software Autor 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…”
Získať plný text

A true positives theorem for a static race detector Autor 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…”
Získať plný text

Actors in a new 'highly parallel' world Autor 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…”
Získať plný text