Comparative modelling and verification of Pthreads and Dthreads
The POSIX threads (Pthreads) library is a thread API for C/C++ to control parallel threads
and spawn concurrent process flows. Programming in Pthreads usually suffers from …
and spawn concurrent process flows. Programming in Pthreads usually suffers from …
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
A challenging aspect of model-to-code transformations is to ensure that the semantic
behavior of the input model is preserved in the output code. When constructing concurrent …
behavior of the input model is preserved in the output code. When constructing concurrent …
[PDF][PDF] From concurrent state machines to reliable multi-threaded Java code
D Zhang - 2018 - research.tue.nl
1.1 Background The rise in popularity of modern parallel computing hardware, such as multi-
core processors [10, 72, 83] and graphics processing units (GPUs)[25, 26, 52, 78, 80], has …
core processors [10, 72, 83] and graphics processing units (GPUs)[25, 26, 52, 78, 80], has …
[PDF][PDF] Verification of concurrent systems in a model-driven engineering workflow
SMJ de Putter - 2019 - research.tue.nl
Concurrent systems form an integral part of today's society. From smartphones, desktops
and web systems to the car you drive, and even your coffee machine, concurrent systems …
and web systems to the car you drive, and even your coffee machine, concurrent systems …