Herd-Immunity
发表于 2025-3-23 10:56:43
http://reply.papertrans.cn/83/8202/820138/820138_11.png
不能妥协
发表于 2025-3-23 17:26:01
OR-Parallel Optimizing Prolog System: Pops its design and implementation in Concurrent Prolog,. POPS has the following features: 1) Programs are executed in OR-Parallel. 2) The same subcomputations are shared. 3) Left recursive rules can be handled without entering an infinite loop. At present, POPS is implemented in Concurrent Prolog supporting AND-Parallel execution and process synchroniza
animated
发表于 2025-3-23 19:30:30
,Incorporating Naïve Negation into Prolog,negative information. We present query response forms for PPN and their semantics and propose an execution algorithm. Furthermore, we discuss semantics and an execution algorithm for PPN as viewed from the standpoint of intuitionistic logic. Then, we present a knowledge assimilation system and show
Confound
发表于 2025-3-23 23:17:34
,Multiversion concurrency control scheme for a distributed database system — A trial to break concurtwo copies allocated in different sites in the system. Unlike the usual distributed database systems with redundant copies, these two copies are not concurrently updated, but only one is updated for a write request. For each data object, the copy with a newly updated value is called the new version
字谜游戏
发表于 2025-3-24 06:19:09
On program transformation with tupling technique,guage and formalize a problem to find a . for transformation of a recursive program written in the language. We discuss the transformation scheme with the tuple given as the solution to the problem and show that the execution efficiency will be improved by the new scheme. Under a certain constraint,
Nerve-Block
发表于 2025-3-24 08:11:11
Evaluation of working set algorithms for data-flow machines,low programs which include branches, loops, and procedure calls. The algorithms for computing the D-, E-, and L-levels are revised and the performance for static data-flow programs is reevaluated. Algorithms to manage branches, loops, and function calls are developed. The effectiveness of these algo
言行自由
发表于 2025-3-24 13:11:04
Comparison of closure reduction and combinatory reduction schemes,f a λ-term into combinatory terms, i.e. bracket abstraction, can be viewed as attaching labels S, B, C, K, I to each node. Similarly, a node of a tree representing a λ-term can be labelled depending upon the presence of free variables in the subtrees. Resulting labelled trees which represent a λ-ter
缩减了
发表于 2025-3-24 14:51:57
http://reply.papertrans.cn/83/8202/820138/820138_18.png
Mingle
发表于 2025-3-24 20:19:17
http://reply.papertrans.cn/83/8202/820138/820138_19.png
跳脱衣舞的人
发表于 2025-3-25 01:09:17
Partial computation with a dataflow machine,ass of partial computation. This paper also clarifies a dataflow graph generation method for the DCSB model by describing the main differences in code generation between the DCSB model and the CT model..The proposed dataflow models are promising for applicative programing language machine architectures.