A parallel execution model for prolog based on dataflow concept

A parallel execution model for prolog based on dataflow concept

碩士 === 國立成功大學 === 工程科學研究所 === 80 ===

Bibliographic Details
Main Authors:	WANG, NENG-WEN, 王能文
Other Authors:	CHEN, QI-NAN
Format:	Others
Language:	zh-TW
Published:	1992
Online Access:	http://ndltd.ncl.edu.tw/handle/16349123832884778782

Similar Items

A dataflow based model for PROLOG parallel execution
by: LAN,RONG-QING, et al.
Published: (1991)

The design of a parallel execution processor for Prolog
by: WANG, ZONG-YI, et al.
Published: (1986)

The design and implementation of prolog parallel execution on transputers
by: ZENG, ZHENG-GUO, et al.
Published: (1992)

Study and design of a new AND-parallel execution model for prolog
by: XU, YONG-MING, et al.
Published: (1988)

Study and design of a new AND-parallel execution model for prolog
by: Xu, Yong-Ming, et al.

Design of an efficient "OR"-parallel execution model with intelligent backtracking for Prolog
by: JIANG, ZHENG-GIN, et al.
Published: (1988)

Prolog OR Parallel Execution Model on Multi-Threaded Superscalar Processor
by: Chuan-cheng Hsu, et al.
Published: (1995)

Parallel Executive of Recursive Loops and List Structure in Prolog
by: Feng, Chen-Yu, et al.
Published: (1990)

A Study of Prolog AND Parallel Execution Model on Multi- Threaded Superscalar System
by: Chung-cheng Feng, et al.
Published: (1995)

A distributed prolog execution model
by: JIAN, HONG-WEI, et al.
Published: (1992)

An Incremental Approach to Detecting Dataflow Anomaly
by: Chang, Wei-Neng, et al.
Published: (2018)

Studies of and/or parallelism in Prolog
by: Shen, Kish
Published: (1992)

Exploiting and/or Parallelism in Prolog
by: Shah, Bankim
Published: (1991)

Multi-iteration Dataflow Execution for Loops
by: Jie-Shiou Liu, et al.
Published: (2001)

Scheduling in Or-parallel PROLOG systems
by: Beaumont, Anthony Joseph
Published: (1995)

Integrating stream parallelism and task parallelism in a dataflow programming model
Published: (2013)

A distributed and-or parallel Prolog network
by: Wrench, Karen Lee
Published: (1990)

Specification and control of execution of nondeterministic dataflow programs
by: Barahona, P. M. C. C.
Published: (1987)

An order-aware dataflow model for parallel Unix pipelines
by: Handa, Shivam, et al.
Published: (2022)

BUILDING, VISUALIZING AND EXECUTING DEEP LEARNING MODELS AS DATAFLOW GRAPHS
by: Gábor KRUPPAI, et al.
Published: (2020-08-01)

Parallel structure storage in a dataflow machine
by: Kawakami, K.
Published: (1988)

Dataflow development of medium-grained parallel software
by: Harley, Jonathan William
Published: (1993)

Dataflow parallelism for large scale data mining
by: Daruru, Srivatsava
Published: (2010)

Managing parallelism and resources in scientific dataflow programs
by: Culler, David E
Published: (2005)

Compiling For Coarse-Grained Reconfigurable Architectures Based On Dataflow Execution Paradigm
by: Alle, Mythri
Published: (2015)

And-parallel implementation of Prolog on distributed memory machines
by: Verden, Andrew Roy
Published: (1991)

The Pulled-Macro-Dataflow Model: An Execution Model for Multicore Shared-Memory Computers
by: Richins, Daniel Joseph
Published: (2011)

Tail Recursion Transformation in Functional Dataflow Parallel Programs
by: A. I. Legalov, et al.
Published: (2015-02-01)

Formal Verification of Programs in Functional Dataflow Parallel Language
by: M. S. Kropacheva, et al.
Published: (2015-03-01)

Tail Recursion Transformation in Functional Dataflow Parallel Programs
by: A. I. Legalov, et al.
Published: (2012-01-01)

Formal Verification of Programs in Functional Dataflow Parallel Language
by: M. S. Kropacheva, et al.
Published: (2012-01-01)

Exploiting OR-parallelism in Prolog using multiple sequential machines
by: Klein, Carole Susan
Published: (1989)

Tracing and Explaining the Execution of CLP(FD) Programs in SICStus Prolog
by: Ågren, Magnus
Published: (2002)

Introducing a Dataflow visual programming language for understanding program execution
by: Marin Aglić Čuvić
Published: (2018-11-01)

Atomic dataflow model
by: Gajinov, Vladimir
Published: (2014)

Support tools for creation and transformation of functional-dataflow parallel programs
by: A. I. Legalov, et al.
Published: (2018-10-01)

High-Level Constructors for Solution Searching in Or-Parallel Prolog Systems
by: João André Martins da Silva
Published: (2019)

Environnement de programmation parallèle: application au langage Prolog
by: Morel, Eric
Published: (1996)

A Coarse Grained Reconfigurable Architecture Framework Supporting Macro-Dataflow Execution
by: Varadarajan, Keshavan
Published: (2014)

A study on parallel processing of Prolog on a multi-LISCP system
by: Zhong, Jin-Jun, et al.
Published: (1987)