A domain specific language based approach for generating deadlock-free parallel load scheduling protocols for distributed systems
<p>In this dissertation, the concept of using domain specific language to develop error-free parallel asynchronous load scheduling protocols for distributed systems is studied. The motivation of this study is rooted in addressing the high cost of verifying parallel asynchronous load scheduling...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
MSSTATE
2013
|
| Subjects: | |
| Online Access: | http://sun.library.msstate.edu/ETD-db/theses/available/etd-03132013-153807/ |