Search results for "memoing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
110	Ralph Becket, Zoltan Somogyi	DCGs + Memoing = Packrat Parsing but Is It Worth It?	PADL	2008	DBLP DOI BibTeX RDF	packrat, recursive descent, DCG, memoing, parsing, tabling, Mercury
55	Daniel Citron, Dror G. Feitelson, Larry Rudolph	Accelerating Multi-Media Processing by Implementing Memoing in Multiplication and Division Units.	ASPLOS	1998	DBLP DOI BibTeX RDF
33	Konstantinos Sagonas, Terrance Swift	An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	SLG, memoing, stratification theories, prolog, tabling, WAM
32	Elke Beck, Christiane Moser, Manfred Tscheligi	Memoing and lenses: two approaches for exploring player-generated game ideas in videos.	Advances in Computer Entertainment	2014	DBLP DOI BibTeX RDF
32	Tun-Hao You, Yi-Jui Wu, Cheng-Liang Lin, Yaliang Chuang	Enhancing People's Television Experience by Capturing, Memoing, Sharing, and Mixing.	HCI (20)	2013	DBLP DOI BibTeX RDF
32	Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo	Parallel Backtracking with Answer Memoing for Independent And-Parallelism	CoRR	2011	DBLP BibTeX RDF
32	Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo	Parallel backtracking with answer memoing for independent and-parallelism.	Theory Pract. Log. Program.	2011	DBLP DOI BibTeX RDF
32	Paul Tarau, Koenraad De Bosschere, Bart Demoen	On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs.	J. Log. Program.	1997	DBLP DOI BibTeX RDF
32	Suzanne W. Dietrich, Changguan Fan	On the Completeness of Naive Memoing in Prolog.	New Gener. Comput.	1997	DBLP DOI BibTeX RDF
32	David Toman 0001	Memoing Evaluation for Constraint Extensions of Datalog.	Constraints An Int. J.	1997	DBLP DOI BibTeX RDF
32	Jens E. Wunderwald	A Portable Implementation of Memoing Evaluation	PLILP	1995	DBLP DOI BibTeX RDF
32	Jens E. Wunderwald	Memoing Evaluation by Source-to-Source Transformation.	LOPSTR	1995	DBLP DOI BibTeX RDF
32	Paul Tarau, Koenraad De Bosschere	Memoing with Abstract Answers and Delphi Lemmas.	LOPSTR	1993	DBLP BibTeX RDF
32	David Scott Warren	Memoing for Logic Programs.	Commun. ACM	1992	DBLP DOI BibTeX RDF
32	Alberto Pettorossi	Methodologies for transformations and memoing in applicative languages.		1984	RDF
23	Kaushal R. Gandhi, Nihar R. Mahapatra	A Study of Hardware Techniques That Dynamically Exploit Frequent Operands to Reduce Power Consumption in Integer Function Units.	ICCD	2003	DBLP DOI BibTeX RDF
23	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	Achieving Scalability in Parallel Tabled Logic Programs.	IPDPS	2002	DBLP DOI BibTeX RDF	Tabling, Parallel Logic Programming
23	Kenneth A. Ross, Divesh Srivastava, S. Sudarshan 0001	Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
23	Weidong Chen	Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	alternating fixpoint, deductive databases, query evaluations, negation, predicate logic, SLG resolution
23	Kenneth A. Ross	Modular Stratification and Magic Sets for Datalog Programs with Negation.	J. ACM	1994	DBLP DOI BibTeX RDF	modular stratification, rule rewriting, well-sounded semantics, Datalog, deductive databases, stratification, magic sets
23	Konstantinos Sagonas, Terrance Swift, David Scott Warren	XSB as an Efficient Deductive Database Engine.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF	Prolog
23	Knut Hinkelmann, Helge Hintze	Computing Cost Estimates for Proof Strategies.	ELP	1993	DBLP DOI BibTeX RDF
23	Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy	Abstract Machine for LDL.	EDBT	1990	DBLP DOI BibTeX RDF