Introduction of a complexity measure for control of design errors in logic-based CAD programs

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