Search results for "WAM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Knut Hinkelmann	Forward Logic Evaluation: Compiling a Partially Evaluated Meta-Interpreter into the WAM.	GWAI	1992	DBLP DOI BibTeX RDF
23	William J. Older, John A. Rummell	An Incremental Garbage Collector for WAM-Based Prolog.	JICSLP	1992	DBLP BibTeX RDF
23	Péter Kacsuk	3DPAM = WAM + DATAFLOW.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
23	Christoph Beierle, Egon Börger	Correctness Proof for the WAM	IWBS Report	1991	RDF
23	Christoph Beierle, Egon Börger	A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof	IWBS Report	1991	RDF
23	Evan Tick	Memory- and Buffer-Referencing Characteristics of a WAM-Based Prolog.	J. Log. Program.	1991	DBLP DOI BibTeX RDF
23	André Mariën, Bart Demoen	A New Scheme for Unification in WAM.	ISLP	1991	DBLP BibTeX RDF
23	S. Ivanets, N. Ilinsky, M. Krylov	WAM Specification for Parallel Execution on SIMD Computer.	RCLP	1991	DBLP DOI BibTeX RDF	parallel unification, Warren Abstract Machine, compiler, Prolog, hypercube, SIMD-computer
23	Doug Palmer, Lee Naish	NUA-Prolog: An Extension to the WAM for Parallel Andorra.	ICLP	1991	DBLP BibTeX RDF
23	Ludek Matyska, Adriana Jergová, David Toman 0001	Register Allocation in WAM.	ICLP	1991	DBLP BibTeX RDF
23	Philippe Codognet, Thierry Sola	Extending the WAM for Intelligent Backtracking.	ICLP	1991	DBLP BibTeX RDF
23	Yaoqing Gao, Dingxing Wang, Meiming Shen, Weiming Zheng, Xiaolin Qiu	Development of the parallel inference machine RAP/LOP-WAM and its optimized parallel compiler.	COMPSAC	1991	DBLP DOI BibTeX RDF
23	Chenxi Zhang, Yungui Ci, Bo Liu	Implementation of prolog databases and database operation builtins in the WAM-Plus model.	Future Gener. Comput. Syst.	1990	DBLP DOI BibTeX RDF
23	Zerksis D. Umrigar	Finding Advantageous Orders for Argument Unification for the Prolog WAM.	NACLP	1990	DBLP BibTeX RDF
23	Jiwei Wang, Andy Marsh, Simon H. Lavington	Non-WAM Models of Logic Programming and Their Support by Novel Parallel Hardware.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP DOI BibTeX RDF
23	Hu Ziang, Xiang Rong Ci	An improved register allocation algorithm for the WAM model.	TAI	1990	DBLP DOI BibTeX RDF
23	Egon Börger, Dean Rosenzweig	From Prolog Algebras Towards WAM - A Mathematical Study of Implementation.	CSL	1990	DBLP DOI BibTeX RDF
23	Igor Durdanovic	A Fast Garbage Collection Algorithm for WAM-Based Prolog.	CSL	1990	DBLP DOI BibTeX RDF
23	André Mariën, Bart Demoen	On the Management of Choicepoint and Environment Frames in the WAM.	NACLP	1989	DBLP BibTeX RDF
23	Gopalan Nadathur, Bharat Jayaraman	Towards a WAM Model for Lambda-Prolog.	NACLP	1989	DBLP BibTeX RDF
23	Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin	Garbage Collection for Prolog Based on WAM.	Commun. ACM	1988	DBLP DOI BibTeX RDF
23	Chenxi Zhang, Yungui Tzu	Study of mechanisms that support the implementation of nonlogical components of prolog in WAM-based systems.	Future Gener. Comput. Syst.	1988	DBLP DOI BibTeX RDF
23	Gerda Janssens, Bart Demoen, André Mariën	Improving the Register Allocation of WAM by Recording Unification.	ICLP/SLP	1988	DBLP BibTeX RDF
23	Mats Carlsson	Freeze, Indexing, and Other Implementation Issues in the WAM.	ICLP	1987	DBLP BibTeX RDF
23	Andrew K. Turk	Compiler Optimizations for the WAM.	ICLP	1986	DBLP DOI BibTeX RDF
15	Dmitry Berenson, Siddhartha S. Srinivasa, Dave Ferguson 0001, Alvaro Collet, James J. Kuffner	Manipulation planning with Workspace Goal Regions.	ICRA	2009	DBLP DOI BibTeX RDF
15	Jivko Sinapov, Mark Wiemer, Alexander Stoytchev	Interactive learning of the acoustic properties of household objects.	ICRA	2009	DBLP DOI BibTeX RDF
15	Dmitry Berenson, Siddhartha S. Srinivasa, Dave Ferguson 0001, James J. Kuffner	Manipulation planning on constraint manifolds.	ICRA	2009	DBLP DOI BibTeX RDF
15	Jens Kober, Jan Peters 0001	Learning motor primitives for robotics.	ICRA	2009	DBLP DOI BibTeX RDF
15	Dmitry Berenson, Siddhartha S. Srinivasa, James J. Kuffner	Addressing pose uncertainty in manipulation planning using Task Space Regions.	IROS	2009	DBLP DOI BibTeX RDF
15	Atte Joutsen, Vesa Nieminen, Timo Vuorensola, Lare Lekman	Wreck A Movie: empowering the masses for film productions.	MindTrek	2008	DBLP DOI BibTeX RDF	film productions, internet, collaboration, community
15	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Comparing tag scheme variations using an abstract machine generator.	PPDP	2008	DBLP DOI BibTeX RDF	Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog
15	John Fisher, Marc Bezem	Skolem Machines and Geometric Logic.	ICTAC	2007	DBLP DOI BibTeX RDF
15	Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes	Demand-Driven Indexing of Prolog Clauses.	ICLP	2007	DBLP DOI BibTeX RDF
15	Zoltan Somogyi, Konstantinos Sagonas	Tabling in Mercury: Design and Implementation.	PADL	2006	DBLP DOI BibTeX RDF
15	Johannes Meinecke, Martin Gaedke, Frederic Majer, Alexander Brändle	Capturing the essentials of federated systems.	WWW	2006	DBLP DOI BibTeX RDF	security, web services, modeling, architecture, federation
15	Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue	Prolog Cafe : A Prolog to Java Translator System.	INAP	2005	DBLP DOI BibTeX RDF
15	Masoud Shahamiri, Martin Jägersand	Singularity Avoidance in Uncalibrated Visual Servoing.	CRV	2005	DBLP DOI BibTeX RDF
15	Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey	Herbrand Constraints in HAL.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
15	Peter Clote	Performance Comparison of Generalized PSSM in Signal Peptide Cleavage Site.	BIBE	2003	DBLP DOI BibTeX RDF
15	Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen	Segment Order Preserving and Generational Garbage Collection for Prolog.	PADL	2002	DBLP DOI BibTeX RDF
15	Luís Fernando Castro, Terrance Swift, David Scott Warren	Suspending and Resuming Computations in Engines for SLG Evaluation.	PADL	2002	DBLP DOI BibTeX RDF
15	Kelvin Yeow, R. Nigel Horspool, Michael R. Levy	Expeditious XML Processing.	IDEAL	2002	DBLP DOI BibTeX RDF
15	Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura	Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.	ICLP	2001	DBLP DOI BibTeX RDF
15	Bart Demoen, Konstantinos Sagonas	Heap Garbage Collection in XSB: Practice and Experience.	PADL	2000	DBLP DOI BibTeX RDF
15	Grigorios Grivas, Alexios Palinginis	Compiling Residuation for a Multiparadigm Symbolic Programming Language.	DISCO	1996	DBLP DOI BibTeX RDF
15	Vijayalakshmi Atluri, Wei-kuang Huang	An Authorization Model for Workflows.	ESORICS	1996	DBLP DOI BibTeX RDF	Security, Petri nets, Workflow, Authorization
15	Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren	Exploiting Parallelism in Tabled Evaluations	PLILP	1995	DBLP DOI BibTeX RDF
15	Andrei Voronkov	An Implementation Technique for a Class of Bottom-Up Procedures.	PLILP	1994	DBLP DOI BibTeX RDF
15	Philippe Codognet, Daniel Diaz 0001	clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving.	PLILP	1994	DBLP DOI BibTeX RDF
15	Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini	Implementations of Program Composition Operations.	PLILP	1994	DBLP DOI BibTeX RDF
15	Lutz H. Hamel, Joseph A. Goguen	Towards a Provably Correct Compiler for OBJ3.	PLILP	1994	DBLP DOI BibTeX RDF	compilers, algebraic specification, abstract machines, rewrite rules
15	Jichang Tan, I-Peng Lin	Compiling Dataflow Analysis of Logic Programs.	PLDI	1992	DBLP DOI BibTeX RDF	Prolog
15	Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap	An Abstract Machine for CLP(R).	PLDI	1992	DBLP DOI BibTeX RDF	Prolog
15	Manfred Meyer, Hans-Günther Hein, Jörg P. Müller	FIDO: Finite Domain Consistency Techniques in Logic Programming.	RCLP	1991	DBLP DOI BibTeX RDF
15	Fabrizio Baiardi, D. M. Bella	An Architectural Model for OR-Parallelism on Distributed Memory Systems.	PLILP	1991	DBLP DOI BibTeX RDF
15	Harold Boley	Extended Logic-plus-Functional Programming.	ELP	1991	DBLP DOI BibTeX RDF
15	Andreas Krall, Ulrich Neumerkel	The Vienna Abstract Machine.	PLILP	1990	DBLP DOI BibTeX RDF
15	Marie A. Zannis, Deborah Mateik	Centering on the student computer user (the evolution of a peer training program at the University of Maryland).	SIGUCCS	1990	DBLP DOI BibTeX RDF
15	Benjamin Yu	Parallelism via Speculation in Pure Prolog.	ICCI	1990	DBLP DOI BibTeX RDF
15	Balkrishna Ramkumar, Laxmikant V. Kalé	An Abstract Machine for the Reduce-OR Process Model for Parallel Prolog.	KBCS	1989	DBLP DOI BibTeX RDF