Search results

Paper Hierarchical query execution in a parallel object-oriented database system 1997-02-27 Paper A parallel Prolog resolution based on multiple unifications...

Publication Type Concepts, design, and performance analysis of a parallel prolog machine 1993-01-23 Paper The occur-check problem revisited 1988-01-01 Paper...

1-tape 2-symbol reversible Turing machines based on reversible logic elements 2012-11-27 Paper Sequential and maximally parallel multiset rewriting: reversibility...

to assertion-based random testing in Prolog 2022-08-25 Paper A general framework for static cost analysis of parallel logic programs 2022-08-25 Paper Testing...

on switch-based multiprocessor machines 1993-04-01 Paper OR-parallel execution of Prolog on a multi-sequential machine 1986-01-01 Paper Global garbage...

2011-05-19 Paper Combining answer set programming and Prolog: The \(\mathbb{ASP}\)-\(\mathbb{PROLOG}\) system 2011-05-19 Paper An investigation of multi-agent...

to assertion-based random testing in Prolog 2022-08-25 Paper A general framework for static cost analysis of parallel logic programs 2022-08-25 Paper Testing...

general-linear-complex special configuration of parallel manipulators. 1999-09-15 Paper Design and analysis of a hybrid serial-parallel manipulator. 1999-09-15 Paper A...

DTCNN universal machine based on highly parallel 2-D cellular automata CAM/sup 2/ 1999-05-18 Paper A highly OR-parallel inference machine (Multi-ASCA) and...

2003-09-01 Paper Simulation of one-dimensional cellular automata by uniquely parallel parsable grammars. 2003-08-17 Paper Number-conserving reversible cellular...

scheduling of jobs with order arrival time and hard deadline on two parallel identical machines 2011-02-05 Paper Near-capacity variable-length coding. Regular...

new software tool for digital imagery based on P systems 2012-11-15 Paper Parallel skeletonizing of digital images by using cellular automata 2012-07-23 Paper...

SIMULATING A CLASS OF PARALLEL ARCHITECTURES 2006-04-06 Paper A fast \(P\) system for finding a balanced 2-partition 2005-12-13 Paper Machines, Computations,...

Paper https://portal.mardi4nfdi.de/entity/Q4415044 2003-07-28 Paper A parallel Prolog resolution based on multiple unifications 1993-01-19 Paper...

de/entity/Q3212265 1989-01-01 Paper OR-parallel PROLOG in flat concurrent PROLOG 1989-01-01 Paper Specialisation of Prolog and FCP programs using abstract interpretation...

2024-01-08 Paper GENERATION AND PARSING OF MORPHISM LANGUAGES BY UNIQUELY PARALLEL PARSABLE GRAMMARS 2022-12-06 Paper Effect of random fluctuations on minimizing...

Publication Date of Publication Type A highly OR-parallel inference machine (Multi-ASCA) and its performance evaluation: an architecture and...

Publication Date of Publication Type An abstract machine to implement or-and parallel PROLOG efficiently 1990-01-01 Paper https://portal.mardi4nfdi...

mardi4nfdi.de/entity/Q3153072 2002-11-04 Paper An abstract machine to implement or-and parallel PROLOG efficiently 1990-01-01 Paper https://portal.mardi4nfdi...

increase mechanisms for parallel and distributed file systems 1998-07-22 Paper Cuts and side-effects in distributed memory OR-parallel Prolog 1998-07-22 Paper...