Search results for "memoization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Kevin Boos, David Chu, Eduardo Cuervo	FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization.	MobiSys	2016	DBLP DOI BibTeX RDF
22	Kevin Boos, David Chu, Eduardo Cuervo	Demo: FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization.	MobiSys (Companion Volume)	2016	DBLP DOI BibTeX RDF
22	Utsav Drolia, Katherine Guo, Rajeev Gandhi, Priya Narasimhan	Poster: Approximate Memoization for Perception-based Mobile Applications.	MobiSys (Companion Volume)	2016	DBLP DOI BibTeX RDF
22	Karlheinz Friedberger	CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution).	TACAS	2016	DBLP DOI BibTeX RDF
22	Masayoshi Fujii, Yuuki Sato, Tomoaki Tsumura, Yasuhiko Nakashima	Exploiting Bloom Filters for Saving Power Consumption of Auto-Memoization Processor.	CANDAR	2016	DBLP DOI BibTeX RDF
22	Amanda Jane Coles, Andrew Ian Coles	Have I Been Here Before? State Memoization in Temporal Planning.	ICAPS	2016	DBLP BibTeX RDF
22	Arjun Suresh	Intercepting Functions for Memoization. (Interception de fonctions pour la mémoïsation).		2016	RDF
22	Farzad Khalvati, Mark D. Aagaard, Hamid R. Tizhoosh	Window memoization: toward high-performance image processing software.	J. Real Time Image Process.	2015	DBLP DOI BibTeX RDF
22	Arjun Suresh, Bharath Narasimha Swamy, Erven Rohou, André Seznec	Intercepting Functions for Memoization: A Case Study Using Transcendental Functions.	ACM Trans. Archit. Code Optim.	2015	DBLP DOI BibTeX RDF
22	Ulrich Schaechtle, Ben Zinberg, Alexey Radul, Kostas Stathis, Vikash K. Mansinghka	Probabilistic Programming with Gaussian Process Memoization.	CoRR	2015	DBLP BibTeX RDF
22	Clément Aubert, Marc Bagnol, Thomas Seiller	Memoization for Unary Logic Programming: Characterizing PTIME.	CoRR	2015	DBLP BibTeX RDF
22	Martin Avanzini, Ugo Dal Lago	On Sharing, Memoization, and Polynomial Time (Long Version).	CoRR	2015	DBLP BibTeX RDF
22	Luca Della Toffola, Michael Pradel, Thomas R. Gross	Performance problems you can fix: a dynamic analysis of memoization opportunities.	OOPSLA	2015	DBLP DOI BibTeX RDF
22	Martin Avanzini, Ugo Dal Lago	On Sharing, Memoization, and Polynomial Time.	STACS	2015	DBLP DOI BibTeX RDF
22	Alev Mutlu, Pinar Senkul	Improving Hit Ratio of ILP-based Concept Discovery System with Memoization.	Comput. J.	2014	DBLP DOI BibTeX RDF
22	Abbas Rahimi, Luca Benini, Rajesh K. Gupta 0001	Temporal memoization for energy-efficient timing error recovery in GPGPUs.	DATE	2014	DBLP DOI BibTeX RDF
22	Alireza Saberi, Yangchun Fu, Zhiqiang Lin	Hybrid-Bridge: Efficiently Bridging the Semantic-Gap in VMI via Decoupled Execution and Training Memoization.	NDSS	2014	DBLP BibTeX RDF
22	Takanori Tsumura, Yuuki Shibata, Kazutaka Kamimura, Tomoaki Tsumura, Yasuhiko Nakashima	Hinting for Auto-Memoization Processor Based on Static Binary Analysis.	CANDAR	2014	DBLP DOI BibTeX RDF
22	Alexander Moreno, Tucker Balch	Speeding up large-scale financial recomputation with memoization.	WHPCF@SC	2014	DBLP DOI BibTeX RDF
22	Yuuki Shibata, Takanori Tsumura, Tomoaki Tsumura, Yasuhiko Nakashima	An implementation of Auto-Memoization mechanism on ARM-based superscalar processor.	ISSoC	2014	DBLP DOI BibTeX RDF
22	José-María Arnau, Joan-Manuel Parcerisa, Polychronis Xekalakis	Eliminating redundant fragment shader executions on a mobile GPU via hardware memoization.	ISCA	2014	DBLP DOI BibTeX RDF
22	Tamal Biswas, Kenneth W. Regan	Efficient Memoization for Approximate Function Evaluation over Sequence Arguments.	AAIM	2014	DBLP DOI BibTeX RDF
22	Abbas Rahimi, Luca Benini, Rajesh K. Gupta 0001	Spatial Memoization: Concurrent Instruction Reuse to Correct Timing Errors in SIMD Architectures.	IEEE Trans. Circuits Syst. II Express Briefs	2013	DBLP DOI BibTeX RDF
22	Alejandro Calderón 0001, Jesús Carretero 0001, Félix García Carballeira, Javier Fernández 0001, Daniel Higuero, Borja Bergua	Improving MPI applications with a new MPI_Info and the use of the memoization.	EuroMPI	2013	DBLP DOI BibTeX RDF
22	Giovanni Agosta, Marco Bessi, Eugenio Capra, Chiara Francalanci	Automatic memoization for energy efficiency in financial applications.	Sustain. Comput. Informatics Syst.	2012	DBLP DOI BibTeX RDF
22	Edin H. Mulalic, Miomir S. Stankovic, Radomir S. Stankovic	Memoization technique for optimizing functions with stochastic input	CoRR	2012	DBLP BibTeX RDF
22	Daniel Wonisch, Heike Wehrheim	Predicate Analysis with Block-Abstraction Memoization.	ICFEM	2012	DBLP DOI BibTeX RDF
22	Alev Mutlu, Pinar Senkul	Improving Hash Table Hit Ratio of an ILP-Based Concept Discovery System with Memoization Capabilities.	ISCIS	2012	DBLP DOI BibTeX RDF
22	Indranil Saha, Rupak Majumdar	Trigger memoization in self-triggered control.	EMSOFT	2012	DBLP DOI BibTeX RDF
22	Daniel Wonisch	Block Abstraction Memoization for CPAchecker - (Competition Contribution).	TACAS	2012	DBLP DOI BibTeX RDF
22	Kazutaka Kamimura, Ryosuke Oda, Tatsuhiro Yamada, Tomoaki Tsumura, Hiroshi Matsuo, Yasuhiko Nakashima	A Speed-up Technique for an Auto-Memoization Processor by Reusing Partial Results of Instruction Regions.	ICNC	2012	DBLP DOI BibTeX RDF
22	Umut A. Acar, Guy E. Blelloch, Robert Harper 0001	Selective Memoization	CoRR	2011	DBLP BibTeX RDF
22	Farzad Khalvati, Mehdi Kianpour, Hamid R. Tizhoosh	Cascaded Window Memoization for Medical Imaging.	EANN/AIAI (2)	2011	DBLP DOI BibTeX RDF
22	Giovanni Agosta, Marco Bessi, Eugenio Capra, Chiara Francalanci	Dynamic memoization for energy efficiency in financial applications.	IGCC	2011	DBLP DOI BibTeX RDF
22	Philip J. Guo, Dawson R. Engler	Using automatic persistent memoization to facilitate data analysis scripting.	ISSTA	2011	DBLP DOI BibTeX RDF
22	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
22	Tomoki Ikegaya, Ryosuke Oda, Tatsuhiro Yamada, Tomoaki Tsumura, Hiroshi Matsuo, Yasuhiko Nakashima	A hybrid model of speculative execution and scout threading for auto-memoization processor.	SoC	2011	DBLP DOI BibTeX RDF
22	Santiago A. Vidal, Claudia A. Marcos, Alexandre Bergel, Gabriela Arévalo	Memoization aspects: a case study.	IWST	2011	DBLP DOI BibTeX RDF
22	Farzad Khalvati, Mark D. Aagaard	Window memoization: an efficient hardware architecture for high-performance image processing.	J. Real Time Image Process.	2010	DBLP DOI BibTeX RDF
22	Hugo Rito, João P. Cachopo	Memoization of methods using software transactional memory to track internal state dependencies.	PPPJ	2010	DBLP DOI BibTeX RDF
22	Martin H. Luerssen, David M. W. Powers	Fast Grammar-Based Evolution Using Memoization.	PPSN (2)	2010	DBLP DOI BibTeX RDF
22	Demid Borodin, Ben H. H. Juurlink	Instruction precomputation with memoization for fault detection.	DATE	2010	DBLP DOI BibTeX RDF
22	Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang	Stable Deterministic Multithreading through Schedule Memoization.	OSDI	2010	DBLP BibTeX RDF
22	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
22	Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca	Selective Memoization with Box Types.	LSFA	2009	DBLP DOI BibTeX RDF
22	Yushi Kamiya, Tomoaki Tsumura, Hiroshi Matsuo, Yasuhiko Nakashima	A Speculative Technique for Auto-Memoization Processor with Multithreading.	PDCAT	2009	DBLP DOI BibTeX RDF
22	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints.	AAAI	2008	DBLP BibTeX RDF
22	Tohru Ishihara, Farzan Fallah	A Way Memoization Technique for Reducing Power Consumption of Caches in Application Specific Integrated Processors	CoRR	2007	DBLP BibTeX RDF
22	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
22	Avi Pfeffer	Sampling with Memoization.	AAAI	2007	DBLP BibTeX RDF
22	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
22	Mohammad Ghasemzadeh 0001	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization.		2005	RDF
22	Mohammad Ghasemzadeh 0001, 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
22	Brigitte Pientka	Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype.	LFM	2002	DBLP DOI BibTeX RDF
22	Daniel Citron	Instruction Memoization: exploiting previously performed calculations to enhance performance (נצול חשובים חוזרים כדי לחסוך בזמן ריצה ומשאבים על המעבד.).		2000	RDF
22	Mark Johnson 0001, Jochen Dörre	Memoization of Coroutined Constraints	CoRR	1995	DBLP BibTeX RDF
22	Mark Johnson 0001	Memoization of Top Down Parsing	CoRR	1995	DBLP BibTeX RDF
22	Mark Johnson 0001	Memoization in Top-Down Parsing.	Comput. Linguistics	1995	DBLP BibTeX RDF
22	Mark Johnson 0001, Jochen Dörre	Memoization of Coroutined Constraints.	ACL	1995	DBLP BibTeX RDF
22	Richard A. Frost	Using Memoization to Achieve Polynomial Complexity of Purely Functional Executable Specifications of Non-Deterministic Top-Down Parsers.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF
22	Mark Johnson 0001	Memoization in Constraint Logic Programming.	CoRR	1994	DBLP BibTeX RDF
22	Mark Johnson 0001	Memoization in Constraint Logic Programming.	PPCP	1993	DBLP BibTeX RDF
22	Torben Amtoft, Jesper Larsson Träff	Partial Memoization for Obtaining Linear Time Behavior of a 2DPDA.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
20	Jordi Gómez-Bao, Josep Lluís Larriba-Pey, Josepa Ribes Puig	Record linkage performance for large data sets.	CIKM-PAVLAD	2009	DBLP DOI BibTeX RDF	record linkage, memoization, deduplication
20	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
20	Martin H. Luerssen, David M. W. Powers	Evolving encapsulated programs as shared grammars.	Genet. Program. Evolvable Mach.	2008	DBLP DOI BibTeX RDF	Shared grammars, Genetic programming, Modularity, Encapsulation, Memoization, Grammatical evolution, Developmental systems
20	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
20	Umut A. Acar, Amal Ahmed 0001, 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
20	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
20	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
20	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
20	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
20	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
20	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
20	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
20	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
20	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
20	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
20	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
20	Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum	Static Caching for Incremental Computation.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	intermediate results, program efficiency improvement, optimization, caching, static analysis, program transformation, dependence analysis, incremental computation, memoization, incremental programs
20	Thomas W. Reps	"Maximal-munch" Tokenization in Linear Time.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	tabulation, dynamic programming, backtracking, tokenization, memoization
15	Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv	Abstract Transformers for Thread Correlation Analysis.	APLAS	2009	DBLP DOI BibTeX RDF
15	Rahmatullah Hafiz	Executable Specifications of Fully General Attribute Grammars with Ambiguity and Left-Recursion.	Canadian AI	2009	DBLP DOI BibTeX RDF
15	Eric Snow, Eric Aubanel, Patricia A. Evans	Dynamic parallelization for RNA structure comparison.	IPDPS	2009	DBLP DOI BibTeX RDF
15	Alessandro Warth, James R. Douglass, Todd D. Millstein	Packrat parsers can support left recursion.	PEPM	2008	DBLP DOI BibTeX RDF	left recursion, packrat parsing
15	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
15	Anish Das Sarma, Martin Theobald, Jennifer Widom	Exploiting Lineage for Confidence Computation in Uncertain and Probabilistic Databases.	ICDE	2008	DBLP DOI BibTeX RDF
15	Sérgio Medeiros 0001, Roberto Ierusalimschy	A parsing machine for PEGs.	DLS	2008	DBLP DOI BibTeX RDF	parsing expression grammars, parsing machine, pattern matching, operational semantics, scripting languages
15	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
15	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
15	Alexander Okhotin	Recursive descent parsing for Boolean grammars.	Acta Informatica	2007	DBLP DOI BibTeX RDF
15	Kiran Puttaswamy, Gabriel H. Loh	Thermal Herding: Microarchitecture Techniques for Controlling Hotspots in High-Performance 3D-Integrated Processors.	HPCA	2007	DBLP DOI BibTeX RDF
15	Diptikalyan Saha, C. R. Ramakrishnan 0001	Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs.	PADL	2006	DBLP DOI BibTeX RDF
15	Jevgeni Kabanov, Varmo Vene	Recursion Schemes for Dynamic Programming.	MPC	2006	DBLP DOI BibTeX RDF
15	Daniel J. Quinlan, Markus Schordan, Richard W. Vuduc, Qing Yi	Annotating user-defined abstractions for optimization.	IPDPS	2006	DBLP DOI BibTeX RDF
15	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
15	Robert Grimm 0001	Better extensibility through modular syntax.	PLDI	2006	DBLP DOI BibTeX RDF	extensible syntax, packrat parsing, parsing expression grammar, parser generator, module system
15	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A CLP Method for Compositional and Intermittent Predicate Abstraction.	VMCAI	2006	DBLP DOI BibTeX RDF
15	Grigore Rosu, Klaus Havelund	Rewriting-Based Techniques for Runtime Verification.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	verification, rewriting, runtime analysis
15	Abhik Roychoudhury, Tulika Mitra, Hemendra Singh Negi	Analyzing Loop Paths for Execution Time Estimation.	ICDCIT	2005	DBLP DOI BibTeX RDF