8 papers:
PLDI-2013-Ragan-KelleyBAPDA #compilation #image #locality #named #optimisation #parallel #pipes and filters- Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines (JRK, CB, AA, SP, FD, SPA), pp. 519–530.
DAC-2010-HuXTHQS #embedded #migration #process- Reducing write activities on non-volatile memories in embedded CMPs via data migration and recomputation (JH, CJX, WCT, YH, MQ, EHMS), pp. 350–355.
- DAC-2007-KocKEO #embedded #memory management #multi #using
- Reducing Off-Chip Memory Access Costs Using Data Recomputation in Embedded Chip Multi-processors (HK, MTK, EE, ÖÖ), pp. 224–229.
DATE-2005-KandemirLCCO #embedded #in memory #trade-off- Studying Storage-Recomputation Tradeoffs in Memory-Constrained Embedded Processing (MTK, FL, GC, GC, ÖÖ), pp. 1026–1031.
PLILP-1997-HuangSS #logic programming #parallel #source code- Selective Recomputation for Handling Side-Effects in Parallel Logic Programs (ZH, CS, AS), pp. 275–289.
ICLP-1997-HuangSS #execution #modelling #parallel- Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models (ZH, CS, AS), p. 410.
ICALP-1994-AumannBF #bound #cost analysis #fault #on the- On the Cost of Recomputing: Tight Bounds on Pebbling with Faults (YA, JBI, UF), pp. 47–58.
- ICLP-1994-AzevedoS #program transformation
- Recomputation-Free Lemmatization by Program Transformation (PJdSA, MJS), pp. 739–740.
