Search results for "OR-Parallelism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Paulo Moura, Ricardo Rocha, Sara C. Madeira	High Level Thread-Based Competitive Or-Parallelism in Logtalk.	PADL	2009	DBLP DOI BibTeX RDF	speculative threading, implementation, Or-parallelism
3	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa	On a Tabling Engine That Can Exploit Or-Parallelism.	ICLP	2001	DBLP DOI BibTeX RDF	Tabling, Or-Parallelism, Parallel Logic Programming
3	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa	Or-Parallelism within Tabling.	PADL	1999	DBLP DOI BibTeX RDF	Tabling, Or-Parallelism, Parallel Logic Programming
3	Enrico Pontelli, Gopal Gupta	On the Duality Between Or-parallelism and And-parallelism in Logic Programming.	Euro-Par	1995	DBLP DOI BibTeX RDF	Optimizations, Prolog, Or-parallelism, And-parallelism
2	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	A Tabling Implementation Based on Variables with Multiple Bindings.	ICLP	2009	DBLP DOI BibTeX RDF	Performance, Logic Programming, Implementation, Tabling, OR-Parallelism
2	Paulo Moura, Ricardo Rocha, Sara C. Madeira	Thread-Based Competitive Or-Parallelism.	ICLP	2008	DBLP DOI BibTeX RDF
2	Ricardo Rocha, Fernando M. A. Silva, Rolando Martins	YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters.	EPIA	2003	DBLP DOI BibTeX RDF	Stack Splitting, Or-Parallelism, Parallel Logic Programming
2	Luís Fernando Castro, Vítor Santos Costa, Cláudio F. R. Geyer, Fernando M. A. Silva, Patrícia Kayser Vargas, Manuel Eduardo Correia	DAOS - Scalable And-Or Parallelism.	Euro-Par	1999	DBLP DOI BibTeX RDF	And/Or Model, Scheduling, Distributed Shared Memory, Parallel Logic Programming
2	Gopal Gupta, Enrico Pontelli	Efficient Techniques for Distributed Implementation of Search-Based AI Systems. (PDF / PS)	ICPP	1999	DBLP DOI BibTeX RDF	Distributed Implementation, Or-parallelism, Parallel Search
2	Zhiyi Huang, Chengzheng Sun, Abdul Sattar	Selective Recomputation for Handling Side-Effects in Parallel Logic Programs.	PLILP	1997	DBLP DOI BibTeX RDF	OR-forest, Parallel Processing, Logic Programming, Side-effect, OR-parallelism, AND-parallelism
2	Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo	&ACE: a high-performance parallel Prolog system. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	parallel Prolog system, parallel symbolic computing, Independent And-parallelism, logic programming, PROLOG, shared memory multiprocessor, shared memory systems, symbol manipulation, Or-parallelism, ACE
2	Gopal Gupta, Vítor Santos Costa	And-Or Parallelism in Full Prolog with Paged Binding Arrays.	PARLE	1992	DBLP DOI BibTeX RDF
2	Albert C. Chen, Chuan-lin Wu	A Parallel Execution Model of Logic Programs.	IEEE Trans. Parallel Distrib. Syst.	1991	DBLP DOI BibTeX RDF	parallel execution model, nondeterministic logic program, frame inheritance, dynamic construction, computational complexity, computational complexity, logic programs, logic programming, modularity, communication channels, OR parallelism, AND parallelism, data-dependency graphs
2	D. Sarma, C. P. Wu	Pipelined OR-Parallelism Architecture for Parallel Execution of Prolog.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
2	Mounira Belmesk	An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract).	ISSAC	1990	DBLP DOI BibTeX RDF
2	Yaoqing Gao, Chengzheng Sun, Shouren Hu	Study of a Parallel Inference Machine for Parallel Execution of Logic Programs.	CONPAR	1990	DBLP DOI BibTeX RDF	OR-Forest Description, Restricted AND Parallelism, Limited OR Parallelism, RAP/LOP-WAM, Logic Programming, WAM
1	Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha	Threads and Or-Parallelism Unified	CoRR	2010	DBLP BibTeX RDF
1	Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha	Threads and or-parallelism unified.	TPLP	2010	DBLP DOI BibTeX RDF
1	Paulo Moura, Paul Crocker, Paulo Nunes	High-Level Multi-threading Programming in Logtalk.	PADL	2008	DBLP DOI BibTeX RDF	concurrency, logic-programming, threads
1	Hans Ludwig de Vries	On orthogonal resolutions of the classical Steiner quadruple system SQS(16).	Des. Codes Cryptography	2008	DBLP DOI BibTeX RDF	05B07, 51E10, AMS Classifications 05B05
1	Edmund S. L. Lam, Martin Sulzmann	A concurrent constraint handling rules implementation in Haskell with software transactional memory.	DAMP	2007	DBLP DOI BibTeX RDF	parallel implementation of concurrent language
1	Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta	PALS: Efficient Or-Parallelism on Beowulf Clusters	CoRR	2006	DBLP BibTeX RDF
1	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa	On Applying Or-Parallelism and Tabling to Logic Programs.	TPLP	2005	DBLP DOI BibTeX RDF
1	Keshab K. Parhi	Design of multigigabit multiplexer-loop-based decision feedback equalizers.	IEEE Trans. VLSI Syst.	2005	DBLP DOI BibTeX RDF
1	Michel Ferreira	The MYDDAS Project: Using a Deductive Database for Traffic Characterization.	ICLP	2005	DBLP DOI BibTeX RDF
1	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa	On Applying Or-Parallelism and Tabling to Logic Programs	CoRR	2003	DBLP BibTeX RDF
1	Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai	A Model Generation Based Theorem Prover MGTP for First-Order Logic.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
1	Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo	Parallel execution of prolog programs: a survey.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	parallelism, logic programming, prolog, constraint programming, Automatic parallelization
1	Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta	PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.	ICLP	2001	DBLP DOI BibTeX RDF
1	Vítor Santos Costa, Ricardo Rocha, Fernando M. A. Silva	Novel Models for Or-Parallel Logic Programs: A Performance Analysis.	Euro-Par	2000	DBLP DOI BibTeX RDF
1	Desh Ranjan, Enrico Pontelli, Gopal Gupta	On the Complexity of Or-Parallelism.	New Generation Comput.	1999	DBLP DOI BibTeX RDF
1	Vítor Santos Costa	COWL: Copy-On-Write for Logic Programs. (PDF / PS)	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
1	Ioannis P. Vlahavas	Exploiting and-or parallelism in Prolog: The OASys computational model and abstract architecture.	Journal of Systems and Software	1998	DBLP DOI BibTeX RDF
1	Enrico Pontelli, Desh Ranjan, Gopal Gupta	On the Complexity of Parallel Implementation of Logic Programs.	FSTTCS	1997	DBLP DOI BibTeX RDF
1	Donald A. Smith	Multilog and Data or-Parallelism.	J. Log. Program.	1996	DBLP DOI BibTeX RDF
1	Peter F. Corbett, Dror G. Feitelson	The Vesta Parallel File System.	ACM Trans. Comput. Syst.	1996	DBLP DOI BibTeX RDF	parallel computing, data partitioning, parallel file system
1	Werner Hans, Stephan Winkler, Fernando Sáenz	Exploiting Expression- and Or-Parallelism for a Functional Logic Language.	GULP-PRODE	1995	DBLP BibTeX RDF
1	Kang Zhang	A Review of Exploitation of And-Parallelism and Combined And/Or-Parallelism in Logic Programs.	SIGPLAN Notices	1994	DBLP DOI BibTeX RDF
1	Donald A. Smith	Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism.	ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs	1994	DBLP BibTeX RDF
1	Donald A. Smith, Timothy J. Hickey	Multi-SLD Resolution.	LPAR	1994	DBLP DOI BibTeX RDF
1	Donald A. Smith	Why Multi-SLD Beats SLD (Even on a Uniprocessor).	PLILP	1994	DBLP DOI BibTeX RDF
1	Gopal Gupta, Bharat Jayaraman	And-Or Parallelism on Shared-Memory Multiprocessors.	J. Log. Program.	1993	DBLP DOI BibTeX RDF
1	Eric Villemonte de la Clergerie	Layer Sharing: An Improved Structure-Sharing Framework.	POPL	1993	DBLP DOI BibTeX RDF	Prolog
1	Gopal Gupta, Bharat Jayaraman	Analysis of Or-Parallel Execution Models.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	Or-parallel execution models
1	Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli	Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture.	ELP	1993	DBLP DOI BibTeX RDF
1	André Véron, Kees Schuerman, Mike Reeve, Liang-Liang Li	Why and How in the ElipSys OR-parallel CLP System.	PARLE	1993	DBLP DOI BibTeX RDF
1	Péter Szeredi	Exploiting Or-Parallelism in Optimisation Problems.	JICSLP	1992	DBLP BibTeX RDF
1	Wolfgang Ertel	OR-Parallel Theorem Proving with Random Competition.	LPAR	1992	DBLP DOI BibTeX RDF	random competition, SETHEO, theorem proving, speedup, OR-parallelism, random search, model elimination
1	Antonius Klingler, Volker Penner	Parallelizing Recursive Logic Programs through Decomposition.	PARLE	1992	DBLP DOI BibTeX RDF
1	Michel Dorochevsky, André Véron	Binding Techniques and Garbage Collection for OR-Parallel CLP Systems.	PLILP	1992	DBLP DOI BibTeX RDF
1	Egon Börger, Elvinia Riccobene	Logical Operational Semantics of Parlog. Part II: Or-Parallelism.	RCLP	1991	DBLP DOI BibTeX RDF
1	Wolfgang Ertel	Performance of Competitive OR-Parallelism.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
1	Khayri A. M. Ali, Roland Karlsson	Scheduling Or-Parallelism in Muse.	ICLP	1991	DBLP BibTeX RDF
1	Yaoqing Gao, Dingxing Wang, Qiu Xiaolin, Weimin Zheng, Meiming Shen, Shouren Hu	Intelligent Scheduling AND- and OR-Parallelism in the Parallel Logic Programming System RAP/LOP-PIM.	ICPP	1991	DBLP BibTeX RDF
1	Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo	IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism.	ISLP	1991	DBLP BibTeX RDF
1	Fabrizio Baiardi, D. M. Bella	An Architectural Model for OR-Parallelism on Distributed Memory Systems.	PLILP	1991	DBLP DOI BibTeX RDF
1	Vítor Santos Costa, David H. D. Warren, Rong Yang	Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism.	PPOPP	1991	DBLP DOI BibTeX RDF	Prolog
1	Wai-Keong Foong	Or-Parallel Prolog with Heuristic Task Distribution.	RCLP	1991	DBLP DOI BibTeX RDF
1	Jacques Briat, M. Favre, Cláudio F. R. Geyer, Jacques Chassin de Kergommeaux	Schheduling of OR-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor.	PARLE	1991	DBLP DOI BibTeX RDF	OPERA, OR-parallel Prolog, reconfigurable multiprocessor, distributed-memory, WAM, Supernode, scalable multiprocessor
1	Péter Szeredi, Rong Yang, Mats Carlsson	Interfacing Engines and Schedulers in OR-Parallel Prolog Systems.	PARLE	1991	DBLP DOI BibTeX RDF	Or-Parallel Execution, Scheduling, Multiprocessors, Implementation Techniques
1	Khayri A. M. Ali, Roland Karlsson	Full prolog and scheduling or-parallelism in muse.	International Journal of Parallel Programming	1990	DBLP DOI BibTeX RDF
1	Mounira Belmesk	A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs.	AIMSA	1990	DBLP BibTeX RDF
1	L. Campanale, Mario De Blasi, Anna Gentile, F. Greco	Topologies for the parallel backtracking Prolog engine.	MICRO	1990	DBLP DOI BibTeX RDF	Prolog machines, backup or-parallelism, distributed systems, topologies, coprocessors, transputers, Occam, multicomputer networks
1	Barry S. Fagin, Alvin M. Despain	The Performance of Parallel Prolog Programs.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	parallel Prolog programs, intelligent backtracking, super-multiplicative behavior, performance evaluation, performance, parallel programming, PROLOG, OR-parallelism, AND-parallelism
1	Johann Schumann, Reinhold Letz	PARTHEO: A High-Performance Parallel Theorem Prover.	CADE	1990	DBLP DOI BibTeX RDF	Warren Abstract Machine, message passing, Theorem proving, first-order logic, transputers, or-parallelism, model elimination, connection method
1	Paul Tarau, Michel Boyer	Elementary Logic Programs.	PLILP	1990	DBLP DOI BibTeX RDF	logic program transformations, binary programs, fair evaluation, unfolding, metaprograms, OR-parallelism
1	Balkrishna Ramkumar, Laxmikant V. Kalé	A Chare Kernel Implementation of a Parallel Prolog Compiler.	PPOPP	1990	DBLP DOI BibTeX RDF	Prolog
1	Akikazu Takeuchi, Kazuko Takahashi	An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
1	Alan Calderwood, Péter Szeredi	Scheduling Or-parallelism in Aurora: The Manchester Scheduler.	ICLP	1989	DBLP BibTeX RDF
1	Gopal Gupta, Bharat Jayaraman	Combined And-Or Parallelism on Shared Memory Multiprocessors.	NACLP	1989	DBLP BibTeX RDF
1	Wolfgang Ertel, Franz J. Kurfess, Reinhold Letz, X. Pandolfi	PARTHEO: A Parallel Inference Machine.	PARLE	1989	DBLP DOI BibTeX RDF
1	Bernd Schwinn, Gerhard Barth, Christoph Welsch	RAPiD A Data Flow Model for Implementing Parallelism and Intelligent Backtracking in Logic Programs.	PARLE	1989	DBLP DOI BibTeX RDF
1	Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens	Scheduling OR-Parallelism: An Argonne Perspective.	ICLP/SLP	1988	DBLP BibTeX RDF
1	Rene Quiniou, Laurent Trilling	Collective Predicates: Expressing Control of OR-Parallelism in Prolog.	AIMSA	1988	DBLP BibTeX RDF
1	Adolfo Guzmán, Manuel V. Hermenegildo	Constructs and evaluations strategies for intelligent speculative parallelism - armageddon revisited.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
1	Hong Xia, Wolfgang K. Giloi	A hybrid scheme for detecting AND-parallelism in prolog programs.	ICS	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
1	Michael Codish, Ehud Y. Shapiro	Compiling OR-parallelism into AND-parallelism.	New Generation Comput.	1987	DBLP DOI BibTeX RDF
1	Harald Westphal, Philippe Robert, Jacques Chassin de Kergommeaux, Jean-Claude Syre	The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism.	SLP	1987	DBLP BibTeX RDF
1	Kiyoshi Shibayama, Masaaki Yamamoto, Hiroaki Hirata, Yasushi Konoh, Takanori Sanetoh, Hiroshi Hagiwara	KPR: A Logic Programming Language-Oriented Parallel Machine.	LP	1987	DBLP DOI BibTeX RDF	Parallel Inference Machine, High-Level Language Machine, Parallel Processing, Logic Programming Language
1	Wlodzimierz Drabent, Jan Maluszynski	Inductive Assertion Method for Logic Programs.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
1	Michael Codish, Ehud Y. Shapiro	Compiling OR-parallelism into AND-parallelism.	ICLP	1986	DBLP DOI BibTeX RDF
1	Ralph Zimmermann Jr., Jerry Canada Jr.	AND and OR parallelism in dprolog (abstract).	ACM Conference on Computer Science	1986	DBLP DOI BibTeX RDF
1	Rasiah Loganantharaj, Robert A. Mueller	Parallel Theorem Proving with Connection Graphs.	CADE	1986	DBLP DOI BibTeX RDF
1	Hans-Albert Schneider	An Improvement of Deduction Plans: Refutation Plans.	CADE	1986	DBLP DOI BibTeX RDF
1	Matthew K. O. Lee	A Packet Based Demand/Data Driven Reduction Model for the Parallel Execution of Logic Programs.	CONPAR	1986	DBLP DOI BibTeX RDF
1	Christian Codognet, Philippe Codognet, Gilberto Filé	A Very Intelligent Backtracking Method for Logic Programs.	ESOP	1986	DBLP DOI BibTeX RDF
1	Bernd Schwinn, Gerhard Barth	An And-Parallel Execution Model of Logic Programs.	ESOP	1986	DBLP DOI BibTeX RDF
1	Hanpei Koike, Hidehiko Tanaka	Fast Execution Mechanisms of Parallel Inference Engine PIE: PIEpelined Goal Rewriting and Goal Multicasting.	LP	1986	DBLP DOI BibTeX RDF
1	Hideo Matsuda, M. Kohata, T. Masuo, Yukio Kaneda, Sadao Maekawa	Parallel Prolog Machine PARK: Its Hardware Structure and Prolog System.	LP	1985	DBLP DOI BibTeX RDF
1	Gary Lindstrom	Or-Parallelism on Applicative Architectures.	ICLP	1984	DBLP BibTeX RDF
1	Alexis Koster	Compiling prolog programs for parallel execution on a cellular machine.	ACM Conference on Computer Science	1984	DBLP DOI BibTeX RDF	Prolog
1	Andries E. Brouwer	On the uniqueness of a certain thin near octagon (or partial 2-geometry, or parallelism) derived from the binary Golay code.	IEEE Transactions on Information Theory	1983	DBLP DOI BibTeX RDF