Loading...
Please wait, while we are loading the content...
Similar Documents
Rewrite Rules supporting Conditional Statements for Automatic Parallelization
| Content Provider | Semantic Scholar |
|---|---|
| Author | Kuyten, Pascal |
| Copyright Year | 2009 |
| Abstract | Hurlin recently proposed a technique for automatic parallelization based on separation logic [9]. This paper proposes an enhancement of the mechanism for situations where conditional statements are used in specifications of programs. With the proposed changes, specifications containing conditional statements are supported and programs can be automatically parallelized. Two approaches are identified and a preferable one is suggested. The proposed extension is illustrated by an exemplifying program and has been implemented. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://fmt.cs.utwente.nl/files/sprojects/79.pdf |
| Alternate Webpage(s) | http://referaat.cs.utwente.nl/conference/11/paper/6980/rewrite-rules-supporting-conditional-statements-for-automatic-parallelization.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |