Suchergebnisse - "Concurrent Programming"

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

Borrowing from Session Types von Saffrich, Hannes, Spaderna, Janek, Thiemann, Peter, Vasconcelos, Vasco T.

“… Session types provide a formal framework to enforce rich communication protocols, ensuring correctness properties such as type safety and deadlock freedom …”
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

Scala Actors: Unifying thread-based and event-based programming von Haller, Philipp, Odersky, Martin

“… There is an impedance mismatch between message-passing concurrency and virtual machines, such as the JVM. VMs usually map their threads to heavyweight OS …”
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

Multi-GPU Programming Model for Subgraph Matching in Large Graphs von LI Cenhao, CUI Pengjie, YUAN Ye, WANG Guoren

“… Subgraph matching is an important method of data mining in complex networks. In recent years, the subgraph matching algorithm based on GPU (graphics processing …”
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

Scalable Strategies for Computing with Massive Data von Kane, Michael J., Emerson, John, Weston, Stephen

“… This paper presents two complementary statistical computing frameworks that address challenges in parallel processing and the analysis of massive data. First, …”
Volltext

Choreographic Quick Changes: First-Class Location (Set) Polymorphism von Samuelson, Ashley, Hirsch, Andrew K., Cecchetti, Ethan

“… Choreographic programming is a promising new paradigm for programming concurrent systems where a developer writes a single centralized program that compiles to …”
Volltext

Freesia: Verifying Correctness of TEE Communication with Concurrent Separation Logic von Zeng, Fanlang, Chang, Rui, Liu, Hongjian

“… The Trusted Execution Environment (TEE), a security extension in modern processors, provides a secure runtime environment for sensitive code and data. Although …”
Volltext

Elastic Relaxation of Concurrent Data Structures von von Geijer, Kare, Tsigas, Philippas

“… The sequential semantics of many concurrent data structures, such as stacks and queues, inevitably lead to memory contention in parallel environments, thus …”
Volltext

CSMV: A highly scalable multi-versioned software transactional memory for GPUs von Nunes, Diogo, Castro, Daniel, Romano, Paolo

“… This paper introduces CSMV (Client Server Multiversioned), a multi-versioned Software TM (STM) for GPUs that adopts an innovative client-server design. By …”
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

Table ronde autour d’une performance dans un panier en osier von Buob, Baptiste, Demesmaeker, Jérémy, Maillot, Laurence, Lavery, Carl, Rioux, Vincent

“… En guise de résumé, voici quelques lignes écrites par un lecteur de cet article, lecteur lui-même contributeur de ce numéro sur les « Anthropologies …”
Volltext

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

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

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

Exceptional asynchronous session types: session types without tiers von Fowler, Simon, Lindley, Sam, Morris, J. Garrett, Decova, Sára

“… Session types statically guarantee that communication complies with a protocol. However, most accounts of session typing do not account for failure, which …”
Volltext

DHash: Dynamic Hash Tables With Non-Blocking Regular Operations von Wang, Junchang, Liu, Dunwei, Fu, Xiong, Xiao, Fu, Tian, Chen

“… Once started, existing hash tables cannot change their pre-defined hash functions, even if the incoming data cannot be evenly distributed to the hash table …”
Volltext

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures von Castro, David, Hu, Raymond, Jongmans, Sung-Shik, Ng, Nicholas, Yoshida, Nobuko

“… This paper presents a framework for the static specification and safe programming of message passing protocols where the number and kinds of participants are …”
Volltext