IDRA (IDeal resource allocation): Computing ideal speedups in parallel logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1124, Issue , 1996, Pages 724-733

  Fernández, Maria José ^a   Carro, Manuel ^a   Hermenegildo, Manuel ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Concurrency; Parallel logic programming; Parallelism; Performance evaluation; Simulation

Indexed keywords

COMPUTATION THEORY; LOGIC PROGRAMMING;

CONCURRENCY; PARALLEL LOGIC PROGRAMMING; PARALLELISM; PERFORMANCE EVALUATION; SIMULATION;

COMPUTER CIRCUITS;

EID: 84947912129     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0024769     Document Type: Conference Paper

References (20)

1. K. A. M. Ali and R. Karlsson. The Muse Or-Parallel Prolog Model and its Performance. In 1990 North American Conference on Logic Programming, pages 757-776. MIT Press, October 1990.
2. Hassan Ait-Kaci. Warren’s Abstract Machine, A Tutorial Reconstruction. MIT Press, 1991.
3. F. Bueno, M. García de la Banda, and M. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization. In International Symposium on Logic Programming, pages 320-336. MIT Press, November 1994.
4. M. Carro, L. Gómez, and M. Hermenegildo. Some Paradigms for Visualizing Parallel Execution of Logic Programs. In 1993 International Conference on Logic Programming, pages 184-201. MIT Press, June 1993.
5. J. S. Conery. The And/Or Process Model for Parallel Interpretation of Logic Programs. PhD thesis, The University of California At Irvine, 1983. Technical Report 204.
6. D. DeGroot. Restricted AND-Parallelism. In International Conference on Fifth Generation Computer Systems, pages 471-478. Tokyo, November 1984.
7. S. K. Debray and M. Jain. A Simple Program Transformation for Parallelism. In International Symposium on Logic Programming, pages 320-336. MIT Press, November 1994.
8. G. Gupta, M. Hermenegildo, E. Pontelli, and V. Santos Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. In International Conference on Logic Programming, pages 93-110. MIT Press, June 1994.
9. Michael R. Garey and David S. Johnson. Computers and Intractability. W.H. Freeman and Company, 1979.
10. Kai Hwang and Fayé Briggs. Computer Architecture and Parallel Processing. McGraw-Hill, 1988.
11. M. Hermenegildo and M. Carro. Relating Data-Paralllelism and (And-) Parallelism in Logic Programs. Computer Languages, 1996. Accepted for publication in the special issue on Parallel Logic Programming.
12. M. Hermenegildo and K. Greene. The &-Prolog System: Exploiting Independent And-Parallelism. New Generation Computing, 9(3, 4):233-257, 1991.
13. T. C. Hu. Parallel sequencing and assembly line problems. Operating Research, 9(6):841-848, November 1961.
14. S. Janson and S. Haridi. Programming Paradigms of the Andorra Kernel Language. In 1991 International Logic Programming Symposium, pages 167-183. MIT Press, 1991.
15. P. López García, M. Hermenegildo, and S.K. Debray. Towards Granularity Based Control of Parallelism in Logic Programs. In Proc. of First International Symposium on Parallel Symbolic Computation, PASCO’94, pages 133-144. World Scientific Publishing Company, September 1994.
16. E. Lusk et. al. The Aurora Or-Parallel Prolog System. New Generation Computing, 7(2, 3), 1990.
17. V. Santos-Costa, D.H.D. Warren, and R. Yang. Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-parallelism. In Proceedings of the 3rd. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM, April 1990.
18. K. Shen and M. Hermenegildo. A Simulation Study of Or- and Independent And-parallelism. In 1991 International Logic Programming Symposium. MIT Press, October 1991.
19. K. Shen. Exploiting Dependent And-Parallelism in Prolog: The Dynamic, Dependent And-Parallel Scheme. In Proc. Joint Int’l. Conf. and Symp. on Logic Prog. MIT Press, 1992.
20. D.C. Sehr and L.V. Kalé. Estimating the Inherent Parallelism in Logic Programs. In Proceedings of the Fifth Generation Computer Systems, pages 783-790. Tokio, ICOT, June 1992.