35 papers:
DAC-2015-ZhangMMWSS #3d #design- A cross-layer design exploration of charge-recycled power-delivery in many-layer 3d-IC (RZ, KM, BHM, KW, KS, MRS), p. 6.
CHI-2015-LesselAK #analysis #people- Analysis of Recycling Capabilities of Individuals and Crowds to Encourage and Educate People to Separate Their Garbage Playfully (PL, MA, AK), pp. 1095–1104.
SAC-2015-TakanoI #correctness #functional #lazy evaluation #semantics- Thunk recycling for lazy functional languages: operational semantics and correctness (YT, HI), pp. 2079–2086.
ISMM-2015-ShidalSSCK- Recycling trash in cache (JAS, AJS, PTS, RKC, KMK), pp. 118–130.
- DAC-2014-GuinZFT #low cost
- Low-cost On-Chip Structures for Combating Die and IC Recycling (UG, XZ, DF, MT), p. 6.
- DAC-2014-ZhengBB #analysis #identification #named #robust #towards
- CACI: Dynamic Current Analysis Towards Robust Recycled Chip Identification (YZ, AB, SB), p. 6.
ICPR-2012-LiuML #learning #multi- Training data recycling for multi-level learning (JL, SM, YL), pp. 2314–2318.
FSE-2012-VisserGD #constraints #named #program analysis #reuse- Green: reducing, reusing and recycling constraints in program analysis (WV, JG, MBD), p. 58.
IDGD-2011-ShenROWZZY #design- Service Design about the Recycle System of College Bicycles (TS, PR, YO, YW, BZ, YZ, LY), pp. 220–227.
ECOOP-2011-BhattacharyaNGG #reuse- Reuse, Recycle to De-bloat Software (SB, MGN, KG, MG), pp. 408–432.
LCTES-2011-BenvenisteBCP #compilation #hybrid- Divide and recycle: types and compilation for a hybrid synchronous language (AB, TB, BC, MP), pp. 61–70.
- DAC-2009-BufistovCOJK #evaluation
- Retiming and recycling for elastic systems with early evaluation (DB, JC, MGO, JJ, MK), pp. 288–291.
SIGMOD-2009-IvanovaKNG #architecture- An architecture for recycling intermediates in a column-store (MI, MLK, NJN, RG), pp. 309–320.
ICSM-2009-Harrold #reuse #testing- Reduce, reuse, recycle, recover: Techniques for improved regression testing (MJH), p. 5.
PADL-2009-Leshchinskiy #array #exclamation- Recycle Your Arrays! (RL), pp. 209–223.
CASE-2008-Kress-GazitAPK- Recycling controllers (HKG, NA, GJP, VK), pp. 772–777.
- DAC-2008-YeZP #analysis #equation #linear #multi
- Generalized Krylov recycling methods for solution of multiple related linear equation systems in electromagnetic analysis (ZY, ZZ, JRP), pp. 682–687.
PEPM-2008-HageH #lazy evaluation- Heap recycling for lazy languages (JH, SH), pp. 189–197.
ICEIS-SAIC-2008-AtkinsZYN- Application of Knowledge Hub and RFID Technology in Auditing and Tracking of Plasterboard for Environment Recycling and Waste Disposal (ASA, LZ, HY, BPN), pp. 190–195.
HPDC-2007-WeiRB- Cooperative secondary authorization recycling (QW, MR, KB), pp. 65–74.
- DAC-2006-PakbazniaFP #analysis #concept
- Charge recycling in MTCMOS circuits: concept and analysis (EP, FF, MP), pp. 97–102.
ICML-2005-OntanonP #learning #multi- Recycling data for multi-agent learning (SO, EP), pp. 633–640.
VLDB-2004-SardaH #optimisation #query- Green Query Optimization: Taming Query Optimization Overheads through Plan Recycling (PS, JRH), pp. 1333–1336.
- SIGMOD-2003-SengarH #named #optimisation #query
- PLASTIC: Reducing Query Optimization Overheads through Plan Recycling (VSS, JRH), p. 676.
CSMR-2003-Mossienko #automation #cobol #java- Automated Cobol to Java Recycling (MM), p. 40–?.
ICSE-2003-HeumesserH #requirements #towards- Towards Systematic Recycling of Systems Requirements (NH, FH), pp. 512–519.
RE-2002-KnethenPKH #abstraction #requirements #traceability- Systematic Requirements Recycling through Abstraction and Traceability (AvK, BP, FK, FH), pp. 273–281.
- ISMM-2000-HudsonMSW #garbage collection
- Cycles to Recycle: Garbage Collection on the IA-64 (RLH, JEBM, SS, WW), pp. 101–110.
STOC-1999-RazR #bound #on the- On Recycling the Randomness of States in Space Bounded Computation (RR, OR), pp. 159–168.
HPCA-1999-WallaceTC #multi- Instruction Recycling on a Multiple-Path Processor (SW, DMT, BC), pp. 44–53.
- STOC-1998-Trevisan #query #testing
- Recycling Queries in PCPs and in Linearity Tests (Extended Abstract) (LT), pp. 299–308.
ICFP-1998-SobelF #continuation- Recycling Continuations (JS, DPF), pp. 251–260.
WCRE-1996-Sneed96a #cobol #object-oriented- Object-Oriented Cobol Recycling (HMS), pp. 169–178.
- STOC-1995-FeigeK #proving #random
- Impossibility results for recycling random bits in two-prover proof systems (UF, JK), pp. 457–468.
CAV-1992-Mader- Tableau Recycling (AM), pp. 330–342.
