Using Discrete-Event Systems for the Automatic Generation of Concurrency Control for Dynamic Threads
The application of Discrete-Event Systems (DES) theory to the problem of guar- anteeably enforcing concurrency constraints in multi-threaded applications has been studied under certain assumptions, namely, the assumption of a static pool of pre- existing instantiated threads, whose creation and term...
Main Author: | |
---|---|
Other Authors: | |
Language: | en en |
Published: |
2010
|
Subjects: | |
Online Access: | http://hdl.handle.net/1974/5690 |