DAOS - Scalable and-or parallelism

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

Volumn 1685 LNCS, Issue , 1999, Pages 899-908

  Castro, Luís Fernando ^a   Costa, Vítor Santos ^b   Geyer, Claudio F R ^a   Silva, Fernando ^b   Vargas, Patrícia Kayser ^a   Correia, Manuel E ^b  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b UNIVERSITY OF PORTO   (Portugal)

Author keywords

Distributed shared memory; Or model; Parallel logic programming; Scheduling

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING; MESSAGE PASSING; SCHEDULING;

COMMUNICATION OVERHEADS; DISTRIBUTED IMPLEMENTATION; DISTRIBUTED MEMORY; DISTRIBUTED SHARED MEMORY; IMPLICIT PARALLELISMS; INHERENT COMPLEXITY; PARALLEL LOGIC PROGRAMMING; SHARED ADDRESS SPACES;

MEMORY ARCHITECTURE;

EID: 84878635477     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48311-x_125     Document Type: Conference Paper

References (16)

1. K. A. M. Ali and R. Karlsson. The Muse Or-parallel Prolog Model and its Performance. In Proceedings of the North American Conference on Logic Programming, pages 757-776. MIT Press, October 1990.
2. J. Briat, M. Favre, C. Geyer, and J. Chassin. Scheduling of or-parallel Prolog on a scaleable, reconfigurable, distributed-memory multiprocessor. In Proceedings of Parallel Architecture and Languages Europe. Springer Verlag, 1991.
3. C. Amza et al. TreadMarks: Shared memory computing on networks of workstations. IEEE Computer, 19(2):18-28, February 1996. (Pubitemid 126522507)
4. P. Codognet and D. Diaz. wamcc: Compiling Prolog to C. In 12th International Conference on Logic Programming. The MIT Press, 1995.
5. M. E. Correia, F. M. A. Silva, and V. Santos Costa. The SBA: Exploiting orthogonality in OR-AND Parallel Systems. In Proceedings of the 1997 International Logic Programming Symposium, October 1997.
6. G. Gupta, M. Hermenegildo, and V. Santos Costa. And-Or Parallel Prolog: A Recomputation based Approach. New Generation Computing, 11(3,4):770-782, 1993.
7. M. V. Hermenegildo. An Abstract Machine for Restricted And-Parallel Execution of Logic Programs. In E. Shapiro, editor, Third International Conference on Logic Programming, London, pages 25-39. Springer-Verlag, July 1986.
8. E. Lusk, R. Butler, T. Disz, R. Olson, R. Overbeek, R. Stevens, D. H. D. Warren, A. Calderwood, P. Szeredi, S. Haridi, P. Brand, M. Carlsson, A. Ciepelewski, and B. Hausman. The Aurora or-parallel Prolog system. In International Conference on Fifth Generation Computer Systems 1988, pages 819-830. ICOT, Tokyo, Japan, Nov. 1988.
9. E. Pontelli, G. Gupta, M. Hermenegildo, M. Carro, and D. Tang. Efficient Implementation of And-Parallel Logic Programming Systems. Computer Languages, 22(2/3), 1996.
10. V. Santos Costa, R. Bianchini, and I. C. Dutra. Parallel Logic Programming Systems on Scalable Multiprocessors. In Proceedings of the 2nd International Symposium on Parallel Symbolic Computation, PASCO'97, pages 58-67, July 1997.
11. V. Santos Costa, M. E. Correia, and F. Silva. Performance of Sparse Binding Arrays for Or-Parallelism. In Proceedings of the VIII Brazilian Symposium on Computer Architecture and High Performance Processing - SBAC-PAD, August 1996.
12. 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 Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming PPOPP, pages 83-93. ACM press, April 1991. SIGPLAN Notices vol 26(7), July 1991.
13. K. Shen. Initial Results from the Parallel Implementation of DASWAM. In M. Maher, editor, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming. The MIT Press, 1996.
14. F. M. A. Silva. An Implementation of Or-Parallel Prolog on a Distributed Shared Memory Architecture. PhD thesis, Dept. of Computer Science, Univ. of Manchester, September 1993.
15. A. R. Verden and H. Glaser. Independent And-Parallel Prolog for Distributed Memory Architectures. Technical report, Department of Electronics and Computer Science, University of Southampton, Apr. 1990.
16. D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, 1983.