Výsledky vyhľadávania - "concurrent logic programming languages"

A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic Autor Glazerman, Marion

“… the concurrent logic programming languages is developed. The approach is from an order theoretic viewpoint…”
Získať plný text

Compiling concurrent logic programming languages Autor Kliger, Shmuel

Získať plný text

The deevolution of concurrent logic programming languages Autor Tick, E.

“…This article surveys the field of implementation of concurrent logic programming languages…”
Získať plný text

A lingua franca for concurrent logic programming Autor Taylor, H.

“…Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog…”
Získať plný text

Design of security system based on immune system Autor Nishiyama, H., Mizoguchi, F.

“… This system defines an immune cell as one agent based on our multiagent language, which is an extension of concurrent logic programming languages…”
Získať plný text

Using flat concurrent Prolog in system modeling Autor Dotan, Y., Arazi, B.

“…The flat concurrent Prolog (FCP) language, which enables the implementation of synchronization through data flow, communication through shared variables,…”
Získať plný text

Design of network security system base on vaccination Autor YaPing Jiang, JunLin Chang

“… This system defines an immune cell as one agent based on our multi-agent language, which is an extension of concurrent logic programming languages…”
Získať plný text

Programming in concurrent logic languages Autor Huntbach, M.M., Ringwood, G.A.

“…The authors survey concurrent logic languages, which expand Prolog by dropping its built-in sequential search order. These languages make parallelism easy by…”
Získať plný text

Security Operation Center Based on Immune System Autor Yi Niu, Quanju Zhang, QiLun Zheng, Hong Peng

“… This system implements each immune cell as an agent based on our multi-agent language, which his an extension of concurrent logic programming languages…”
Získať plný text

The Diadora principle: efficient execution of concurrent logic and related languages Autor Massey, Tick

“… (data dependencies that circularly link tasks). Incorrect assignment of a cycle into a single thread can result in deadlock, but perfectly safe data dependency analysis is especially difficult for concurrent logic programming languages (CLPs…”
Získať plný text

A logic-based concurrent object-oriented programming language Autor Melendez, R.R

“… It improves on traditional concurrent logic programming languages (e.g. Parlog) by explicitly specifying aspects of the behaviour of concurrent programs…”
Získať plný text

TGHC: timed guarded Horn clauses Autor Saito, K.

“… (timed guarded Horn clauses). TGHC is a descendant of concurrent logic programming languages and it is capable of explicitly expressing time constraints by introducing the timed guard to GHC…”
Získať plný text

Taskell: A concurrent constraint programming language Autor Pellerin, Clement

“… The constraint system of Taskell is the set of finite trees with equality. The choice of constraint system makes Taskell similar to concurrent logic programming languages…”
Získať plný text

A logic semantics for a class of nondeterministic concurrent constraint logic programs Autor Ho-Fung Leung, Bo-Ming Tong

“…M.J. Maher (1987) proposed the ALPS class of committed-choice languages, which can be seen as a further development of concurrent logic programming languages in the direction of CLP(X…”
Získať plný text

Modular Algorithm for Sparse Multivariate Polynomial Interpolationand its Parallel Implementation Autor MURAO, HIROKAZU, FUJISE, TETSURO

“…A new algorithm for sparse multivariate polynomial interpolation is presented. It is a multi-modular extension of the Ben-Or and Tiwari algorithm, and is…”
Získať plný text

Constraint Satisfaction in Distributed Concurrent Logic Programming Autor LEUNG, HO-FUNG, CLARK, KEITH L.

“… To support constraint solving in a committed-choice concurrent logic programming language, the constraint solver also needs to determine the status of the ‘ask…”
Získať plný text

Specifying and verifying multiagent systems using the cognitive agents specification language (CASL) Autor Shapiro, Steven

“… We use the notation of the concurrent, logic programming language ConGolog [17] to specify the behaviour of agents…”
Získať plný text

Experience with the Super Monaco optimizing compiler Autor Tick, Evan, Massey, Bart C., Larson, James S.

“…“Super Monaco” is a shared-memory multiprocessor implementation of a flat concurrent logic programming language…”
Získať plný text

Speculative parallelism of intelligent interactive systems Autor Tatemura, J.

“… In this paper, the overview of this programming technique is described. We utilize a concurrent logic programming language KL1 to express speculative parallelism of an interactive program…”
Získať plný text

"3D-PP": three-dimensional visual programming system Autor Oshiba, T., Tanaka, J.

“…We are interested in three-dimensional visual programming environments in particular. The conventional visual programming systems mainly focuses on…”
Získať plný text