Search results for "memoization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Gopal Gupta 0001	Software Engineering Track Chair's Message.	ICDCIT	2005	DBLP DOI BibTeX RDF
15	Joseph J. Sharkey, Kanad Ghose, Dmitry V. Ponomarev, Oguz Ergin	Power-Efficient Wakeup Tag Broadcast.	ICCD	2005	DBLP DOI BibTeX RDF
15	Javier Álvez, Paqui Lucio	An Algorithm for Local Variable Elimination in Normal Logic Programs.	LOPSTR	2005	DBLP DOI BibTeX RDF
15	Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi	Algorithms and Complexity Results for #SAT and Bayesian Inference.	FOCS	2003	DBLP DOI BibTeX RDF
15	John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet	SBSAT: a State-Based, BDD-Based Satisfiability Solver.	SAT	2003	DBLP DOI BibTeX RDF
15	Youtao Zhang, Jun Yang 0002	Low cost instruction cache designs for tag comparison elimination.	ISLPED	2003	DBLP DOI BibTeX RDF	low-power instruction cache, tag comparison elimination
15	Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi	An efficient profile-analysis framework for data-layout optimizations.	POPL	2002	DBLP DOI BibTeX RDF
15	Brigitte Pientka	A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming.	ICLP	2002	DBLP DOI BibTeX RDF
15	Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang	Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment.	JELIA	2002	DBLP DOI BibTeX RDF	multi agent systems, planning
15	Thom W. Frühwirth, Slim Abdennadher	Tutorial: Reasoning with, about and for Constraint Handling Rules.	FroCoS	2002	DBLP DOI BibTeX RDF
15	Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang	Planning in a multi-agent environment: theory and practice.	AAMAS	2002	DBLP DOI BibTeX RDF	agent selection and planning, agent architectures, formalisms and logics
15	Dmitri A. Dolgov, Edmund H. Durfee	Satisficing strategies for resource-limited policy search in dynamic environments.	AAMAS	2002	DBLP DOI BibTeX RDF
15	J Strother Moore	Rewriting for Symbolic Execution of State Machine Models.	CAV	2001	DBLP DOI BibTeX RDF	microprocessor simulation, pipelined machine, verification, theorem proving, Hardware modeling
15	Laurent Daynès, Grzegorz Czajkowski	High-Performance, Space-Efficient, Automated Object Locking.	ICDE	2001	DBLP DOI BibTeX RDF
15	Éric Villemonte de la Clergerie	Natural Language Tabular Parsing.	ICLP	2001	DBLP DOI BibTeX RDF
15	Yanhong A. Liu, Scott D. Stoller	Dynamic Programming via Static Incrementalization.	ESOP	1999	DBLP DOI BibTeX RDF
15	Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook	A New, Simpler Linear-Time Dominators Algorithm.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	flowgraphs, microtrees, path compression, compilers, dominators
15	Sergio Antoy, Zena M. Ariola	Narrowing the Narrowing Space.	PLILP	1997	DBLP DOI BibTeX RDF	Narrowing space, Computed expression, Regular computed expression, Finite representation, Narrowing, Functional logic programming
15	Andrew Fetterer, Shashi Shekhar	A Performance Analysis of Hierarchical Shortest Path Algorithms.	ICTAI	1997	DBLP DOI BibTeX RDF	hierarchical shortest path algorithms, Advanced Traveler Information Systems, boundary graph, fragment graphs, fully memoized hierarchical routing algorithm, shortest-path data structure, real graph, storage overhead, Twin Cities metropolitan road-map, performance analysis, computer networks, computation time, metropolitan area networks
15	David Sands	Total Correctness by Local Improvement in the Transformation of Functional Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	operational equivalence, unfold-fold, program transformation, correctness, improvement
15	David A. Schmidt	Abstract Interpretation of Small-Step Semantics.	LOMAPS	1996	DBLP DOI BibTeX RDF
15	David Sands 0001	Total Correctness by Local Improvement in Program Transformation. (long version: ACM Trans. Program. Lang. Syst. 18(2): 175-234(1996))	POPL	1995	DBLP DOI BibTeX RDF
15	Georges Gardarin, Fernando Machuca, Philippe Pucheral	OFL: A Functional Execution Model for Object Query Languages.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF
15	Richard J. Fateman	Lookup Tables, Recurrences and Complexity.	ISSAC	1989	DBLP DOI BibTeX RDF