Verification of Task Parallel Programs Using Predictive Analysis
Task parallel programming languages provide a way for creating asynchronous tasks that can run concurrently. The advantage of using task parallelism is that the programmer can write code that is independent of the underlying hardware. The runtime determines the number of processor cores that are ava...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
BYU ScholarsArchive
2016
|
| Subjects: | |
| Online Access: | https://scholarsarchive.byu.edu/etd/6176 https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=7176&context=etd |