메뉴 건너뛰기




Volumn 2790, Issue , 2004, Pages 694-703

A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

EID: 35048900601     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article
Times cited : (8)

References (11)
  • 2
    • 35048892390 scopus 로고    scopus 로고
    • Full Prolog on a Distributed Architecture
    • Springer
    • L. Araujo. Full Prolog on a Distributed Architecture. In EuroPar, Springer, 1997.
    • (1997) EuroPar
    • Araujo, L.1
  • 3
    • 84944804734 scopus 로고    scopus 로고
    • Techniques for Implementing Or-parallelism on DMPs
    • MIT
    • G. Gupta et al. Techniques for Implementing Or-parallelism on DMPs. ICLP, MIT, 1999.
    • (1999) ICLP
    • Gupta, G.1
  • 4
    • 0011732410 scopus 로고    scopus 로고
    • Parallel Execution of Prolog Programs
    • G. Gupta et al. Parallel Execution of Prolog Programs. TOPLAS, 23(4), 2001.
    • (2001) TOPLAS , vol.23 , Issue.4
    • Gupta, G.1
  • 6
    • 35048827770 scopus 로고    scopus 로고
    • Experiments in Parallel Execution of ASP
    • E. Pontelli. Experiments in Parallel Execution of ASP. IEEE IPDPS, 2001.
    • (2001) IEEE IPDPS
    • Pontelli, E.1
  • 7
    • 0034348607 scopus 로고    scopus 로고
    • Data Structures for Order-Sensitive Predicates
    • D. Ranjan et al. Data Structures for Order-Sensitive Predicates. ACTA Informatica, 37(1):21-43, 2000.
    • (2000) ACTA Informatica , vol.37 , Issue.1 , pp. 21-43
    • Ranjan, D.1
  • 8
    • 84944804735 scopus 로고    scopus 로고
    • Parallel Prolog based on Stack Copying
    • R. Rocha et al. Parallel Prolog based on Stack Copying. EPIA, Springer, 1999.
    • (1999) EPIA, Springer
    • Rocha, R.1
  • 9
    • 0026263438 scopus 로고
    • Using dynamic predicates in an or-parallel prolog
    • MIT
    • P. Szeredi. Using dynamic predicates in an or-parallel prolog. ILPS, MIT, 1991.
    • (1991) ILPS
    • Szeredi, P.1
  • 11
    • 35048884028 scopus 로고    scopus 로고
    • Incremental Stack Splitting Mechanisms
    • K. Villaverde et al. Incremental Stack Splitting Mechanisms. IEEE ICPP, 2001.
    • (2001) IEEE ICPP
    • Villaverde, K.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.