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...

Full description

Bibliographic Details
Main Author: Auer, Anthony
Other Authors: Queen's University (Kingston, Ont.). Theses (Queen's University (Kingston, Ont.))
Language:en
en
Published: 2010
Subjects:
Online Access:http://hdl.handle.net/1974/5690