✦ LIBER ✦

A compiling approach for exploiting AND-parallelism in logic programs

✍ Scribed by Hwang Zhiyi; Hu Shouren

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 447 KB
Volume: 6
Category: Article
ISSN: 0167-739X
DOI: 10.1016/0167-739x(90)90007-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A compiler for exploiting nested paralle

A compiler for exploiting nested parallelism in OpenMP programs

✍ Xinmin Tian; Jay P. Hoeflinger; Grant Haab; Yen-Kuang Chen; Milind Girkar; Sanji 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 277 KB

A Methodology for Granularity-Based Cont

A Methodology for Granularity-Based Control of Parallelism in Logic Programs

✍ P. LOPEZ; M. HERMENEGILDO; S. DEBRAY 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 674 KB

Several types of parallelism can be exploited in logic programs while preserving correctness and efficiency, i.e. ensuring that the parallel execution obtains the same results as the sequential one and the amount of work performed is not greater. However, such results do not take into account a numb

A parallel approach for theorem proving

A parallel approach for theorem proving in prepositional logic

✍ Chen Wen-Tsuen; Liu Lung-Lung 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 948 KB

Parallelism, hybridism and coevolution i

Parallelism, hybridism and coevolution in a multi-level ABC-GA approach for the protein structure prediction problem

✍ César Manuel Vargas Benitez; Rafael Stubs Parpinelli; Heitor Silvério Lopes 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 707 KB

A temporal logic approach to state reach

A temporal logic approach to state reachability in real-time program synchronization and verification : D. Ionescu, pp 11–18

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 111 KB

A fuzzy logic based approach for semiolo

A fuzzy logic based approach for semiological analysis of microcalcifications in mammographic images

✍ S. Bothorel; B. Bouchon Meunier; S. Muller 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 509 KB

We have developed a new algorithm for the characterization of microcalcification clusters. Fuzzy logic is well suited to represent and to manipulate data and knowledge at different levels of the algorithm. Our algorithm is built in 3 steps: Detection and segmentation of the individual microcalcifica