The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Memoization with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1989-1996 (16) 1997-2002 (23) 2003-2004 (17) 2005-2006 (22) 2007-2008 (22) 2009-2010 (16) 2011-2013 (16) 2014-2015 (15) 2016 (15) 2017-2018 (17) 2019 (16) 2020-2022 (19) 2023-2024 (10)
Publication types (Num. hits)
article(64) inproceedings(156) phdthesis(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 199 occurrences of 125 keywords

Results
Found 224 publication records. Showing 224 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
147Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan Partial memoization of concurrency and communication. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF partial memoization, software transactions, concurrent programming, multicore systems, concurrent ml
82Carlos Álvarez 0001, Jesús Corbal, Mateo Valero Fuzzy Memoization for Floating-Point Multimedia Applications. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Low-power design, real-time and embedded systems, special-purpose and application-based systems
82Richard A. Frost Monadic Memoization towards Correctness-Preserving Reduction of Search. Search on Bibsonomy AI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
72K. G. Srinivasa 0001, M. Jagadish, K. R. Venugopal 0001, Lalit M. Patnaik Non-repetitive DNA Sequence Compression Using Memoization. Search on Bibsonomy ISBMDA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF DNA Compression, Text Compression, Memoization
72Umut A. Acar, Guy E. Blelloch, Robert Harper 0001 Selective memoization. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF performance, selective, memoization, programmer controlled
67Peter Thiemann 0001 Implementing Memoization for Partial Evaluation. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF incremental specialization, termination of partial evaluation, reflection, partial evaluation, automatic program transformation
57Robert S. Boyer, Warren A. Hunt Jr. Function memoization and unique object representation for ACL2 functions. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ACL2 workshop, function memoization, hash CONS, hash CONSing, Lisp, ACL2
57Eric Schnarr, James R. Larus Fast Out-Of-Order Processor Simulation Using Memoization. Search on Bibsonomy ASPLOS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF out-of-order processor simulation, memoization, direct-execution
52Joseph J. Sharkey, Dmitry Ponomarev 0001, Kanad Ghose, Oguz Ergin Reducing Delay and Power Consumption of the Wakeup Logic Through Instruction Packing and Tag Memoization. Search on Bibsonomy PACS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Daniel Citron, Dror G. Feitelson "Look It Up" or "Do the Math": An Energy, Area, and Timing Analysis of Instruction Reuse and Memoization. Search on Bibsonomy PACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Wes Masri Exploiting the empirical characteristics of program dependences for improved forward computation of dynamic slices. Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Forward computation, Program analysis, Program debugging, Memoization, Dynamic slicing, Program dependence
50Richard A. Frost, Rahmatullah Hafiz A new top-down parsing algorithm to accommodate ambiguity and left recursion in polynomial time. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF left-recursion, top-down parsing, backtracking, memoization, parser combinators
50Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde Fast partial evaluation of pattern matching in strings. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Partial evaluation, string matching, memoization
50François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder 0001 Efficient evaluation of n-ary conjunctive queries over trees and graphs. Search on Bibsonomy WIDM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF query evaluation and optimization, XML, RDF, semi-structured data, conjunctive queries, memoization
50Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde Fast partial evaluation of pattern matching in strings. Search on Bibsonomy PEPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF partial evaluation, string matching, memoization
45Umut A. Acar, Matthias Blume, Jacob Donham A Consistent Semantics of Self-adjusting Computation. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic A monadic approach for avoiding code duplication when staging memoized functions. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF partial evaluation, monads, fixed points, program generation, program specialization, staging, multi-stage programming, code duplication
43Mirko Stoffers, Ralf Bettermann, Klaus Wehrle Automated memoization: Automatically identifying memoization units in simulation parameter studies. Search on Bibsonomy DS-RT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
37Yanlei Diao, Daniela Florescu, Donald Kossmann, Michael J. Carey 0001, Michael J. Franklin Implementing Memoization in a Streaming XQuery Processor. Search on Bibsonomy XSym The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Paul Beame, Russell Impagliazzo, Toniann Pitassi, Nathan Segerlind Memoization and DPLL: Formula Caching Proof Systems. Search on Bibsonomy CCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Vincent Balat, Olivier Danvy Memoization in Type-Directed Partial Evaluation. Search on Bibsonomy GPCE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Berthold Hoffmann Term Rewriting with Sharing and Memoïzation. Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
35Kota Mizushima, Atusi Maeda, Yoshinori Yamaguchi Packrat parsers can handle practical grammars in mostly constant space. Search on Bibsonomy PASTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cut operators, packrat parsing, parsing expression grammars, backtracking, memoization, parser generator
35Haiying Xu, Christopher J. F. Pickett, Clark Verbrugge Dynamic purity analysis for java programs. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF purity, Java, software metrics, dynamic analysis, memoization, side effects, escape analysis
35Salvador España Boquera, Vicent Estruch A Memoizing Semantics for Functional Logic Languages. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Programming languages, formal semantics, memoization
35Yanhong A. Liu, Scott D. Stoller Dynamic Programming via Static Incrementalization. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF tabulation, dynamic programming, caching, static analysis, program transformation, dependence analysis, pruning, program optimization, incrementalization, incremental computation, memoization, incremental update
35Baltasar Trancón y Widemann Stacking Cycles: Functional Transformation of Circular Data. Search on Bibsonomy IFL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF corecursion, anamorphism, function memoization, code generation, Coalgebra, cycle detection
30Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan Shifting the stage: staging with delimited control. Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF delimited control, multilevel languages, mutable state, staged programming, code generation, continuations, side effects
30Guido Moerkotte, Thomas Neumann 0001 Dynamic programming strikes back. Search on Bibsonomy SIGMOD Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF complex joins, query optimization, hypergraphs
30João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper Functional Incremental Attribute Evaluation. Search on Bibsonomy CC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Joseph M. Hellerstein, Jeffrey F. Naughton Query Execution Techniques for Caching Expensive Methods. Search on Bibsonomy SIGMOD Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
22Minsu Kim, Jinwoo Hwang, Guseul Heo, Seiyeon Cho, Divya Mahajan 0001, Jongse Park Accelerating String-Key Learned Index Structures via Memoization-based Incremental Training. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Hiroya Fujinami, Ichiro Hasuo Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Hiroya Fujinami, Ichiro Hasuo Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. Search on Bibsonomy ESOP (2) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Yican Sun, Xuanyu Peng, Yingfei Xiong 0001 Synthesizing Efficient Memoization Algorithms. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Gunjan Beniwal, Anita Singhrova Memoization based priority-aware task management for QoS provisioning in IoT gateways. Search on Bibsonomy J. Ambient Intell. Smart Environ. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Younesse Kaddar, Sam Staton A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories. Search on Bibsonomy MFPS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Yuan Feng, Hyeran Jeon, Filip Blagojevic, Cyril Guyot, Qing Li, Dong Li MEMO : Accelerating Transformers with Memoization on Big Memory Systems. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Julia Jansson, Patrik Jansson Level-p-complexity of Boolean functions using Thinning, Memoization, and Polynomials. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Julia Jansson, Patrik Jansson Level-p-complexity of Boolean functions using thinning, memoization, and polynomials. Search on Bibsonomy J. Funct. Program. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva Efficient Embedding of Strategic Attribute Grammars via Memoization. Search on Bibsonomy PEPM@POPL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Priya Arundhati, Sisir Kumar Jena, Santosh Kumar Pani Approximate function memoization. Search on Bibsonomy Concurr. Comput. Pract. Exp. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Mulong Luo, G. Edward Suh Accelerating Path Planning for Autonomous Driving with Hardware-Assisted Memoization. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Franyell Silfa, José-María Arnau, Antonio González 0001 Saving RNN Computations with a Neuron-Level Fuzzy Memoization Scheme. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
22Xin Wang, Daulet Talapkaliyev, Matthew Hicks, Xun Jian 0002 Self-Reinforcing Memoization for Cryptography Calculations in Secure Memory Systems. Search on Bibsonomy MICRO The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Murali Ramanujam, Helen Chen, Shaghayegh Mardani, Ravi Netravali Floo: automatic, lightweight memoization for faster mobile apps. Search on Bibsonomy MobiSys The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Vassilis Vassiliadis, Michael A. Johnston, James L. McDonagh Fast, Transparent, and High-Fidelity Memoization Cache-Keys for Computational Workflows. Search on Bibsonomy SCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Taehun Kim, Jinseong Kim, Daijin Kim 0001 SpaceMeshLab: Spatial Context Memoization and Meshgrid Atrous Convolution Consensus for Semantic Segmentation. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
22Shufeng 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) Search on Bibsonomy Proc. VLDB Endow. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Taehun Kim, Jinseong Kim, Daijin Kim 0001 SpaceMeshLab: Spatial Context Memoization And Meshgrid Atrous Convolution Consensus For Semantic Segmentation. Search on Bibsonomy ICIP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Nima Dini, Razieh Nokhbeh Zaeem, Sarfraz Khurshid Enhancing constraint-based repair of data structure errors that recur using memoization. Search on Bibsonomy SAC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Zhen Xie, Wenqian Dong, Jie Liu, Ivy Bo Peng, Yanbao Ma, Dong Li 0001 MD-HM: memoization-based molecular dynamics simulations on big memory system. Search on Bibsonomy ICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Pedro Pinto 0002, João M. P. Cardoso A methodology and framework for software memoization of functions. Search on Bibsonomy CF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22James C. Davis 0001, Francisco Servant, Dongyoon Lee Using Selective Memoization to Defeat Regular Expression Denial of Service (ReDoS). Search on Bibsonomy SP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Yejin 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. Search on Bibsonomy ASPLOS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Karlheinz Friedberger Efficient software model checking with block-abstraction memoization. Search on Bibsonomy 2021   RDF
22David Llorens, Juan Miguel Vilar Easily solving dynamic programming problems in Haskell by memoization of hylomorphisms. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Dirk Beyer 0001, Karlheinz Friedberger Domain-independent interprocedural program analysis using block-abstraction memoization. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Grzegorz Herman Faster general parsing through context-free memoization. Search on Bibsonomy PLDI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. Search on Bibsonomy FLOPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Leandro 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. Search on Bibsonomy Concurr. Comput. Pract. Exp. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Loïc Besnard, Pedro Pinto 0002, Imane Lasri, João Bispo, Erven Rohou, João M. P. Cardoso A framework for automatic and parameterizable memoization. Search on Bibsonomy SoftwareX The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Mojtaba Farzmahdi, Rong Luo Exact window memoization: an optimization method for high-performance image processing. Search on Bibsonomy J. Real Time Image Process. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Rishabh K. Iyer, Jeff A. Bilmes A Memoization Framework for Scaling Submodular Optimization to Large Scale Problems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
22Mark Minas Speeding up Generalized PSR Parsers by Memoization Techniques. Search on Bibsonomy GCM@STAF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Étienne Miquey A constructive proof of dependent choice in classical arithmetic via memoization. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
22Aybeyan Selimi, Samedin Krrabaj, Muzafer H. Saracevic, Selver Pepic Memoization method for storing of minimum-weight triangulation of a convex polygon. Search on Bibsonomy Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Ovidiu Banias Test case selection-prioritization approach based on memoization dynamic programming algorithm. Search on Bibsonomy Inf. Softw. Technol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Rui Rua, Marco Couto 0001, Adriano Pinto, Jácome Cunha, João Saraiva Towards using Memoization for Saving Energy in Android. Search on Bibsonomy CIbSE The full citation details ... 2019 DBLP  BibTeX  RDF
22Rafael 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. Search on Bibsonomy SAMOS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Franyell Silfa, Gem Dot, José-María Arnau, Antonio González 0001 Neuron-Level Fuzzy Memoization in RNNs. Search on Bibsonomy MICRO The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Guowei Zhang 0002, Daniel Sánchez 0003 Leveraging Caches to Accelerate Hash Tables and Memoization. Search on Bibsonomy MICRO The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Michel Pires, Nícollas Silva, Leonardo Rocha 0001, Wagner Meira Jr., Renato Ferreira 0001 Efficient Parallel Associative Classification Based on Rules Memoization. Search on Bibsonomy ICCS (4) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Zhenhong Liu, Amir Yazdanbakhsh, Dong Kai Wang, Hadi Esmaeilzadeh, Nam Sung Kim AxMemo: hardware-compiler co-design for approximate code memoization. Search on Bibsonomy ISCA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Rishabh K. Iyer, Jeffrey A. Bilmes A Memoization Framework for Scaling Submodular Optimization to Large Scale Problems. Search on Bibsonomy AISTATS The full citation details ... 2019 DBLP  BibTeX  RDF
22Guowei Zhang 0002, Daniel Sánchez 0003 Leveraging Hardware Caches for Memoization. Search on Bibsonomy IEEE Comput. Archit. Lett. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Georgios Tziantzioulis, Nikos Hardavellas, Simone Campanoni Temporal Approximate Function Memoization. Search on Bibsonomy IEEE Micro The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle On Automated Memoization in the Field of Simulation Parameter Studies. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Simon Wimmer 0001, Shuwei Hu, Tobias Nipkow Monadification, Memoization and Dynamic Programming. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2018 DBLP  BibTeX  RDF
22Martin Avanzini, Ugo Dal Lago On sharing, memoization, and polynomial time. Search on Bibsonomy Inf. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Prakash Prabhu, Stephen R. Beard, Sotiris Apostolakis, Ayal Zaks, David I. August MemoDyn: exploiting weakly consistent data structures for dynamic parallel memoization. Search on Bibsonomy PACT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Pavel 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). Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Craig Mustard, Alexandra Fedorova Practical Cross Program Memoization with KeyChain. Search on Bibsonomy IEEE BigData The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Simon Wimmer 0001, Shuwei Hu, Tobias Nipkow Verified Memoization and Dynamic Programming. Search on Bibsonomy ITP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Wonchan 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. Search on Bibsonomy SC The full citation details ... 2018 DBLP  BibTeX  RDF
22Hideyuki Kawabata Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by Using Memoization Based on Quantized Precision. Search on Bibsonomy J. Inf. Process. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Jiang Ming 0002, Dongpeng Xu 0001, Dinghao Wu MalwareHunt: semantics-based malware diffing speedup by normalized basic block memoization. Search on Bibsonomy J. Comput. Virol. Hacking Tech. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Ravichandhran Madhavan, Sumith Kulal, Viktor Kuncak Contract-based resource verification for higher-order functions with memoization. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Arjun Suresh, Erven Rohou, André Seznec Compile-time function memoization. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
22Iulian Brumar, Marc Casas, Miquel Moretó, Mateo Valero, Gurindar S. Sohi ATM: Approximate Task Memoization in the Runtime System. Search on Bibsonomy IPDPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Pavel 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). Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Kevin Boos, David Chu, Eduardo Cuervo FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization. Search on Bibsonomy GetMobile Mob. Comput. Commun. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Mojtaba Farzmahdi, Rong Luo Memoization-based high-performance video frame processing. Search on Bibsonomy J. Electronic Imaging The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Alexander Moreno, Tucker Balch Improving financial computation speed with full and subproblem memoization. Search on Bibsonomy Concurr. Comput. Pract. Exp. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Sharad Sinha, Wei Zhang 0012 Low-Power FPGA Design Using Memoization-Based Approximate Computing. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Alev Mutlu, Pinar Karagoz Policy-based memoization for ILP-based concept discovery systems. Search on Bibsonomy J. Intell. Inf. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Alejandro 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. Search on Bibsonomy Int. J. High Perform. Comput. Appl. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Matthew A. Hammer, Jana Dunfield Typed Adapton: Refinement types for nominal memoization. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
22Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle Automated Memoization for Parameter Studies Implemented in Impure Languages. Search on Bibsonomy SIGSIM-PADS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 224 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license