Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
147 | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
Partial memoization of concurrency and communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 161-172, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(7), pp. 922-927, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings, pp. 66-80, 2003, Springer, 3-540-40300-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBMDA ![In: Biological and Medical Data Analysis, 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006, Proceedings, pp. 402-412, 2006, Springer, 3-540-68063-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
DNA Compression, Text Compression, Memoization |
72 | Umut A. Acar, Guy E. Blelloch, Robert Harper 0001 |
Selective memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 14-25, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
performance, selective, memoization, programmer controlled |
67 | Peter Thiemann 0001 |
Implementing Memoization for Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, pp. 198-212, 1996, Springer, 3-540-61756-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006, pp. 81-89, 2006, ACM, 0-9788493-0-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VIII Proceedings of the 8th International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 3-7, 1998., pp. 283-294, 1998, ACM Press, 1-58113-107-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACS ![In: Power-Aware Computer Systems, 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers, pp. 15-29, 2004, Springer, 3-540-29790-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACS ![In: Power-Aware Computer Systems, Third International Workshop, PACS 2003, SanDiego, CA, USA, December 1, 2003, Revised Papers, pp. 101-116, 2003, Springer, 3-540-24031-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Wes Masri |
Exploiting the empirical characteristics of program dependences for improved forward computation of dynamic slices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 13(4), pp. 369-399, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 41(5), pp. 46-54, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(4), pp. 696-714, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIDM ![In: Eigth ACM International Workshop on Web Information and Data Management (WIDM 2006), Arlington, Virginia, USA, November 10, 2006, pp. 11-18, 2006, ACM, 1-59593-525-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003, pp. 3-9, 2003, ACM, 1-58113-667-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 458-474, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006, pp. 160-169, 2006, ACM, 1-59593-196-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2017, Rome, Italy, October 18-20, 2017, pp. 33-42, 2017, IEEE Computer Society, 978-1-5386-4028-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XSym ![In: Database and XML Technologies, Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004, Proceedings, pp. 35-50, 2004, Springer, 3-540-22969-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Paul Beame, Russell Impagliazzo, Toniann Pitassi, Nathan Segerlind |
Memoization and DPLL: Formula Caching Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 18th Annual IEEE Conference on Computational Complexity (Complexity 2003), 7-10 July 2003, Aarhus, Denmark, pp. 248-, 2003, IEEE Computer Society, 0-7695-1879-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Vincent Balat, Olivier Danvy |
Memoization in Type-Directed Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings, pp. 78-92, 2002, Springer, 3-540-44284-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Berthold Hoffmann |
Term Rewriting with Sharing and Memoïzation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings, pp. 128-142, 1992, Springer, 3-540-55873-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
35 | Kota Mizushima, Atusi Maeda, Yoshinori Yamaguchi |
Packrat parsers can handle practical grammars in mostly constant space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010, pp. 29-36, 2010, ACM, 978-1-4503-0082-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007, pp. 75-82, 2007, ACM, 978-1-59593-595-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 109-123, 2004, Springer, 3-540-21313-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Programming languages, formal semantics, memoization |
35 | Yanhong A. Liu, Scott D. Stoller |
Dynamic Programming via Static Incrementalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 16(1-2), pp. 37-62, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 150-164, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 111-120, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008, pp. 539-552, 2008, ACM, 978-1-60558-102-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
complex joins, query optimization, hypergraphs |
30 | João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper |
Functional Incremental Attribute Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 279-294, 2000, Springer, 3-540-67263-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Joseph M. Hellerstein, Jeffrey F. Naughton |
Query Execution Techniques for Caching Expensive Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, Montreal, Quebec, Canada, June 4-6, 1996., pp. 423-434, 1996, ACM Press, 978-0-89791-794-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.11472, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Hiroya Fujinami, Ichiro Hasuo |
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.12639, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Hiroya Fujinami, Ichiro Hasuo |
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP (2) ![In: Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, pp. 90-118, 2024, Springer, 978-3-031-57266-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Yican Sun, Xuanyu Peng, Yingfei Xiong 0001 |
Synthesizing Efficient Memoization Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA2), pp. 89-115, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Gunjan Beniwal, Anita Singhrova |
Memoization based priority-aware task management for QoS provisioning in IoT gateways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ambient Intell. Smart Environ. ![In: J. Ambient Intell. Smart Environ. 15(4), pp. 381-399, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023, 2023, EpiSciences. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.09262, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Julia Jansson, Patrik Jansson |
Level-p-complexity of Boolean functions using Thinning, Memoization, and Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.02473, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Julia Jansson, Patrik Jansson |
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 33, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva |
Efficient Embedding of Strategic Attribute Grammars via Memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM@POPL ![In: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023, pp. 41-54, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Priya Arundhati, Sisir Kumar Jena, Santosh Kumar Pani |
Approximate function memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 34(23), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Mulong Luo, G. Edward Suh |
Accelerating Path Planning for Autonomous Driving with Hardware-Assisted Memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.02754, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.06563, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
22 | Xin Wang, Daulet Talapkaliyev, Matthew Hicks, Xun Jian 0002 |
Self-Reinforcing Memoization for Cryptography Calculations in Secure Memory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 55th IEEE/ACM International Symposium on Microarchitecture, MICRO 2022, Chicago, IL, USA, October 1-5, 2022, pp. 678-692, 2022, IEEE, 978-1-6654-6272-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Murali Ramanujam, Helen Chen, Shaghayegh Mardani, Ravi Netravali |
Floo: automatic, lightweight memoization for faster mobile apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiSys ![In: MobiSys '22: The 20th Annual International Conference on Mobile Systems, Applications and Services, Portland, Oregon, 27 June 2022 - 1 July 2022, pp. 168-182, 2022, ACM, 978-1-4503-9185-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCC ![In: IEEE International Conference on Services Computing, SCC 2022, Barcelona, Spain, July 10-16, 2022, pp. 174-184, 2022, IEEE, 978-1-6654-8146-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.04025, 2021. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 14(9), pp. 1613-1625, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: 2021 IEEE International Conference on Image Processing, ICIP 2021, Anchorage, AK, USA, September 19-22, 2021, pp. 2259-2263, 2021, IEEE, 978-1-6654-3102-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021, pp. 1823-1832, 2021, ACM, 978-1-4503-8104-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: ICS '21: 2021 International Conference on Supercomputing, Virtual Event, USA, June 14-17, 2021., pp. 215-226, 2021, ACM, 978-1-4503-8335-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Pedro Pinto 0002, João M. P. Cardoso |
A methodology and framework for software memoization of functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CF ![In: CF '21: Computing Frontiers Conference, Virtual Event, Italy, May 11-13, 2021, pp. 93-101, 2021, ACM, 978-1-4503-8404-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, pp. 1-17, 2021, IEEE, 978-1-7281-8935-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Virtual Event, USA, April 19-23, 2021, pp. 302-313, 2021, ACM, 978-1-4503-8317-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Karlheinz Friedberger |
Efficient software model checking with block-abstraction memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
22 | David Llorens, Juan Miguel Vilar |
Easily solving dynamic programming problems in Haskell by memoization of hylomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 50(12), pp. 2193-2211, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Dirk Beyer 0001, Karlheinz Friedberger |
Domain-independent interprocedural program analysis using block-abstraction memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pp. 50-62, 2020, ACM, 978-1-4503-7043-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Grzegorz Herman |
Faster general parsing through context-free memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020, pp. 1022-1035, 2020, ACM, 978-1-4503-7613-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 159-178, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 31(18), 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftwareX ![In: SoftwareX 10, pp. 100322, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Mojtaba Farzmahdi, Rong Luo |
Exact window memoization: an optimization method for high-performance image processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Real Time Image Process. ![In: J. Real Time Image Process. 16(2), pp. 491-503, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Rishabh K. Iyer, Jeff A. Bilmes |
A Memoization Framework for Scaling Submodular Optimization to Large Scale Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.10176, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Mark Minas |
Speeding up Generalized PSR Parsers by Memoization Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCM@STAF ![In: Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019, Eindhoven, The Netherlands, 17th July 2019., pp. 71-86, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Étienne Miquey |
A constructive proof of dependent choice in classical arithmetic via memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.07616, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. ![In: Comput. Sci. 20(2), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Ovidiu Banias |
Test case selection-prioritization approach based on memoization dynamic programming algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 115, pp. 119-130, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIbSE ![In: Proceedings of the XXII Iberoamerican Conference on Software Engineering, CIbSE 2019, La Habana, Cuba, April 22-26, 2019., pp. 279-292, 2019, Curran Associates, 978-1-5108-8795-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation - 19th International Conference, SAMOS 2019, Samos, Greece, July 7-11, 2019, Proceedings, pp. 65-76, 2019, Springer, 978-3-030-27561-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Franyell Silfa, Gem Dot, José-María Arnau, Antonio González 0001 |
Neuron-Level Fuzzy Memoization in RNNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2019, Columbus, OH, USA, October 12-16, 2019., pp. 782-793, 2019, ACM, 978-1-4503-6938-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Guowei Zhang 0002, Daniel Sánchez 0003 |
Leveraging Caches to Accelerate Hash Tables and Memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2019, Columbus, OH, USA, October 12-16, 2019., pp. 440-452, 2019, ACM, 978-1-4503-6938-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 553-580, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (4) ![In: Computational Science - ICCS 2019 - 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part IV, pp. 31-44, 2019, Springer, 978-3-030-22746-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 46th International Symposium on Computer Architecture, ISCA 2019, Phoenix, AZ, USA, June 22-26, 2019, pp. 685-697, 2019, ACM, 978-1-4503-6669-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Rishabh K. Iyer, Jeffrey A. Bilmes |
A Memoization Framework for Scaling Submodular Optimization to Large Scale Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: The 22nd International Conference on Artificial Intelligence and Statistics, AISTATS 2019, 16-18 April 2019, Naha, Okinawa, Japan, pp. 2340-2349, 2019, PMLR. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Guowei Zhang 0002, Daniel Sánchez 0003 |
Leveraging Hardware Caches for Memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Comput. Archit. Lett. ![In: IEEE Comput. Archit. Lett. 17(1), pp. 59-63, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Georgios Tziantzioulis, Nikos Hardavellas, Simone Campanoni |
Temporal Approximate Function Memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 38(4), pp. 60-70, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 28(4), pp. 26:1-26:25, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Simon Wimmer 0001, Shuwei Hu, Tobias Nipkow |
Monadification, Memoization and Dynamic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2018, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Martin Avanzini, Ugo Dal Lago |
On sharing, memoization, and polynomial time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 261, pp. 3-22, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: Proceedings of the 27th International Conference on Parallel Architectures and Compilation Techniques, PACT 2018, Limassol, Cyprus, November 01-04, 2018, pp. 15:1-15:12, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II, pp. 427-431, 2018, Springer, 978-3-319-89962-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Craig Mustard, Alexandra Fedorova |
Practical Cross Program Memoization with KeyChain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: IEEE International Conference on Big Data (IEEE BigData 2018), Seattle, WA, USA, December 10-13, 2018, pp. 262-271, 2018, IEEE, 978-1-5386-5035-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Simon Wimmer 0001, Shuwei Hu, Tobias Nipkow |
Verified Memoization and Dynamic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, pp. 579-596, 2018, Springer, 978-3-319-94820-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis, SC 2018, Dallas, TX, USA, November 11-16, 2018, pp. 34:1-34:13, 2018, IEEE / ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Hideyuki Kawabata |
Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by Using Memoization Based on Quantized Precision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 25, pp. 494-504, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. Hacking Tech. ![In: J. Comput. Virol. Hacking Tech. 13(3), pp. 167-178, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Ravichandhran Madhavan, Sumith Kulal, Viktor Kuncak |
Contract-based resource verification for higher-order functions with memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pp. 330-343, 2017, ACM, 978-1-4503-4660-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Arjun Suresh, Erven Rohou, André Seznec |
Compile-time function memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017, pp. 45-54, 2017, ACM, 978-1-4503-5233-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Iulian Brumar, Marc Casas, Miquel Moretó, Mateo Valero, Gurindar S. Sohi |
ATM: Approximate Task Memoization in the Runtime System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 2017 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2017, Orlando, FL, USA, May 29 - June 2, 2017, pp. 1140-1150, 2017, IEEE Computer Society, 978-1-5386-3914-6. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II, pp. 355-359, 2017, 978-3-662-54579-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Kevin Boos, David Chu, Eduardo Cuervo |
FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GetMobile Mob. Comput. Commun. ![In: GetMobile Mob. Comput. Commun. 20(4), pp. 23-27, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Mojtaba Farzmahdi, Rong Luo |
Memoization-based high-performance video frame processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electronic Imaging ![In: J. Electronic Imaging 25(6), pp. 63025, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Alexander Moreno, Tucker Balch |
Improving financial computation speed with full and subproblem memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 28(3), pp. 905-915, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Sharad Sinha, Wei Zhang 0012 |
Low-Power FPGA Design Using Memoization-Based Approximate Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 24(8), pp. 2665-2678, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Alev Mutlu, Pinar Karagoz |
Policy-based memoization for ILP-based concept discovery systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 46(1), pp. 99-120, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. High Perform. Comput. Appl. ![In: Int. J. High Perform. Comput. Appl. 30(4), pp. 469-485, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Matthew A. Hammer, Jana Dunfield |
Typed Adapton: Refinement types for nominal memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.00097, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle |
Automated Memoization for Parameter Studies Implemented in Impure Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSIM-PADS ![In: Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, SIGSIM-PADS 2016, Banff, Alberta, Canada, May 15-18, 2016, pp. 221-232, 2016, ACM, 978-1-4503-3742-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|