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.