Safe reactive programming: The FunLoft proposal

F Boussinot, F Dabrowski - 2007 - inria.hal.science
We propose a multicore-ready programming language based on a two-level shared memory
model. Concurrency units are schedulers and threads which are dispatched on available …

Graphics processing

I Sideris, P Sonkoly, AP Castro - US Patent 11,900,522, 2024 - Google Patents
Disclosed is a method of handling thread termination events within a graphics processor
when a group of plural execution lanes are executing in a co-operative state. When a group …

[PDF][PDF] Migration et Mobilité: Sémantique et Applications

S Antipolis-Méditerranée - Citeseer
The overall objective of the MIMOSA project is to design and study models of concurrent,
distributed and mobile programming, to derive programming primitives from these models …