Search results for "memoization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan	Partial memoization of concurrency and communication.	ICFP	2009	DBLP DOI BibTeX RDF	partial memoization, software transactions, concurrent programming, multicore systems, concurrent ml
3	K. G. Srinivasa, M. Jagadish, K. R. Venugopal, Lalit M. Patnaik	Non-repetitive DNA Sequence Compression Using Memoization.	ISBMDA	2006	DBLP DOI BibTeX RDF	DNA Compression, Text Compression, Memoization
3	Robert S. Boyer, Warren A. Hunt Jr.	Function memoization and unique object representation for ACL2 functions.	ACL2	2006	DBLP DOI BibTeX RDF	ACL2 workshop, function memoization, hash CONS, hash CONSing, Lisp, ACL2
3	Umut A. Acar, Guy E. Blelloch, Robert Harper	Selective memoization.	POPL	2003	DBLP DOI BibTeX RDF	performance, selective, memoization, programmer controlled
3	Eric Schnarr, James R. Larus	Fast Out-Of-Order Processor Simulation Using Memoization.	ASPLOS	1998	DBLP DOI BibTeX RDF	out-of-order processor simulation, memoization, direct-execution
2	Kota Mizushima, Atusi Maeda, Yoshinori Yamaguchi	Packrat parsers can handle practical grammars in mostly constant space.	PASTE	2010	DBLP DOI BibTeX RDF	cut operators, packrat parsing, parsing expression grammars, backtracking, memoization, parser generator
2	Wes Masri	Exploiting the empirical characteristics of program dependences for improved forward computation of dynamic slices.	Empirical Software Engineering	2008	DBLP DOI BibTeX RDF	Forward computation, Program analysis, Program debugging, Memoization, Dynamic slicing, Program dependence
2	Haiying Xu, Christopher J. F. Pickett, Clark Verbrugge	Dynamic purity analysis for java programs.	PASTE	2007	DBLP DOI BibTeX RDF	purity, Java, software metrics, dynamic analysis, memoization, side effects, escape analysis
2	François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder	Efficient evaluation of n-ary conjunctive queries over trees and graphs.	WIDM	2006	DBLP DOI BibTeX RDF	query evaluation and optimization, XML, RDF, semi-structured data, conjunctive queries, memoization
2	Richard A. Frost, Rahmatullah Hafiz	A new top-down parsing algorithm to accommodate ambiguity and left recursion in polynomial time.	SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	left-recursion, top-down parsing, backtracking, memoization, parser combinators
2	Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde	Fast partial evaluation of pattern matching in strings.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Partial evaluation, string matching, memoization
2	Carlos Álvarez, Jesús Corbal, Mateo Valero	Fuzzy Memoization for Floating-Point Multimedia Applications.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Low-power design, real-time and embedded systems, special-purpose and application-based systems
2	Joseph J. Sharkey, Dmitry Ponomarev, Kanad Ghose, Oguz Ergin	Reducing Delay and Power Consumption of the Wakeup Logic Through Instruction Packing and Tag Memoization.	PACS	2004	DBLP DOI BibTeX RDF
2	Yanlei Diao, Daniela Florescu, Donald Kossmann, Michael J. Carey, Michael J. Franklin	Implementing Memoization in a Streaming XQuery Processor.	XSym	2004	DBLP DOI BibTeX RDF
2	Salvador España, Vicent Estruch	A Memoizing Semantics for Functional Logic Languages.	ESOP	2004	DBLP DOI BibTeX RDF	Programming languages, formal semantics, memoization
2	Daniel Citron, Dror G. Feitelson	"Look It Up" or "Do the Math": An Energy, Area, and Timing Analysis of Instruction Reuse and Memoization.	PACS	2003	DBLP DOI BibTeX RDF
2	Richard A. Frost	Monadic Memoization towards Correctness-Preserving Reduction of Search.	Canadian Conference on AI	2003	DBLP DOI BibTeX RDF
2	Paul Beame, Russell Impagliazzo, Toniann Pitassi, Nathan Segerlind	Memoization and DPLL: Formula Caching Proof Systems.	IEEE Conference on Computational Complexity	2003	DBLP DOI BibTeX RDF
2	Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde	Fast partial evaluation of pattern matching in strings.	PEPM	2003	DBLP DOI BibTeX RDF	partial evaluation, string matching, memoization
2	Yanhong A. Liu, Scott D. Stoller	Dynamic Programming via Static Incrementalization.	Higher-Order and Symbolic Computation	2003	DBLP DOI BibTeX RDF	tabulation, dynamic programming, caching, static analysis, program transformation, dependence analysis, pruning, program optimization, incrementalization, incremental computation, memoization, incremental update
2	Vincent Balat, Olivier Danvy	Memoization in Type-Directed Partial Evaluation.	GPCE	2002	DBLP DOI BibTeX RDF
2	Baltasar Trancón-y-Widemann	Stacking Cycles: Functional Transformation of Circular Data.	IFL	2002	DBLP DOI BibTeX RDF	corecursion, anamorphism, function memoization, code generation, Coalgebra, cycle detection
2	Peter Thiemann	Implementing Memoization for Partial Evaluation.	PLILP	1996	DBLP DOI BibTeX RDF	incremental specialization, termination of partial evaluation, reflection, partial evaluation, automatic program transformation
2	Berthold Hoffmann	Term Rewriting with Sharing and Memoïzation.	ALP	1992	DBLP DOI BibTeX RDF
1	Daniel Wonisch	Block Abstraction Memoization for CPAchecker - (Competition Contribution).	TACAS	2012	DBLP DOI BibTeX RDF
1	Umut A. Acar, Guy E. Blelloch, Robert Harper	Selective Memoization	CoRR	2011	DBLP BibTeX RDF
1	Farzad Khalvati, Mehdi Kianpour, Hamid R. Tizhoosh	Cascaded Window Memoization for Medical Imaging.	EANN/AIAI	2011	DBLP DOI BibTeX RDF
1	Philip J. Guo, Dawson R. Engler	Using automatic persistent memoization to facilitate data analysis scripting.	ISSTA	2011	DBLP DOI BibTeX RDF
1	Ryosuke Oda, Tatsuhiro Yamada, Tomoki Ikegaya, Tomoaki Tsumura, Hiroshi Matsuo, Yasuhiko Nakashima	Input Entry Integration for an Auto-Memoization Processor.	ICNC	2011	DBLP DOI BibTeX RDF
1	Farzad Khalvati, Mark Aagaard	Window memoization: an efficient hardware architecture for high-performance image processing.	J. Real-Time Image Processing	2010	DBLP DOI BibTeX RDF
1	Martin H. Luerssen, David M. W. Powers	Fast Grammar-Based Evolution Using Memoization.	PPSN	2010	DBLP DOI BibTeX RDF
1	Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang	Stable Deterministic Multithreading through Schedule Memoization.	OSDI	2010	DBLP BibTeX RDF
1	Hugo Rito, João P. Cachopo	Memoization of methods using software transactional memory to track internal state dependencies.	PPPJ	2010	DBLP DOI BibTeX RDF
1	Demid Borodin, Ben H. H. Juurlink	Instruction precomputation with memoization for fault detection.	DATE	2010	DBLP BibTeX RDF
1	Tomoki Ikegaya, Tomoaki Tsumura, Hiroshi Matsuo, Yasuhiko Nakashima	A Speed-Up Technique for an Auto-Memoization Processor by Collectively Reusing Continuous Iterations.	ICNC	2010	DBLP DOI BibTeX RDF
1	Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca	Selective Memoization with Box Types.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Yushi Kamiya, Tomoaki Tsumura, Hiroshi Matsuo, Yasuhiko Nakashima	A Speculative Technique for Auto-Memoization Processor with Multithreading.	PDCAT	2009	DBLP DOI BibTeX RDF
1	Jordi Gómez-Bao, Josep-Lluis Larriba-Pey, Josepa Ribes Puig	Record linkage performance for large data sets.	CIKM-PAVLAD	2009	DBLP DOI BibTeX RDF	record linkage, memoization, deduplication
1	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	L2C2: logic-based LSC consistency checking.	PPDP	2009	DBLP DOI BibTeX RDF	play-tree, logic programming, memoization, live sequence chart (lsc), scenario-based programming
1	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Shifting the stage: staging with delimited control.	PEPM	2009	DBLP DOI BibTeX RDF	delimited control, multilevel languages, mutable state, staged programming, code generation, continuations, side effects
1	Eric Snow, Eric Aubanel, Patricia Evans	Dynamic parallelization for RNA structure comparison.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Rahmatullah Hafiz	Executable Specifications of Fully General Attribute Grammars with Ambiguity and Left-Recursion.	Canadian Conference on AI	2009	DBLP DOI BibTeX RDF
1	Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv	Abstract Transformers for Thread Correlation Analysis.	APLAS	2009	DBLP DOI BibTeX RDF
1	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints.	AAAI	2008	DBLP BibTeX RDF
1	Ruy Ley-Wild, Matthew Fluet, Umut A. Acar	Compiling self-adjusting programs with continuations.	ICFP	2008	DBLP DOI BibTeX RDF	memoization, continuation-passing style, self-adjusting computation
1	Matthew A. Hammer, Umut A. Acar	Memory management for self-adjusting computation.	ISMM	2008	DBLP DOI BibTeX RDF	performance, computational geometry, garbage collection, memory management, memoization, dynamic algorithms, self-adjusting computation, dynamic dependency graphs
1	Umut A. Acar, Amal Ahmed, Matthias Blume	Imperative self-adjusting computation.	POPL	2008	DBLP DOI BibTeX RDF	mutable state, incremental computation, memoization, change propagation, self-adjusting computation, imperative programming, step-indexed logical relations
1	Martin H. Luerssen, David M. W. Powers	Evolving encapsulated programs as shared grammars.	Genetic Programming and Evolvable Machines	2008	DBLP DOI BibTeX RDF	Shared grammars, Genetic programming, Modularity, Encapsulation, Memoization, Grammatical evolution, Developmental systems
1	Sérgio Medeiros, Roberto Ierusalimschy	A parsing machine for PEGs.	DLS	2008	DBLP DOI BibTeX RDF	parsing expression grammars, parsing machine, pattern matching, operational semantics, scripting languages
1	Jakob Puchinger, Peter J. Stuckey	Automating branch-and-bound for dynamic programs.	PEPM	2008	DBLP DOI BibTeX RDF	dynamic programming, branch and bound, automatic transformation
1	Alessandro Warth, James R. Douglass, Todd D. Millstein	Packrat parsers can support left recursion.	PEPM	2008	DBLP DOI BibTeX RDF	left recursion, packrat parsing
1	Guido Moerkotte, Thomas Neumann	Dynamic programming strikes back.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	complex joins, query optimization, hypergraphs
1	Anish Das Sarma, Martin Theobald, Jennifer Widom	Exploiting Lineage for Confidence Computation in Uncertain and Probabilistic Databases.	ICDE	2008	DBLP DOI BibTeX RDF
1	Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic	Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.	CC	2008	DBLP DOI BibTeX RDF
1	Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo	Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models.	LCPC	2008	DBLP DOI BibTeX RDF
1	Tohru Ishihara, Farzan Fallah	A Way Memoization Technique for Reducing Power Consumption of Caches in Application Specific Integrated Processors	CoRR	2007	DBLP BibTeX RDF
1	Tomoaki Tsumura, Ikuma Suzuki, Yasuki Ikeuchi, Hiroshi Matsuo, Hiroshi Nakashima, Yasuhiko Nakashima	Design and evaluation of an auto-memoization processor.	Parallel and Distributed Computing and Networks	2007	DBLP BibTeX RDF
1	Avi Pfeffer	Sampling with Memoization.	AAAI	2007	DBLP BibTeX RDF
1	Ajeet Shankar, Rastislav Bodík	DITTO: automatic incrementalization of data structure invariant checks (in Java).	PLDI	2007	DBLP DOI BibTeX RDF	data structure invariants, optimistic memoization, program analysis, dynamic optimization, incrementalization, automatic
1	David DeHaan, Frank Wm. Tompa	Optimal top-down join enumeration.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	join enumeration, dynamic programming, query optimization, branch-and-bound, memoization, top-down
1	Kiran Puttaswamy, Gabriel H. Loh	Thermal Herding: Microarchitecture Techniques for Controlling Hotspots in High-Performance 3D-Integrated Processors.	HPCA	2007	DBLP DOI BibTeX RDF
1	Umut A. Acar, Matthias Blume, Jacob Donham	A Consistent Semantics of Self-adjusting Computation.	ESOP	2007	DBLP DOI BibTeX RDF
1	Alexander Okhotin	Recursive descent parsing for Boolean grammars.	Acta Inf.	2007	DBLP DOI BibTeX RDF
1	Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic	A monadic approach for avoiding code duplication when staging memoized functions.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, monads, fixed points, program generation, program specialization, staging, multi-stage programming, code duplication
1	Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan	An experimental analysis of self-adjusting computation.	PLDI	2006	DBLP DOI BibTeX RDF	performance, computational geometry, dynamic algorithms, self-adjusting computation, memorization, dynamic dependence graphs
1	Robert Grimm	Better extensibility through modular syntax.	PLDI	2006	DBLP DOI BibTeX RDF	extensible syntax, packrat parsing, parsing expression grammar, parser generator, module system
1	Daniel J. Quinlan, Markus Schordan, Richard W. Vuduc, Qing Yi	Annotating user-defined abstractions for optimization.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Jevgeni Kabanov, Varmo Vene	Recursion Schemes for Dynamic Programming.	MPC	2006	DBLP DOI BibTeX RDF
1	Diptikalyan Saha, C. R. Ramakrishnan	Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs.	PADL	2006	DBLP DOI BibTeX RDF
1	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A CLP Method for Compositional and Intermittent Predicate Abstraction.	VMCAI	2006	DBLP DOI BibTeX RDF
1	Mohammad Ghasemzadeh	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization.		2005	RDF
1	Tohru Ishihara, Farzan Fallah	A Way Memoization Technique for Reducing Power Consumption of Caches in Application Specific Integrated Processors.	DATE	2005	DBLP DOI BibTeX RDF
1	Roly Perera, Jeff Foster	A delta-driven execution model for semantic computing.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	adaptive functions, delta-driven execution, lazy memoization, relational programming, incremental computation
1	Roly Perera, Jeff Foster, György Koch	A delta-driven execution model for semantic computing.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	adaptive functions, delta-driven execution, lazy memoization, relational programming, incremental computation
1	Joseph J. Sharkey, Kanad Ghose, Dmitry V. Ponomarev, Oguz Ergin	Power-Efficient Wakeup Tag Broadcast.	ICCD	2005	DBLP DOI BibTeX RDF
1	Gopal Gupta	Software Engineering Track Chair's Message.	ICDCIT	2005	DBLP DOI BibTeX RDF
1	Abhik Roychoudhury, Tulika Mitra, Hemendra Singh Negi	Analyzing Loop Paths for Execution Time Estimation.	ICDCIT	2005	DBLP DOI BibTeX RDF
1	Javier Álvez, Paqui Lucio	An Algorithm for Local Variable Elimination in Normal Logic Programs.	LOPSTR	2005	DBLP DOI BibTeX RDF
1	Grigore Rosu, Klaus Havelund	Rewriting-Based Techniques for Runtime Verification.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	verification, rewriting, runtime analysis
1	Mohammad GhasemZadeh, Volker Klotz, Christoph Meinel	Embedding Memoization to the Semantic Tree Search for Deciding QBFs.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF	Zero-Suppressed Binary Decision Diagram (ZDD), Quantified Boolean Formula (QBF), QSAT, Satisfiability, DPLL
1	Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu	Parametric regular path queries.	PLDI	2004	DBLP DOI BibTeX RDF	data tructures, graph query languages, optimization, algorithms, model checking, program analysis, regular expressions, memoization, precomputation, regular path queries
1	Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato	Semi-naive evaluation in linear tabling.	PPDP	2004	DBLP DOI BibTeX RDF	linear tabling, semi-naive evaluation, prolog, recursion, tabling, memoization
1	Yanhong A. Liu, Scott D. Stoller	Optimizing Ackermann's function by incrementalization.	PEPM	2003	DBLP DOI BibTeX RDF	tabulation, optimization, caching, program transformation, recursion, iteration, incrementalization, incremental computation, memoization
1	Neng-Fa Zhou, Taisuke Sato	Efficient fixpoint computation in linear tabling.	PPDP	2003	DBLP DOI BibTeX RDF	linear tabling, prolog, recursion, tabling, optimization techniques, memoization
1	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
1	Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi	Algorithms and Complexity Results for #SAT and Bayesian Inference.	FOCS	2003	DBLP DOI BibTeX RDF
1	John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean Weaver, Michael Dransfield, W. Mark Vanfleet	SBSAT: a State-Based, BDD-Based Satisfiability Solver.	SAT	2003	DBLP DOI BibTeX RDF
1	Brigitte Pientka	Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Bryan Ford	Packrat parsing: : simple, powerful, lazy, linear time, functional pearl.	ICFP	2002	DBLP DOI BibTeX RDF	scannerless parsing, top-down parsing, Haskell, backtracking, memoization, lexical analysis, parser combinators
1	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
1	Dmitri A. Dolgov, Edmund H. Durfee	Satisficing strategies for resource-limited policy search in dynamic environments.	AAMAS	2002	DBLP DOI BibTeX RDF
1	Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi	An efficient profile-analysis framework for data-layout optimizations.	POPL	2002	DBLP DOI BibTeX RDF
1	Thom W. Frühwirth, Slim Abdennadher	Tutorial: Reasoning with, about and for Constraint Handling Rules.	FroCos	2002	DBLP DOI BibTeX RDF
1	Brigitte Pientka	A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming.	ICLP	2002	DBLP DOI BibTeX RDF
1	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
1	Eric Schnarr, Mark D. Hill, James R. Larus	Facile: A Language and Compiler for High-Performance Processor Simulators.	PLDI	2001	DBLP DOI BibTeX RDF	micro-architecture simulation, out-of-order processor simulation, partial evaluation, memoization
1	Laurent Daynès, Grzegorz Czajkowski	High-Performance, Space-Efficient, Automated Object Locking.	ICDE	2001	DBLP DOI BibTeX RDF
1	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
1	Eric Villemonte de la Clergerie	Natural Language Tabular Parsing.	ICLP	2001	DBLP DOI BibTeX RDF
1	João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper	Functional Incremental Attribute Evaluation.	CC	2000	DBLP DOI BibTeX RDF