Search results for "memoization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
147	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
82	Carlos Álvarez 0001, 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
82	Richard A. Frost	Monadic Memoization towards Correctness-Preserving Reduction of Search.	AI	2003	DBLP DOI BibTeX RDF
72	K. G. Srinivasa 0001, M. Jagadish, K. R. Venugopal 0001, Lalit M. Patnaik	Non-repetitive DNA Sequence Compression Using Memoization.	ISBMDA	2006	DBLP DOI BibTeX RDF	DNA Compression, Text Compression, Memoization
72	Umut A. Acar, Guy E. Blelloch, Robert Harper 0001	Selective memoization.	POPL	2003	DBLP DOI BibTeX RDF	performance, selective, memoization, programmer controlled
67	Peter Thiemann 0001	Implementing Memoization for Partial Evaluation.	PLILP	1996	DBLP DOI BibTeX RDF	incremental specialization, termination of partial evaluation, reflection, partial evaluation, automatic program transformation
57	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
57	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
52	Joseph J. Sharkey, Dmitry Ponomarev 0001, 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
52	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
50	Wes Masri	Exploiting the empirical characteristics of program dependences for improved forward computation of dynamic slices.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Forward computation, Program analysis, Program debugging, Memoization, Dynamic slicing, Program dependence
50	Richard A. Frost, Rahmatullah Hafiz	A new top-down parsing algorithm to accommodate ambiguity and left recursion in polynomial time.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	left-recursion, top-down parsing, backtracking, memoization, parser combinators
50	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
50	François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder 0001	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
50	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
45	Umut A. Acar, Matthias Blume, Jacob Donham	A Consistent Semantics of Self-adjusting Computation.	ESOP	2007	DBLP DOI BibTeX RDF
45	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
43	Mirko Stoffers, Ralf Bettermann, Klaus Wehrle	Automated memoization: Automatically identifying memoization units in simulation parameter studies.	DS-RT	2017	DBLP DOI BibTeX RDF
37	Yanlei Diao, Daniela Florescu, Donald Kossmann, Michael J. Carey 0001, Michael J. Franklin	Implementing Memoization in a Streaming XQuery Processor.	XSym	2004	DBLP DOI BibTeX RDF
37	Paul Beame, Russell Impagliazzo, Toniann Pitassi, Nathan Segerlind	Memoization and DPLL: Formula Caching Proof Systems.	CCC	2003	DBLP DOI BibTeX RDF
37	Vincent Balat, Olivier Danvy	Memoization in Type-Directed Partial Evaluation.	GPCE	2002	DBLP DOI BibTeX RDF
37	Berthold Hoffmann	Term Rewriting with Sharing and Memoïzation.	ALP	1992	DBLP DOI BibTeX RDF
35	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
35	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
35	Salvador España Boquera, Vicent Estruch	A Memoizing Semantics for Functional Logic Languages.	ESOP	2004	DBLP DOI BibTeX RDF	Programming languages, formal semantics, memoization
35	Yanhong A. Liu, Scott D. Stoller	Dynamic Programming via Static Incrementalization.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	tabulation, dynamic programming, caching, static analysis, program transformation, dependence analysis, pruning, program optimization, incrementalization, incremental computation, memoization, incremental update
35	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
30	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
30	Guido Moerkotte, Thomas Neumann 0001	Dynamic programming strikes back.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	complex joins, query optimization, hypergraphs
30	João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper	Functional Incremental Attribute Evaluation.	CC	2000	DBLP DOI BibTeX RDF
30	Joseph M. Hellerstein, Jeffrey F. Naughton	Query Execution Techniques for Caching Expensive Methods.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
22	Minsu Kim, Jinwoo Hwang, Guseul Heo, Seiyeon Cho, Divya Mahajan 0001, Jongse Park	Accelerating String-Key Learned Index Structures via Memoization-based Incremental Training.	CoRR	2024	DBLP DOI BibTeX RDF
22	Hiroya Fujinami, Ichiro Hasuo	Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version).	CoRR	2024	DBLP DOI BibTeX RDF
22	Hiroya Fujinami, Ichiro Hasuo	Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping.	ESOP (2)	2024	DBLP DOI BibTeX RDF
22	Yican Sun, Xuanyu Peng, Yingfei Xiong 0001	Synthesizing Efficient Memoization Algorithms.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
22	Gunjan Beniwal, Anita Singhrova	Memoization based priority-aware task management for QoS provisioning in IoT gateways.	J. Ambient Intell. Smart Environ.	2023	DBLP DOI BibTeX RDF
22	Younesse Kaddar, Sam Staton	A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories.	MFPS	2023	DBLP DOI BibTeX RDF
22	Yuan Feng, Hyeran Jeon, Filip Blagojevic, Cyril Guyot, Qing Li, Dong Li	MEMO : Accelerating Transformers with Memoization on Big Memory Systems.	CoRR	2023	DBLP DOI BibTeX RDF
22	Julia Jansson, Patrik Jansson	Level-p-complexity of Boolean functions using Thinning, Memoization, and Polynomials.	CoRR	2023	DBLP DOI BibTeX RDF
22	Julia Jansson, Patrik Jansson	Level-p-complexity of Boolean functions using thinning, memoization, and polynomials.	J. Funct. Program.	2023	DBLP DOI BibTeX RDF
22	José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva	Efficient Embedding of Strategic Attribute Grammars via Memoization.	PEPM@POPL	2023	DBLP DOI BibTeX RDF
22	Priya Arundhati, Sisir Kumar Jena, Santosh Kumar Pani	Approximate function memoization.	Concurr. Comput. Pract. Exp.	2022	DBLP DOI BibTeX RDF
22	Mulong Luo, G. Edward Suh	Accelerating Path Planning for Autonomous Driving with Hardware-Assisted Memoization.	CoRR	2022	DBLP DOI BibTeX RDF
22	Franyell Silfa, José-María Arnau, Antonio González 0001	Saving RNN Computations with a Neuron-Level Fuzzy Memoization Scheme.	CoRR	2022	DBLP BibTeX RDF
22	Xin Wang, Daulet Talapkaliyev, Matthew Hicks, Xun Jian 0002	Self-Reinforcing Memoization for Cryptography Calculations in Secure Memory Systems.	MICRO	2022	DBLP DOI BibTeX RDF
22	Murali Ramanujam, Helen Chen, Shaghayegh Mardani, Ravi Netravali	Floo: automatic, lightweight memoization for faster mobile apps.	MobiSys	2022	DBLP DOI BibTeX RDF
22	Vassilis Vassiliadis, Michael A. Johnston, James L. McDonagh	Fast, Transparent, and High-Fidelity Memoization Cache-Keys for Computational Workflows.	SCC	2022	DBLP DOI BibTeX RDF
22	Taehun Kim, Jinseong Kim, Daijin Kim 0001	SpaceMeshLab: Spatial Context Memoization and Meshgrid Atrous Convolution Consensus for Semantic Segmentation.	CoRR	2021	DBLP BibTeX RDF
22	Shufeng Gong, Chao Tian 0001, Qiang Yin 0002, Wenyuan Yu, Yanfeng Zhang, Liang Geng, Song Yu, Ge Yu 0001, Jingren Zhou	Automating Incremental Graph Processing with Flexible Memoization. (PDF / PS)	Proc. VLDB Endow.	2021	DBLP DOI BibTeX RDF
22	Taehun Kim, Jinseong Kim, Daijin Kim 0001	SpaceMeshLab: Spatial Context Memoization And Meshgrid Atrous Convolution Consensus For Semantic Segmentation.	ICIP	2021	DBLP DOI BibTeX RDF
22	Nima Dini, Razieh Nokhbeh Zaeem, Sarfraz Khurshid	Enhancing constraint-based repair of data structure errors that recur using memoization.	SAC	2021	DBLP DOI BibTeX RDF
22	Zhen Xie, Wenqian Dong, Jie Liu, Ivy Bo Peng, Yanbao Ma, Dong Li 0001	MD-HM: memoization-based molecular dynamics simulations on big memory system.	ICS	2021	DBLP DOI BibTeX RDF
22	Pedro Pinto 0002, João M. P. Cardoso	A methodology and framework for software memoization of functions.	CF	2021	DBLP DOI BibTeX RDF
22	James C. Davis 0001, Francisco Servant, Dongyoon Lee	Using Selective Memoization to Defeat Regular Expression Denial of Service (ReDoS).	SP	2021	DBLP DOI BibTeX RDF
22	Yejin Lee 0001, Seong Hoon Seo, Hyunji Choi, Hyoung Uk Sul, Soosung Kim 0001, Jae W. Lee, Tae Jun Ham	MERCI: efficient embedding reduction on commodity hardware via sub-query memoization.	ASPLOS	2021	DBLP DOI BibTeX RDF
22	Karlheinz Friedberger	Efficient software model checking with block-abstraction memoization.		2021	RDF
22	David Llorens, Juan Miguel Vilar	Easily solving dynamic programming problems in Haskell by memoization of hylomorphisms.	Softw. Pract. Exp.	2020	DBLP DOI BibTeX RDF
22	Dirk Beyer 0001, Karlheinz Friedberger	Domain-independent interprocedural program analysis using block-abstraction memoization.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
22	Grzegorz Herman	Faster general parsing through context-free memoization.	PLDI	2020	DBLP DOI BibTeX RDF
22	Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu	An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update.	FLOPS	2020	DBLP DOI BibTeX RDF
22	Leandro Rouberte, Alexandre da Costa Sena, Alexandre Solon Nery, Leandro A. J. Marzulo, Tiago A. O. Alves, Felipe M. G. França	DF-DTM: Dynamic Task Memoization and reuse in dataflow.	Concurr. Comput. Pract. Exp.	2019	DBLP DOI BibTeX RDF
22	Loïc Besnard, Pedro Pinto 0002, Imane Lasri, João Bispo, Erven Rohou, João M. P. Cardoso	A framework for automatic and parameterizable memoization.	SoftwareX	2019	DBLP DOI BibTeX RDF
22	Mojtaba Farzmahdi, Rong Luo	Exact window memoization: an optimization method for high-performance image processing.	J. Real Time Image Process.	2019	DBLP DOI BibTeX RDF
22	Rishabh K. Iyer, Jeff A. Bilmes	A Memoization Framework for Scaling Submodular Optimization to Large Scale Problems.	CoRR	2019	DBLP BibTeX RDF
22	Mark Minas	Speeding up Generalized PSR Parsers by Memoization Techniques.	GCM@STAF	2019	DBLP DOI BibTeX RDF
22	Étienne Miquey	A constructive proof of dependent choice in classical arithmetic via memoization.	CoRR	2019	DBLP BibTeX RDF
22	Aybeyan Selimi, Samedin Krrabaj, Muzafer H. Saracevic, Selver Pepic	Memoization method for storing of minimum-weight triangulation of a convex polygon.	Comput. Sci.	2019	DBLP DOI BibTeX RDF
22	Ovidiu Banias	Test case selection-prioritization approach based on memoization dynamic programming algorithm.	Inf. Softw. Technol.	2019	DBLP DOI BibTeX RDF
22	Rui Rua, Marco Couto 0001, Adriano Pinto, Jácome Cunha, João Saraiva	Towards using Memoization for Saving Energy in Android.	CIbSE	2019	DBLP BibTeX RDF
22	Rafael Fão de Moura, Paulo C. Santos 0001, João Paulo C. de Lima, Marco A. Z. Alves, Antonio C. S. Beck, Luigi Carro	Skipping CNN Convolutions Through Efficient Memoization.	SAMOS	2019	DBLP DOI BibTeX RDF
22	Franyell Silfa, Gem Dot, José-María Arnau, Antonio González 0001	Neuron-Level Fuzzy Memoization in RNNs.	MICRO	2019	DBLP DOI BibTeX RDF
22	Guowei Zhang 0002, Daniel Sánchez 0003	Leveraging Caches to Accelerate Hash Tables and Memoization.	MICRO	2019	DBLP DOI BibTeX RDF
22	Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster	Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation.	ESOP	2019	DBLP DOI BibTeX RDF
22	Michel Pires, Nícollas Silva, Leonardo Rocha 0001, Wagner Meira Jr., Renato Ferreira 0001	Efficient Parallel Associative Classification Based on Rules Memoization.	ICCS (4)	2019	DBLP DOI BibTeX RDF
22	Zhenhong Liu, Amir Yazdanbakhsh, Dong Kai Wang, Hadi Esmaeilzadeh, Nam Sung Kim	AxMemo: hardware-compiler co-design for approximate code memoization.	ISCA	2019	DBLP DOI BibTeX RDF
22	Rishabh K. Iyer, Jeffrey A. Bilmes	A Memoization Framework for Scaling Submodular Optimization to Large Scale Problems.	AISTATS	2019	DBLP BibTeX RDF
22	Guowei Zhang 0002, Daniel Sánchez 0003	Leveraging Hardware Caches for Memoization.	IEEE Comput. Archit. Lett.	2018	DBLP DOI BibTeX RDF
22	Georgios Tziantzioulis, Nikos Hardavellas, Simone Campanoni	Temporal Approximate Function Memoization.	IEEE Micro	2018	DBLP DOI BibTeX RDF
22	Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle	On Automated Memoization in the Field of Simulation Parameter Studies.	ACM Trans. Model. Comput. Simul.	2018	DBLP DOI BibTeX RDF
22	Simon Wimmer 0001, Shuwei Hu, Tobias Nipkow	Monadification, Memoization and Dynamic Programming.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
22	Martin Avanzini, Ugo Dal Lago	On sharing, memoization, and polynomial time.	Inf. Comput.	2018	DBLP DOI BibTeX RDF
22	Prakash Prabhu, Stephen R. Beard, Sotiris Apostolakis, Ayal Zaks, David I. August	MemoDyn: exploiting weakly consistent data structures for dynamic parallel memoization.	PACT	2018	DBLP DOI BibTeX RDF
22	Pavel S. Andrianov, Vadim S. Mutilin, Mikhail U. Mandrykin, Anton A. Vasilyev	CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution).	TACAS (2)	2018	DBLP DOI BibTeX RDF
22	Craig Mustard, Alexandra Fedorova	Practical Cross Program Memoization with KeyChain.	IEEE BigData	2018	DBLP DOI BibTeX RDF
22	Simon Wimmer 0001, Shuwei Hu, Tobias Nipkow	Verified Memoization and Dynamic Programming.	ITP	2018	DBLP DOI BibTeX RDF
22	Wonchan Lee, Elliott Slaughter, Michael Bauer 0001, Sean Treichler, Todd Warszawski, Michael Garland, Alex Aiken	Dynamic tracing: memoization of task graphs for dynamic task-based runtimes.	SC	2018	DBLP BibTeX RDF
22	Hideyuki Kawabata	Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by Using Memoization Based on Quantized Precision.	J. Inf. Process.	2017	DBLP DOI BibTeX RDF
22	Jiang Ming 0002, Dongpeng Xu 0001, Dinghao Wu	MalwareHunt: semantics-based malware diffing speedup by normalized basic block memoization.	J. Comput. Virol. Hacking Tech.	2017	DBLP DOI BibTeX RDF
22	Ravichandhran Madhavan, Sumith Kulal, Viktor Kuncak	Contract-based resource verification for higher-order functions with memoization.	POPL	2017	DBLP DOI BibTeX RDF
22	Arjun Suresh, Erven Rohou, André Seznec	Compile-time function memoization.	CC	2017	DBLP BibTeX RDF
22	Iulian Brumar, Marc Casas, Miquel Moretó, Mateo Valero, Gurindar S. Sohi	ATM: Approximate Task Memoization in the Runtime System.	IPDPS	2017	DBLP DOI BibTeX RDF
22	Pavel S. Andrianov, Karlheinz Friedberger, Mikhail U. Mandrykin, Vadim S. Mutilin, Anton Volkov	CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution).	TACAS (2)	2017	DBLP DOI BibTeX RDF
22	Kevin Boos, David Chu, Eduardo Cuervo	FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization.	GetMobile Mob. Comput. Commun.	2016	DBLP DOI BibTeX RDF
22	Mojtaba Farzmahdi, Rong Luo	Memoization-based high-performance video frame processing.	J. Electronic Imaging	2016	DBLP DOI BibTeX RDF
22	Alexander Moreno, Tucker Balch	Improving financial computation speed with full and subproblem memoization.	Concurr. Comput. Pract. Exp.	2016	DBLP DOI BibTeX RDF
22	Sharad Sinha, Wei Zhang 0012	Low-Power FPGA Design Using Memoization-Based Approximate Computing.	IEEE Trans. Very Large Scale Integr. Syst.	2016	DBLP DOI BibTeX RDF
22	Alev Mutlu, Pinar Karagoz	Policy-based memoization for ILP-based concept discovery systems.	J. Intell. Inf. Syst.	2016	DBLP DOI BibTeX RDF
22	Alejandro Calderón 0001, Alberto García Fernández, Félix García Carballeira, Jesús Carretero 0001, Javier Fernández 0001	Improving performance using computational compression through memoization: A case study using a railway power consumption simulator.	Int. J. High Perform. Comput. Appl.	2016	DBLP DOI BibTeX RDF
22	Matthew A. Hammer, Jana Dunfield	Typed Adapton: Refinement types for nominal memoization.	CoRR	2016	DBLP BibTeX RDF
22	Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle	Automated Memoization for Parameter Studies Implemented in Impure Languages.	SIGSIM-PADS	2016	DBLP DOI BibTeX RDF