BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
partial (3)
symbol (3)
execut (3)
analysi (2)
processor (2)

Stem memoiz$ (all stems)

18 papers:

OOPSLAOOPSLA-2015-ToffolaPG #dynamic analysis #performance #problem
Performance problems you can fix: a dynamic analysis of memoization opportunities (LDT, MP, TRG), pp. 607–622.
ICSEICSE-v1-2015-QiuYPK #composition #execution #symbolic computation
Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.
DATEDATE-2014-RahimiBG #energy #fault
Temporal memoization for energy-efficient timing error recovery in GPGPUs (AR, LB, RKG), pp. 1–6.
ICSEICSE-2013-YangKP #execution #named #symbolic computation
Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.
TACASTACAS-2012-Wonisch #abstraction #contest
Block Abstraction Memoization for CPAchecker — (Competition Contribution) (DW), pp. 531–533.
ISSTAISSTA-2012-YangPK #execution #symbolic computation
Memoized symbolic execution (GY, CSP, SK), pp. 144–154.
ISSTAISSTA-2011-GuoE #automation #data analysis #persistent #using
Using automatic persistent memoization to facilitate data analysis scripting (PJG, DRE), pp. 287–297.
DATEDATE-2010-BorodinJ #detection #fault
Instruction precomputation with memoization for fault detection (DB, BHHJ), pp. 1665–1668.
OSDIOSDI-2010-CuiWTY #multi #thread
Stable Deterministic Multithreading through Schedule Memoization (HC, JW, CcT, JY), pp. 207–221.
ICFPICFP-2009-ZiarekSJ #communication #concurrent
Partial memoization of concurrency and communication (LZ, KCS, SJ), pp. 161–172.
ICMLICML-2009-WoodAGJT #probability #sequence
A stochastic memoizer for sequence data (FW, CA, JG, LJ, YWT), pp. 1129–1136.
PEPMPEPM-2006-SwadiTKP #approach #monad #staging
A monadic approach for avoiding code duplication when staging memoized functions (KNS, WT, OK, EP), pp. 160–169.
DATEDATE-2005-IshiharaF #power management
A Way Memoization Technique for Reducing Power Consumption of Caches in Application Specific Integrated Processors (TI, FF), pp. 358–363.
ESOPESOP-2004-EspanaE #functional #logic #semantics
A Memoizing Semantics for Functional Logic Languages (SE, VE), pp. 109–123.
POPLPOPL-2003-AcarBH
Selective memoization (UAA, GEB, RH), pp. 14–25.
GPCEGPCE-2002-BalatD #partial evaluation
Memoization in Type-Directed Partial Evaluation (VB, OD), pp. 78–92.
ASPLOSASPLOS-1998-SchnarrL #performance #simulation #using
Fast Out-Of-Order Processor Simulation Using Memoization (ES, JRL), pp. 283–294.
PPDPPLILP-1996-Thiemann #implementation #partial evaluation
Implementing Memoization for Partial Evaluation (PT), pp. 198–212.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.