## Stem conserv$ (all stems)

### 69 papers:

- CASE-2015-LiX #energy #learning #multi
- A multi-grid reinforcement learning method for energy conservation and comfort of HVAC in buildings (BL, LX), pp. 444–449.
- TLCA-2015-Assaf #π-calculus
- Conservativity of Embeddings in the λ π Calculus Modulo Rewriting (AA0), pp. 31–44.
- PLDI-2014-HanxledenDMSMAMO #named #safety
- SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts (RvH, BD, CM, SS, MM, JA, SM, OO), p. 39.
- OOPSLA-2014-ShahriyarBM #garbage collection #performance
- Fast conservative garbage collection (RS, SMB, KSM), pp. 121–139.
- POPL-2014-Atkey #parametricity #theorem
- From parametricity to conservation laws, via Noether’s theorem (RA), pp. 491–502.
- DATE-2013-GoossensAG #memory management #policy
- Conservative open-page policy for mixed time-criticality memory controllers (SG, BA, KG), pp. 525–530.
- DATE-2013-HanxledenMADFMMO #concurrent
- Sequentially constructive concurrency: a conservative extension of the synchronous model of computation (RvH, MM, JA, BD, IF, CM, SM, OO), pp. 581–586.
- ICALP-v1-2013-Uppman #complexity
- The Complexity of Three-Element Min-Sol and Conservative Min-Cost-Hom (HU), pp. 804–815.
- CHI-2013-ShrinivasanJSCHDM #design
- Deep conservation in urban India and its implications for the design of conservation technologies (YBS, MJ, DPS, AC, EMH, TD, JM), pp. 1969–1978.
- HCI-III-2013-ShenCJ #design #energy #evaluation #interface
- Design and Evaluation of Eco-feedback Interfaces to Support Location-Based Services for Individual Energy Awareness and Conservation (YTS, PCC, TJ), pp. 132–140.
- MLDM-2013-BrownPD #algorithm #search-based
- Dynamic-Radius Species-Conserving Genetic Algorithm for the Financial Forecasting of Dow Jones Index Stocks (MSB, MJP, HD), pp. 27–41.
- RTA-2013-Schmidt-SchaussMS #lazy evaluation #λ-calculus
- Extending Abramsky’s Lazy λ Calculus: (Non)-Conservativity of Embeddings (MSS, EM, DS), pp. 239–254.
- LATA-2012-DubeLT #regular expression
- Conservative Groupoids Recognize Only Regular Languages (DD, ML, PT), pp. 216–227.
- OSDI-2012-YuanPHLLTZS
- Be Conservative: Enhancing Failure Diagnosis with Proactive Logging (DY, SP, PH, YL, MMJL, XT, YZ, SS), pp. 293–306.
- LICS-2012-SabelS #concurrent #haskell
- Conservative Concurrency in Haskell (DS, MSS), pp. 561–570.
- DAC-2011-ToettcherCTW #analysis #constraints
- Biochemical oscillator sensitivity analysis in the presence of conservation constraints (JET, AC, BT, JW), pp. 806–811.
- ICEIS-J-2011-PhillisK #analysis #approach
- A System-of-Systems Approach to the Analysis and Conservation of Biodiversity (YAP, VSK), pp. 3–15.
- LICS-2011-Barto #constraints #problem #revisited
- The Dichotomy for Conservative Constraint Satisfaction Problems Revisited (LB), pp. 301–310.
- CASE-2010-YangCHA #communication #estimation #monitoring
- Longitude force estimation for bandwidth conservative communication and vehicular monitoring (JY, TNC, ESHH, NA), pp. 668–673.
- DAC-2010-WangZD #distributed #logic #parallel #simulation
- Distributed time, conservative parallel logic simulation on GPUs (BDW, YZ, YD), pp. 761–766.
- CHI-2010-KuznetsovP #low cost #named #persuasion
- UpStream: motivating water conservation with low-cost water flow sensing and persuasive displays (SK, EP), pp. 1851–1860.
- ASPLOS-2010-VenkateshSGGBLST #energy #maturity
- Conservation cores: reducing the energy of mature computations (GV, JS, NG, SG, VB, JLM, SS, MBT), pp. 205–218.
- HPDC-2010-KaushikCCN #adaptation #energy #multi #named #self
- Lightning: self-adaptive, energy-conserving, multi-zoned, commodity green cloud storage system (RTK, LC, RHC, KN), pp. 332–335.
- SIGMOD-2009-WeiLLGRC
- Supporting a spectrum of out-of-order event processing technologies: from aggressive to conservative methodologies (MW, ML, ML, DG, EAR, KTC), pp. 1031–1034.
- SAC-2008-ChongKLG #energy #network #using
- Using association rules for energy conservation in wireless sensor networks (SKC, SK, SWL, MMG), pp. 971–975.
- ICPC-2007-PetterssonL #approach #design pattern #detection
- A Non-conservative Approach to Software Pattern Detection (NP, WL), pp. 189–198.
- ICALP-2007-Schmitz #ambiguity #context-free grammar #detection
- Conservative Ambiguity Detection in Context-Free Grammars (SS), pp. 692–703.
- SAC-2007-ZhangXLY #clustering #modelling
- Improved structural modeling based on conserved domain clusters and structure-anchored alignments (FZ, LX, ZL, BY), pp. 128–132.
- PPoPP-2007-SchuffCP #detection #network #parallel
- Conservative vs. optimistic parallelization of stateful network intrusion detection (DLS, YRC, VSP), pp. 138–139.
- CADE-2007-LutzW #lightweight #logic
- Conservative Extensions in the Lightweight Description Logic EL (CL, FW), pp. 84–99.
- DATE-2006-ViaudPG #modelling #parallel #performance #simulation
- An efficient TLM/T modeling and simulation environment based on conservative parallel discrete event principles (EV, FP, AG), pp. 94–99.
- KR-2006-GhilardiLW #logic #ontology
- Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics (SG, CL, FW), pp. 187–197.
- RTA-2006-Obua #higher-order #logic
- Checking Conservativity of Overloaded Definitions in Higher-Order Logic (SO), pp. 212–226.
- CIKM-2005-ZhaoBG #mining #query #xml
- Mining conserved XML query paths for dynamic-conscious caching (QZ, SSB, LG), pp. 219–220.
- PPoPP-2005-HeathDCMB #clustering #energy
- Energy conservation in heterogeneous server clusters (TH, BD, EVC, WMJ, RB), pp. 186–195.
- PODS-2004-GreenwaldK #network #statistics
- Power-Conserving Computation of Order-Statistics over Sensor Networks (MG, SK), pp. 275–285.
- ICFP-2003-Knight #functional #quantum
- Conservation of information: applications in functional, reversible, and quantum computing (TKJ), p. 1.
- LICS-2003-Bulatov #constraints #problem
- Tractable conservative Constraint Satisfaction Problems (AAB), p. 321–?.
- POPL-2002-Boehm #bound #garbage collection
- Bounding space usage of conservative garbage collectors (HJB), pp. 93–100.
- SAC-2002-KornissNKG #parallel #simulation #statistics
- Statistical properties of the simulated time horizon in conservative parallel discrete-event simulations (GK, MAN, AKK, HG), pp. 132–137.
- SAC-2002-Sankoff #clustering
- Short inversions and conserved gene clusters (DS), pp. 164–167.
- ISMM-2002-EndoT
- Reducing pause time of conservative collectors (TE, KT), pp. 119–131.
- LCTES-SCOPES-2002-DudaniMZ #constraints #embedded #energy #feedback #realtime #scheduling
- Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints (AD, FM, YZ), pp. 213–222.
- ISSTA-2002-Naumovich #algorithm #java #source code
- A conservative algorithm for computing the flow of permissions in Java programs (GN), pp. 33–43.
- VLDB-2001-Novaretti #documentation #process
- French government activity in the conservation of data and electronic documents (SN), pp. 621–624.
- CAV-2001-VelevB #logic #named #similarity
- EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations (MNV, REB), pp. 235–240.
- ICLP-2001-GuoRR
- Speculative Beats Conservative Justification (HFG, CRR, IVR), pp. 150–165.
- ICPR-v3-2000-Qiu
- Computing Optical Flow Based on the Mass-Conserving Assumption (MQ), pp. 7041–7044.
- SAIG-2000-CalcagnoM #imperative #multi
- Multi-Stage Imperative Languages: A Conservative Extension Result (CC, EM), pp. 92–107.
- ISMM-2000-Rodriguez-RiveraSF #garbage collection #memory management
- Conservative Garbage Collection for General Memory Allocators (GRR, MS, CF), pp. 71–79.
- FASE-1999-FokkinkV #legacy #term rewriting
- Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories (WF, CV), pp. 98–113.
- FSE-1998-NaumovichA #algorithm #data flow #detection #parallel
- A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel (GN, GSA), pp. 24–34.
- ISMM-1998-SmithM
- Comparing Mostly-Copying and Mark-Sweep Conservative Collection (FS, JGM), pp. 68–78.
- ICML-1994-Schaffer #performance
- A Conservation Law for Generalization Performance (CS), pp. 259–265.
- CADE-1994-Iwanuma #normalisation #parallel #query
- Conservative Query Normalization on Parallel Circumscription (KI), pp. 296–310.
- PODS-1993-Wong #normalisation #query
- Normal Forms and Conservative Properties for Query Languages over Collection Types (LW), pp. 26–36.
- PLDI-1993-Boehm #garbage collection #performance
- Space Efficient Conservative Garbage Collection (HJB), pp. 197–206.
- Best-of-PLDI-1993-Boehm93a #garbage collection #performance
- Space efficient conservative garbage collection (with retrospective) (HJB), pp. 490–501.
- PLILP-1993-LimS #approach #constraints #logic programming #metaprogramming
- A Conservative Approach to Meta-Programming in Constraint Logic Programming (PL, JS), pp. 44–59.
- TLCA-1993-Ghelli #recursion
- Recursive Types Are not Conservative over F (GG), pp. 146–162.
- TLCA-1993-Groote #revisited #theorem
- The Conservation Theorem revisited (PdG), pp. 163–178.
- ML-1992-ChengS #representation
- The Right Representation for Discovery: Finding the Conservation of Momentum (PCHC, HAS), pp. 62–71.
- IWMM-1992-Chailloux #ambiguity #garbage collection #static typing
- A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages (EC), pp. 218–229.
- VDME-1990-BlikleT #development #on the #process #syntax
- On Conservative Extensions of Syntax in the Process of System Development (AB, MT), pp. 504–525.
- POPL-1990-DemersWHBBS #framework #garbage collection #implementation
- Combining Generational and Conservative Garbage Collection: Framework and Implementations (AJD, MW, BH, HJB, DGB, SS), pp. 261–269.
- ICALP-1989-TannenG #algebra #confluence #normalisation #polymorphism
- Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence (VT, JHG), pp. 137–150.
- LICS-1989-Vrijer #λ-calculus
- Extending the λ Calculus with Surjective Pairing is Conservative (RCdV), pp. 204–215.
- LICS-1987-Breazu-TannenM #morphism #polymorphism
- Polymorphism is conservative over simple types (Preliminary Report) (VT, ARM), pp. 7–17.
- SLP-1987-Blair87 #logic programming
- Canoncical Conservative Extensions of Logic Program Completions (HAB), pp. 154–161.