Exploiting Parallelism in Coalgebraic Logic Programming
✍ Scribed by Komendantskaya, Ekaterina; Schmidt, Martin; Heras, Jónathan
- Book ID
- 122106028
- Publisher
- Elsevier Science
- Year
- 2014
- Tongue
- English
- Weight
- 309 KB
- Volume
- 303
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
We consider several problems related to maintaining and analyzing dataflow dependencies in AND-parallel execution of logic programs. Several problems related to optimal selection of literals for parallel execution are established to be intractable (NP-complete). Most importantly, we establish intrac
In this paper we show how implicit parallelism in Java programs can be made explicit by a restructuring compiler using the multi-threading mechanism of the language. In particular, we focus on automatically exploiting implicit parallelism in loops and multi-way recursive methods. Expressing parallel