𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Some results on the complexity of exploi
✍ Arthur Delcher; Simon Kasif 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 937 KB

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

Automatically exploiting implicit parall
✍ Bik, Aart J. C.; Gannon, Dennis B. 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 287 KB 👁 2 views

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