Hitting families of schedules for asynchronous programs
<p>Asynchronous programming is a ubiquitous idiom for concurrent programming, where sequential units of code, called events, are scheduled and run atomically by a scheduler. While running, an event can post additional events for future execution by the scheduler. Asynchronous programs can have...
Main Authors: | , , |
---|---|
Format: | Conference item |
Published: |
Springer
2016
|