Stem updat$ (all stems)

421 papers:

DocEng-2015-MarriottSW #automation #documentation #editing #named #visual notation

VEDD: A Visual Editor for Creation and Semi-Automatic Update of Derived Documents (KM, MS, MW), pp. 125–128.

SIGMOD-2015-YuanMYG #algorithm #graph

Updating Graph Indices with a One-Pass Algorithm (DY, PM, HY, CLG), pp. 1903–1916.

PLDI-2015-McClurgHCF #network #performance #synthesis

Efficient synthesis of network updates (JM, HH, PC, NF), pp. 196–207.

PLDI-2015-TassarottiDV #logic #memory management #verification

Verifying read-copy-update in a logic for weak memory (JT, DD, VV), pp. 110–120.

STOC-2015-ZhuLO #matrix #multi

Spectral Sparsification and Regret Minimization Beyond Matrix Multiplicative Updates (ZAZ, ZL, LO), pp. 237–245.

SEFM-2015-ShenB #formal method

A Formal Study of Backward Compatible Dynamic Software Updates (JS, RAB), pp. 231–248.

ICEIS-v2-2015-BenincaHGLBM #bibliography #information management

Knowledge Management Practices in GSD — A Systematic Literature Review Update (RdAB, EHMH, EVCG, GCLL, RB, YM), pp. 365–373.

ECIR-2015-LiS #summary

A Hierarchical Tree Model for Update Summarization (RL, HS), pp. 660–665.

KDD-2015-FujiwaraNSIT #adaptation #performance

Adaptive Message Update for Fast Affinity Propagation (YF, MN, HS, YI, MT), pp. 309–318.

RecSys-2015-DalyBS #recommendation

Crowd Sourcing, with a Few Answers: Recommending Commuters for Traffic Updates (ED, MB, FS), pp. 253–256.

ECMFA-2015-BarmpisSK #incremental #scalability #towards

Towards Incremental Updates in Large-Scale Model Indexes (KB, SMS, DSK), pp. 137–153.

Onward-2015-PolitoDBFM #library

Virtualization support for dynamic core library update (GP, SD, NB, LF, MM), pp. 211–223.

OOPSLA-2015-NtzikG #file system #reasoning

Reasoning about the POSIX file system: local update and global pathnames (GN, PG), pp. 201–220.

ICSE-v1-2015-BocicB #performance #verification

Coexecutability for Efficient Verification of Data Model Updates (IB, TB), pp. 744–754.

ICSE-v1-2015-FilieriGL #adaptation #learning #lightweight #modelling #performance #probability

Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models (AF, LG, AL), pp. 200–211.

PPoPP-2015-ArbelM #concurrent #scalability

Predicate RCU: an RCU for scalable concurrent updates (MA, AM), pp. 21–30.

SOSP-2015-MatveevSFM #concurrent #lightweight #named #programming

Read-log-update: a lightweight synchronization mechanism for concurrent programming (AM, NS, PF, PM), pp. 168–183.

ASE-2014-KehrerKR #modelling #visual notation

Workspace updates of visual models (TK, UK, DR), pp. 827–830.

HT-2014-CunhaMGCA #how #social

How you post is who you are: characterizing google+ status updates across social groups (EC, GM, MAG, CC, VA), pp. 212–217.

ESOP-2014-Fu #abstraction #analysis #memory management

Targeted Update — Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis (ZF), pp. 534–553.

LATA-2014-BoyarKLL #on the #problem

On the List Update Problem with Advice (JB, SK, KSL, ALO), pp. 210–221.

CHI-2014-VanieaRW #case study #experience #how #security

Betrayed by updates: how negative experiences affect future security (KV, EJR, RW), pp. 2671–2674.

CHI-2014-XuYRFHB #analysis #exclamation

Show me the money!: an analysis of project updates during crowdfunding campaigns (AX, XY, HR, WTF, SWH, BPB), pp. 591–600.

DUXU-TMT-2014-FilippiB #analysis #aspect-oriented #functional #human-computer #interactive #nondeterminism

In-Depth Analysis of Non-deterministic Aspects of Human-Machine Interaction and Update of Dedicated Functional Mock-Ups (SF, DB), pp. 185–196.

CIKM-2014-McCreadieMO #adaptation #incremental #summary

Incremental Update Summarization: Adaptive Sentence Selection based on Prevalence and Novelty (RM, CM, IO), pp. 301–310.

CIKM-2014-YinG #distributed #scalability

Scalable Distributed Belief Propagation with Prioritized Block Updates (JY, LG), pp. 1209–1218.

ICPR-2014-De-la-TorreGRSG #recognition #self

Self-Updating with Facial Trajectories for Video-to-Video Face Recognition (MDlT, EG, PVWR, RS, DOG), pp. 1669–1674.

OOPSLA-2014-DrechslerSMM #algorithm #distributed #programming

Distributed REScala: an update algorithm for distributed reactive programming (JD, GS, RM, MM), pp. 361–376.

PPDP-2014-PachecoZH #bidirectional #functional #named #xml

BiFluX: A Bidirectional Functional Update Language for XML (HP, TZ, ZH), pp. 147–158.

SAC-2014-BaeCPJKC #clustering #effectiveness #memory management

An effective data clustering method based on expected update time in flash memory environment (DHB, JWC, SMP, BSJ, SWK, SjC), pp. 1492–1497.

SAC-2014-LiW #clustering #matrix #multi

Single multiplicatively updated matrix factorization for co-clustering (ZL, XW), pp. 97–104.

SAC-2014-SypeS #case study #online #requirements #social

Case study: legal requirements for the use of social login features for online reputation updates (YSVDS, JMS), pp. 1698–1705.

ICSE-2014-ArztB #analysis #data flow #incremental #named

Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes (SA, EB), pp. 288–298.

LICS-CSL-2014-LosemannM #query

MSO queries on trees: enumerating answers under updates (KL, WM), p. 10.

PODS-2013-AmelootBW #on the #power of

On the expressive power of update primitives (TJA, JVdB, EW), pp. 139–150.

VLDB-2013-AchakeevS #multi #performance

Efficient Bulk Updates on Multiversion B-trees (DA, BS), pp. 1834–1845.

VLDB-2013-StoicaA #performance #using

Improving Flash Write Performance by Using Update Frequency (RS, AA), pp. 733–744.

VLDB-2013-XieWBDG #graph #performance

Fast Iterative Graph Computation with Block Updates (WX, GW, DB, AJD, JG), pp. 2014–2025.

VLDB-2013-YuanL013a #using

Making Updates Disk-I/O Friendly Using SSDs (MS, KAR, MC, BB), pp. 997–1008.

ICSM-2013-RoehmBHP #behaviour #identification #specification #towards

Towards Identification of Software Improvements and Specification Updates by Comparing Monitored and Specified End-User Behavior (TR, BB, TMH, BP), pp. 464–467.

MSR-2013-MukherjeeG #question

Which work-item updates need your response? (DM, MG), pp. 12–21.

WCRE-2013-RaoMK #debugging #framework #incremental #library #locality #performance #retrieval

An incremental update framework for efficient retrieval from software libraries for bug localization (SR, HM, ACK), pp. 62–71.

ICEIS-v1-2013-RibeiroRBFE #coordination #policy

Updating Strategies of Policies for Coordinating Agent Swarm in Dynamic Environments (RR, AFR, MACB, FF, FE), pp. 345–356.

ECIR-2013-GeorgescuKKNS #wiki

Extracting Event-Related Information from Article Updates in Wikipedia (MG, NK, DK, WN, SS), pp. 254–266.

ECIR-2013-GuoDY

Updating Users about Time Critical Events (QG, FD, EYT), pp. 483–494.

RecSys-2013-PanCCY #personalisation #recommendation #social

Diffusion-aware personalized social update recommendation (YP, FC, KC, YY), pp. 69–76.

TOOLS-EUROPE-J-2012-WernliLN13 #incremental

Incremental Dynamic Updates with First-class Contexts (EW, ML, ON), pp. 1–27.

PPDP-2013-MatsudaW #approach #bidirectional #for free #problem #runtime

Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem (KM, MW), pp. 297–308.

SAC-2013-CarlosMPC #security

An updated threat model for security ceremonies (MCC, JEM, GP, RFC), pp. 1836–1843.

SAC-2013-KolbR #abstraction #adaptation #data flow #process

Data flow abstractions and adaptations through updatable process views (JK, MR), pp. 1447–1453.

SAC-2013-OyamadaKK #concurrent #query

Continuous query processing with concurrency control: reading updatable resources consistently (MO, HK, HK), pp. 788–794.

ICSE-2013-HosekC #execution #multi

Safe software updates via multi-version execution (PH, CC), pp. 612–621.

ASPLOS-2013-GiuffridaKT #automation #operating system

Safe and automatic live update for operating systems (CG, AK, AST), pp. 279–292.

PPoPP-2013-ShunBFG

Reducing contention through priority updates (JS, GEB, JTF, PBG), pp. 299–300.

CAV-2013-DragoiGH #automation #concurrent #proving

Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates (CD, AG, TAH), pp. 174–190.

CBSE-2012-Manna #component #distributed

Local dynamic update for component-based distributed systems (VPLM), pp. 167–176.

DocEng-2012-JunediGL #analysis #independence #revisited #xml

XML query-update independence analysis revisited (MJ, PG, NL), pp. 95–98.

DocEng-2012-MahlowGHS #framework #retrieval #using #xquery

A framework for retrieval and annotation in digital humanities using XQuery full text and update in BaseX (CM, CG, AH, MHS), pp. 195–204.

PODS-2012-BorodinLY

Max-Sum diversification, monotone submodular functions and dynamic updates (AB, HCL, YY), pp. 155–166.

SIGMOD-2012-SidlauskasSJ #in memory #parallel #query

Parallel main-memory indexing for moving-object query and update workloads (DS, SS, CSJ), pp. 37–48.

VLDB-2012-AngelKSS #identification #maintenance #realtime #streaming

Dense Subgraph Maintenance under Streaming Edge Weight Updates for Real-time Story Identification (AA, NK, NS, DS), pp. 574–585.

VLDB-2012-Bidoit-TolluCU #detection #independence #type system #xml

Type-Based Detection of XML Query-Update Independence (NBT, DC, FU), pp. 872–883.

CIKM-2012-YangZW #collaboration #incremental #predict #scalability #using

Scalable collaborative filtering using incremental update and local link prediction (XY, ZZ, KW), pp. 2371–2374.

ICML-2012-StorkeyMG #machine learning

Isoelastic Agents and Wealth Updates in Machine Learning Markets (AJS, JM, KG), p. 133.

ICPR-2012-RattaniMGR #approach #automation #classification

A dual-staged classification-selection approach for automated update of biometric templates (AR, GLM, EG, FR), pp. 2972–2975.

KR-2012-Grossi #fixpoint

Fixpoints and Iterated Updates in Abstract Argumentation (DG).

KR-2012-SlotaL #equivalence #modelling #robust #semantics #source code

Robust Equivalence Models for Semantic Updates of Answer-Set Programs (MS, JL).

SIGIR-2012-HongBAD #learning #rank #social

Learning to rank social update streams (LH, RB, JA, BDD), pp. 651–660.

ECOOP-2012-DeD #analysis #java #pointer #scalability

Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates (AD, DD), pp. 665–687.

OOPSLA-2012-HaydenSDHF #c #named #performance

Kitsune: efficient, general-purpose dynamic software updating for C (CMH, EKS, MD, MH, JSF), pp. 249–264.

OOPSLA-2012-MagillHSM #automation

Automating object transformations for dynamic software updating (SM, MH, SS, KSM), pp. 265–280.

TOOLS-EUROPE-2012-WernliLN #incremental

Incremental Dynamic Updates with First-Class Contexts (EW, ML, ON), pp. 304–319.

ASPLOS-2012-SimhaLC

An update-aware storage system for low-locality update-intensive workloads (DNS, ML, TcC), pp. 375–386.

CBSE-2011-Gregersen #composition

Implications of modular systems on dynamic updating (ARG), pp. 169–178.

WICSA-2011-WeynsMHB #approach #architecture #online #product line

An Architectural Approach to Support Online Updates of Software Product Lines (DW, BM, AH, NB), pp. 204–213.

ICDAR-2011-ImpedovoP #classification #multi

Updating Knowledge in Feedback-Based Multi-classifier Systems (DI, GP), pp. 227–231.

SIGMOD-2011-AthanassoulisCAGS #named #online #performance

MaSM: efficient online updates in data warehouses (MA, SC, AA, PBG, RS), pp. 865–876.

SIGMOD-2011-ChenDLS #challenge

We challenge you to certify your updates (SC, XLD, LVSL, DS), pp. 481–492.

VLDB-2011-JungHFR #database

Serializable Snapshot Isolation for Replicated Databases in High-Update Scenarios (HJ, HH, AF, UR), pp. 783–794.

VLDB-2011-LawrencePS #coordination

Data Coordination: Supporting Contingent Updates (MKL, RP, SSF), pp. 831–842.

VLDB-2011-MogaT #named #realtime

UpStream: A Storage-centric Load Management System for Real-time Update Streams (AM, NT), pp. 1442–1445.

VLDB-2012-KruegerKGSSCPDZ11 #database #manycore #performance #using

Fast Updates on Read-Optimized Databases Using Multi-Core CPUs (JK, CK, MG, NS, DS, JC, HP, PD, AZ), pp. 61–72.

CSEET-2011-KnudsonR #agile #industrial

Updating CS capstone projects to incorporate new agile methodologies used in industry (DK, AR), pp. 444–448.

ITiCSE-2011-LangeFL

An update on the use of community-based non-profit organizations in capstone projects (DKL, RCF, PML), p. 372.

FASE-2011-GharaibehRC #framework #question

Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? (BG, HR, JMC), pp. 371–385.

STOC-2011-LewkoLW #how

How to leak on key updates (ABL, ML, BW), pp. 725–734.

ICFP-2011-WangGW #bidirectional #incremental #performance

Incremental updates for efficient bidirectional transformations (MW, JG, NW), pp. 392–403.

GCM-2010-BottoniFP11 #constraints #incremental #policy

Incremental update of constraint-compliant policy rules (PB, AF, FPP).

CIKM-2011-PuWLW #incremental #named #performance #query #rdf

AWETO: efficient incremental update and querying in rdf storage system (XP, JW, PL, MW), pp. 2445–2448.

ICML-2011-Bylander #learning #linear #multi #polynomial

Learning Linear Functions with Quadratic and Linear Multiplicative Updates (TB), pp. 505–512.

KEOD-2011-Koit

Conversational Agent in Argumentation — Updating of Information States (MK), pp. 375–378.

BX-2011-Diskin

Update propagation via tiles (ZD), p. 53.

BX-2011-Diskin1 #bidirectional #model transformation #weaving

From State- to Delta-Based Bidirectional Model Transformations: Unweaving Alignment and Update Propagation (ZD), p. 55.

BX-2011-Wang #incremental

Change-based incremental updates (MW), p. 64.

ECMFA-2011-GoldschmidtU #incremental #modelling

Incremental Updates for View-Based Textual Modelling (TG, AU), pp. 172–188.

POPL-2011-LhotakC #analysis #performance #points-to

Points-to analysis with efficient strong updates (OL, KCAC), pp. 3–16.

SAC-2011-ChiangH #embedded #operating system

Supporting dynamic update and resource protection in an embedded operating system (MLC, HYH), pp. 616–620.

ICSE-2011-PukallGSKCG #adaptation #java #named #strict

JavAdaptor: unrestricted dynamic software updates for Java (MP, AG, RS, CK, WC, SG), pp. 989–991.

CSL-2011-Aschieri #analysis

Transfinite Update Procedures for Predicative Systems of Analysis (FA), pp. 20–34.

ICLP-J-2011-SlotaLS #hybrid #knowledge base

Splitting and updating hybrid knowledge bases (MS, JL, TS), pp. 801–819.

DATE-2010-NeukirchnerSSE #self

A software update service with self-protection capabilities (MN, SS, HS, RE), pp. 903–908.

SIGMOD-2010-HemanZNSAB

Positional update handling in column stores (SH, MZ, NJN, LS, PAB), pp. 543–554.

VLDB-2010-BenediktC #independence #xml

Destabilizers and Independence of XML Updates (MB, JC), pp. 906–917.

VLDB-2010-ChenOZ #adaptation #database #protocol

An Adaptive Updating Protocol for Reducing Moving Object Databases Workload (SC, BCO, ZZ), pp. 735–746.

VLDB-2010-NeumannW #consistency #database #named #performance #query #rdf

x-RDF-3X: Fast Querying, High Update Rates, and Consistency for RDF Databases (TN, GW), pp. 256–263.

VLDB-2010-PestiLBIW #mobile #named #network #query #scalability

RoadTrack: Scaling Location Updates for Mobile Clients on Road Networks with Query Awareness (PP, LL, BB, AI, MW), pp. 1493–1504.

VLDB-2010-TerwilligerDMSB #database #evolution

Updatable and Evolvable Transforms for Virtual Databases (JFT, LMLD, DM, JS, SB), pp. 309–319.

VLDB-2011-CurinoMDZ10 #constraints #evolution #maintenance

Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++ (CC, HJM, AD, CZ), pp. 117–128.

ESOP-2010-DilligDA

Fluid Updates: Beyond Strong vs. Weak Updates (ID, TD, AA), pp. 246–266.

ICFP-2010-BarbosaCFGP #lens

Matching lenses: alignment and view update (DMJB, JC, NF, MG, BCP), pp. 193–204.

ICEIS-AIDSS-2010-KuhnDGC #algorithm #ontology #sequence

KBE Template Update Propagation Support — Ontology and Algorithm for Update Sequence Computation (OK, TD, PG, PC), pp. 5–12.

ICEIS-J-2010-KuhnDGC10a #knowledge-based

Knowledge-Based Engineering Template Instances Update Support (OK, TD, PG, PC), pp. 151–163.

CIKM-2010-AlgarniLX #documentation

Selected new training documents to update user profile (AA, YL, YX), pp. 799–808.

CIKM-2010-BarskyTTZ #online

Online update of b-trees (MB, AT, ZT, CZ), pp. 149–158.

CIKM-2010-DuGZC #ranking #summary

Manifold ranking with sink points for update summarization (PD, JG, JZ, XC), pp. 1757–1760.

CIKM-2010-WangL #clustering #documentation #incremental #summary #using

Document update summarization using incremental hierarchical clustering (DW, TL), pp. 279–288.

ICPR-2010-KotsiaP #multi

Multiplicative Update Rules for Multilinear Support Tensor Machines (IK, IP), pp. 33–36.

KR-2010-Aucher #logic

Characterizing Updates in Dynamic Epistemic Logic (GA).

PPDP-2010-JacquemardR #verification #xml

Rewrite-based verification of XML updates (FJ, MR), pp. 119–130.

SAC-2010-HeoGEKJ #energy #memory management #performance

Energy efficient program updating for sensor nodes with flash memory (JH, BG, SIE, PK, GJ), pp. 194–200.

FSE-2010-Charrada #evolution #maintenance #requirements #testing

Updating requirements from tests during maintenance and evolution (EBC), pp. 337–340.

LCTES-2010-LiZ #embedded #mobile #performance

An efficient code update scheme for DSP applications in mobile embedded systems (WL, YZ), pp. 105–114.

SAT-2010-KatebiSM #satisfiability #symmetry

Symmetry and Satisfiability: An Update (HK, KAS, ILM), pp. 113–127.

DocEng-2009-SteinbergerJ #novel #summary #topic

Update summarization based on novel topic distribution (JS, KJ), pp. 205–213.

VLDB-2009-BenediktC #analysis #independence #xml

Schema-Based Independence Analysis for XML Updates (MB, JC), pp. 61–72.

VLDB-2009-CheemaLZWZ #lazy evaluation #monitoring #performance

Lazy Updates: An Efficient Technique to Continuously Monitoring Reverse kNN (MAC, XL, YZ, WW, WZ), pp. 1138–1149.

VLDB-2009-KotK

Cooperative Update Exchange in the Youtopia System (LK, CK), pp. 193–204.

CSEET-2009-Bourque #feedback

SWEBOK Refresh and Continuous Update: A Call for Feedback and Participation (PB), pp. 288–289.

PLDI-2009-NeamtiuH #concurrent #multi #source code #thread

Safe and timely updates to multi-threaded programs (IN, MWH), pp. 13–24.

PLDI-2009-SubramanianHM #approach

Dynamic software updates: a VM-centric approach (SS, MWH, KSM), pp. 1–12.

STOC-2009-KleinbergPT #game studies #learning #multi

Multiplicative updates outperform generic no-regret learning in congestion games: extended abstract (RK, GP, ÉT), pp. 533–542.

LATA-2009-Moore #data access #documentation #generative #problem

The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates (NM), pp. 601–613.

HCD-2009-KremsB #process

Driving and Situation Awareness: A Cognitive Model of Memory-Update Processes (JFK, MRKB), pp. 986–994.

ICEIS-ISAS-2009-HidalgoGT #consistency #data type #detection #nondeterminism #performance

Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates (SPH, RMG, FTdlR), pp. 176–181.

CIKM-2009-NicolaK #generative #query #sql #xml

Generating SQL/XML query and update statements (MN, TK), pp. 1187–1196.

ECIR-2009-SarigiannisPB #case study #distributed #query #web

A Study of the Impact of Index Updates on Distributed Query Processing for Web Search (CS, VP, RABY), pp. 595–602.

ICML-2009-ChengSS #markov #matrix #modelling

Matrix updates for perceptron training of continuous density hidden Markov models (CCC, FS, LKS), pp. 153–160.

KDD-2009-PrakashVAFF #internet #named

BGP-lens: patterns and anomalies in internet routing updates (BAP, NV, DA, MF, CF), pp. 1315–1324.

KEOD-2009-CastelaT #enterprise #process

Enhancing Organizational Self Awareness — The As-is Enterprise Model Dynamic Updating Process (NC, JMT), pp. 315–320.

KEOD-2009-WandeltM #reasoning

Updatable Island Reasoning for Alchi-ontologies (SW, RM), pp. 48–55.

ICMT-2009-XiongSHT #bidirectional #model transformation #parallel

Supporting Parallel Updates with Bidirectional Model Transformations (YX, HS, ZH, MT), pp. 213–228.

SAC-2009-KiyoharaMMNK #embedded #performance

Method for fast compression of program codes for remote updates in embedded systems (RK, SM, MM, MN, SK), pp. 1683–1684.

SAC-2009-YiMCKJ #named #network

Arbiter-Recall: a new function update scheme by arbitration between a remote call and a dynamic update for wireless sensor networks (SY, HM, YC, YK, IJ), pp. 339–340.

VMCAI-2009-DimoulasW #higher-order #problem

The Higher-Order Aggregate Update Problem (CD, MW), pp. 44–58.

WICSA-2008-EmeryH #architecture #framework #topic

Updating IEEE 1471: Architecture Frameworks and Other Topics (DEE, RH), pp. 303–306.

SIGMOD-2008-ZhangB #distributed #named #xquery

XRPC: distributed XQuery and update processing with heterogeneous XQuery engines (YZ, PAB), pp. 1331–1336.

VLDB-2008-BiveinisS #in memory #performance #towards

Towards efficient main-memory use for optimum tree index update (LB, SS), pp. 1617–1622.

ESOP-2008-Cheney #query #regular expression #type system #xml

Regular Expression Subtyping for XML Query and Update Languages (JC), pp. 32–47.

CSMR-2008-GregersenJ

Module Reload through Dynamic Update — The Case of NetBeans (ARG, BNJ), pp. 23–32.

ICSM-2008-MalikCTJH #comprehension

Understanding the rationale for updating a function’s comment (HM, IC, HMT, ZMJ, AEH), pp. 167–176.

ICALP-A-2008-AlbersL #locality #on the

On List Update with Locality of Reference (SA, SL), pp. 96–107.

ICFP-2008-Cheney #functional #named #xml

FLUX: functional updates for XML (JC), pp. 3–14.

CIKM-2008-ErcegovacJLMS #query

Supporting sub-document updates and queries in an inverted index (VE, VJ, NL, MRM, EJS), pp. 659–668.

ICPR-2008-AlpcanB #algorithm #distributed #learning #parallel

A discrete-time parallel update algorithm for distributed learning (TA, CB), pp. 1–4.

KDD-2008-MadaniH #learning #on the

On updates that constrain the features’ connections during learning (OM, JH), pp. 515–523.

KR-2008-Saint-Cyr #reasoning

Scenario Update Applied to Causal Reasoning (FDdSC), pp. 188–197.

RecSys-2008-RendleS #kernel #matrix #modelling #recommendation #scalability

Online-updating regularized kernel matrix factorization models for large-scale recommender systems (SR, LST), pp. 251–258.

SEKE-2008-DingZ #case study #explosion #problem

A Study of the Model Explosion Problem in CTL Model Update (YD, YZ), pp. 752–757.

SEKE-2008-TubiioLR #bibliography #elicitation #perspective

Obtaining Well-Founded Practices about Elicitation Techniques by Means of an Update of a Previous Systematic Review (ÓDT, ML, FR), pp. 769–772.

BX-2008-Terwilliger1 #user interface #visual notation

Graphical User Interfaces as Updatable Views (JT), p. 32.

POPL-2008-NeamtiuHFP #concurrent #programming

Contextual effects for version-consistent dynamic software updating and safe concurrent programming (IN, MH, JSF, PP), pp. 37–49.

SLE-2008-Goldschmidt #approach #incremental #repository #towards

Towards an Incremental Update Approach for Concrete Textual Syntaxes for UUID-Based Model Repositories (TG), pp. 168–177.

PODS-2007-CautisAM #constraints #reasoning #xml

Reasoning about XML update constraints (BC, SA, TM), pp. 195–204.

SIGMOD-2007-FanCB #query #syntax #xml

Querying xml with update syntax (WF, GC, PB), pp. 293–304.

SIGMOD-2007-IdreosKM #database

Updating a cracked database (SI, MLK, SM), pp. 413–424.

SIGMOD-2007-LiuKWAA #effectiveness #performance #xml

Effective and efficient update of xml in RDBMS (ZHL, MK, JWW, RA, VA), pp. 925–936.

VLDB-2007-BiveinisSJ #in memory #performance

Main-Memory Operation Buffering for Efficient R-Tree Update (LB, SS, CSJ), pp. 591–602.

VLDB-2007-GreenKIT

Update Exchange with Mappings and Provenance (TJG, GK, ZGI, VT), pp. 675–686.

MSR-2007-Zimmermann #cvs #mining

Mining Workspace Updates in CVS (TZ), p. 11.

PLDI-2007-LiZYZ #compilation #energy #named #network #performance

UCC: update-conscious compilation for energy efficiency in wireless sensor networks (WL, YZ, JY, JZ), pp. 383–393.

CHI-2007-ZimmermanTSHMCM #approach #automation #learning #named

Vio: a mixed-initiative approach to learning and automating procedural update tasks (JZ, AT, IS, IH, KM, JC, RMM), pp. 1445–1454.

ICEIS-DISI-2007-FavreBB #approach

Dimension hierarchies updates in data warehouses — a user-driven approach (CF, FB, OB), pp. 206–211.

ICML-2007-KuzminW #kernel #matrix #online

Online kernel PCA with entropic matrix updates (DK, MKW), pp. 465–472.

SIGIR-2007-ShokouhiBA

Updating collection representations for federated search (MS, MB, LA), pp. 511–518.

TOOLS-EUROPE-2007-KolovosPPR #in the small

Update Transformations in the Small with the Epsilon Wizard Language (DSK, RFP, FP, LMR), pp. 53–69.

SAC-2007-SawaiSKHN #ad hoc #consistency #network

Quorum-based consistency management among replicas in ad hoc networks with data update (YS, MS, AK, TH, SN), pp. 955–956.

ICSE-2007-ChenYCZY #named

POLUS: A POwerful Live Updating System (HC, JY, RC, BZ, PCY), pp. 271–281.

PPoPP-2007-SpearSHDS #communication #memory management #multi #named

Alert-on-update: a communication aid for shared memory multiprocessors (MFS, AS, HH, SD, MLS), pp. 132–133.

ICLP-2007-CaropreseTZ #constraints

View Updating Through Active Integrity Constraints (LC, IT, EZ), pp. 430–431.

MBT-2007-FraserAW #model checking #testing

Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers (GF, BKA, FW), pp. 33–46.

DRR-2006-RahmanTHA #automation #documentation #enterprise #web

An automatically updateable web publishing solution: taking document sharing and conversion to enterprise level (FR, YT, RH, HA).

PODS-2006-BohannonPV #lens #relational

Relational lenses: a language for updatable views (AB, BCP, JAV), pp. 338–347.

SIGMOD-2006-XiaZ #performance

Refreshing the sky: the compressed skycube with efficient support for frequent updates (TX, DZ), pp. 491–502.

VLDB-2006-LauM #approach #distributed

An Integrated Approach to Recovery and High Availability in an Updatable, Distributed Data Warehouse (EL, SM), pp. 703–714.

VLDB-2006-WangRMJ #named #xml

HUX: Handling Updates in XML (LW, EAR, MM, MJ), pp. 1235–1238.

TACAS-2006-HabermehlIV #source code #verification

Automata-Based Verification of Programs with Tree Updates (PH, RI, TV), pp. 350–364.

ICSM-2006-JaffriK #performance #using

Efficient Delivery of Software Updates Using Advanced Compression Techniques (TJ, KK), pp. 267–268.

ICSM-2006-PrevitaliG #aspect-oriented

Dynamic Updating of Software Systems Based on Aspects (SCP, TRG), pp. 83–92.

PLDI-2006-NeamtiuHSO #c

Practical dynamic software updating for C (IN, MWH, GS, MO), pp. 72–83.

ICEIS-DISI-2006-ChakrabortySN #database #scalability

Scalable Update Propagation in Partially Replicated, Disconnected Client Server Databases (LC, AS, KN), pp. 11–21.

CIKM-2006-WangRMJ #approach #named #xml

HUX: a schemacentric approach for updating XML views (LW, EAR, MM, MJ), pp. 816–817.

ICML-2006-RoureM

Sequential update of ADtrees (JR, AWM), pp. 769–776.

ICPR-v1-2006-LateckiM

Object Tracking with Dynamic Template Update and Occlusion Detec (LJL, RM), pp. 556–560.

ICPR-v3-2006-LiuWL #estimation #performance

Winner Update on Walsh-Hadamard Domain for Fast Motion Estimation (SWL, SDW, SHL), pp. 794–797.

KR-2006-LiuLMW #logic

Updating Description Logic ABoxes (HL, CL, MM, FW), pp. 46–56.

SEKE-2006-OussalahTGS #architecture #challenge #component

Updating Styles Challenge Updating Needs within Component-based Software Architectures (MO, DT, OLG, AS), pp. 98–101.

GPCE-2006-StuckenholzO #component

Safe component updates (AS, AO), pp. 39–48.

SAC-2006-SriplakichBG #automation #distributed #integration #tool support

Supporting transparent model update in distributed CASE tool integration (PS, XB, MPG), pp. 1759–1766.

ICSE-2006-Jansen #process

Improving the customer configuration update process by explicitly managing software knowledge (SJ), pp. 965–968.

HPCA-2006-RileyZ #predict #probability

Probabilistic counter updates for predictor hysteresis and stratification (NR, CBZ), pp. 110–120.

LCTES-2006-PlatenE #feedback #layout #optimisation

Feedback linking: optimizing object code layout for updates (CvP, JE), pp. 2–11.

PODS-2005-GangulyGKR #estimation

Join-distinct aggregate estimation over update streams (SG, MNG, AK, RR), pp. 259–270.

SIGMOD-2005-CataniaWOW #lazy evaluation #performance #xml

Lazy XML Updates: Laziness as a Virtue of Update and Structural Join Efficiency (BC, WQW, BCO, XW), pp. 515–526.

SIGMOD-2005-GolabO #modelling #query

Update-Pattern-Aware Modeling and Processing of Continuous Queries (LG, MTÖ), pp. 658–669.

CSMR-2005-JansenBB #process

A Process Model and Typology for Software Product Updaters (SJ, GB, SB), pp. 265–274.

ICSM-2005-JansenBBN #case study #development #enterprise #maintenance #performance

Integrated Development and Maintenance of Software Products to Support Efficient Updating of Customer Configurations: A Case Study in Mass Market ERP Software (SJ, SB, GB, AvN), pp. 253–262.

PASTE-2005-CookO #component #deployment #named

MonDe: safe updating through monitored deployment of new component versions (JEC, AO), pp. 43–46.

STOC-2005-ChlebusK #memory management

Cooperative asynchronous update of shared memory (BSC, DRK), pp. 733–739.

STOC-2005-Thorup #worst-case

Worst-case update times for fully-dynamic all-pairs shortest paths (MT), pp. 112–119.

ICEIS-v1-2005-HammerschmidtKL #problem #xml

The Index Update Problem for XML Data in XDBMS (BCH, MK, VL), pp. 27–34.

CIKM-2005-LiL05a #encoding #named #novel #xml

QED: a novel quaternary encoding to completely avoid re-labeling in XML updates (CL, TWL), pp. 501–508.

CIKM-2005-LinS

Handling frequent updates of moving objects (BL, JS), pp. 493–500.

POPL-2005-CalcagnoGZ #logic

Context logic and tree update (CC, PG, UZ), pp. 271–282.

POPL-2005-FosterGMPS #approach #combinator #problem

Combinators for bi-directional tree transformations: a linguistic approach to the view update problem (JNF, MBG, JTM, BCP, AS), pp. 233–246.

POPL-2005-StoyleHBSN #predict

Mutatis mutandis: safe and predictable dynamic software updating (GS, MWH, GMB, PS, IN), pp. 183–194.

SAC-2005-MilazzoPTU #distributed #runtime

Handling run-time updates in distributed applications (MM, GP, ET, GU), pp. 1375–1380.

ESEC-FSE-2005-ShenSHJSM #component #formal method #towards

Towards a unified formal model for supporting mechanisms of dynamic component update (JS, XS, GH, WJ, YS, HM), pp. 80–89.

CAV-2005-BenediktBFV #optimisation #verification

Verification of Tree Updates for Optimization (MB, AB, SF, AV), pp. 379–393.

SIGMOD-2004-Galindo-LegariaSW #query #sql

Query Processing for SQL Updates (CAGL, SS, FW), pp. 844–849.

VLDB-2004-BraganholoDH #problem #relational #xml

From XML View Updates to Relational View Updates: old solutions to a new problem (VPB, SBD, CAH), pp. 276–287.

VLDB-2004-Cha #scalability

P*TIME: Highly Scalable OLTP DBMS for Managing Update-Intensive Stream Workload (SKC, CS), pp. 1033–1044.

VLDB-2004-FranconiKLZ #database #query

Queries and Updates in the coDB Peer to Peer Database System (EF, GMK, AL, IZ), pp. 1277–1280.

VLDB-2004-JensenLO #performance #query

Query and Update Efficient B+-Tree Based Indexing of Moving Objects (CSJ, DL, BCO), pp. 768–779.

VLDB-2004-WangJLY #estimation #xml

Bloom Histogram: Path Selectivity Estimation for XML Data with Updates (WW, HJ, HL, JXY), pp. 240–251.

WCRE-2004-ThiranHHB #consistency #database #legacy

Updating Legacy Databases through Wrappers: Data Consistency Management (PT, GJH, JLH, DB), pp. 58–67.

STOC-2004-RodittyZ #algorithm #graph #linear #reachability

A fully dynamic reachability algorithm for directed graphs with an almost linear update time (LR, UZ), pp. 184–191.

KR-2004-MailheP #fuzzy #knowledge base

Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules (BM, HP), pp. 338–347.

SAC-2004-GustafssonH #database #on-demand #realtime

Dynamic on-demand updating of data in real-time database systems (TG, JH), pp. 846–853.

ASE-2003-HarrisR

Theoretical Foundations of Updating Systems (HH, MR), pp. 291–294.

PODS-2003-Lechtenborger #approach #constant #towards

The impact of the constant complement approach towards view updating (JL), pp. 49–55.

SIGMOD-2003-GangulyGR #set

Processing Set Expressions over Continuous Update Streams (SG, MNG, RR), pp. 265–276.

VLDB-2003-IwerksSS #nearest neighbour #query

Continuous K-Nearest Neighbor Queries for Continuously Moving Points with Updates (GSI, HS, KPS), pp. 512–523.

VLDB-2003-LeeHJT #approach #bottom-up

Supporting Frequent Updates in R-Trees: A Bottom-Up Approach (MLL, WH, CSJ, BC, KLT), pp. 608–619.

ESOP-2003-ErwigR #programming #type safety

Programming Type-Safe Program Updates (ME, DR), pp. 269–283.

ICFP-2003-BiermanHSSW #question

Dynamic rebinding for marshalling and update, with destruct-time? (GMB, MWH, PS, GS, KW), pp. 99–110.

ICEIS-v1-2003-SilvaSL #using

Updating GIS Data Using Personal Digital Assistants (HS, AVS, JCL), pp. 566–569.

ICEIS-v2-2003-BenninghoffN #distributed #monitoring #scalability

Scaling Up Information Updates in Distributed Condition Monitoring (PB, SN), pp. 132–139.

UML-2003-Porres #refactoring #rule-based

Model Refactorings as Rule-Based Update Transformations (IP), pp. 159–174.

ICLP-2003-FarreTU

Handling Existential Derived Predicates in View Updating (CF, ET, TU), pp. 148–162.

TLCA-2003-Konecny #data type #functional

Functional In-Place Update with Layered Datatype Sharing (MK), pp. 195–210.

DocEng-2002-WongL #multi #query #xml

Managing and querying multi-version XML data with update logging (RKW, NL), pp. 74–81.

VLDB-2002-KaushikBNS

Updates for Structure Indexes (RK, PB, JFN, PS), pp. 239–250.

VLDB-2002-Mohan02a #performance #using

An Efficient Method for Performing Record Deletions and Updates Using Index Scans (CM), pp. 940–949.

ESOP-2002-AspinallH #type system

Another Type System for In-Place Update (DA, MH), pp. 36–52.

ICSM-2002-OrsoRH #java

A Technique for Dynamic Updating of Java Software (AO, AR, MJH), pp. 649–658.

CAiSE-2002-VaismanMRC

Supporting Dimension Updates in an OLAP Server (AAV, AOM, WR, SGC), pp. 67–82.

ICEIS-2002-Kadri-DahmaniO #consistency #database #how #maintenance #question

Updating Data in GIS: How to Maintain Database Consistency? (HKD, AO), pp. 587–593.

ICPR-v2-2002-FrancoLM

Eigenspace Merging for Model Updating (AF, AL, DM), pp. 156–159.

ICPR-v2-2002-KanekoH #image #sequence

Template Update Criterion for Template Matching of Image Sequences (TK, OH), pp. 1–5.

KR-2002-BaralZ #complexity #model checking

The Complexity of Model Checking for Knowledge Update (CB, YZ), pp. 82–96.

KR-2002-DonaS

Updating Contexts (AD, LS), pp. 251–264.

SAC-2002-BettiniNL #mobile #programming

Software update via mobile agent based programming (LB, RDN, ML), pp. 32–36.

SAC-2002-YuB #adaptation

A mesh update requirement for hierarchical adaptive meshes in mesh-based motion tracking (AY, WMB), pp. 761–765.

ICLP-2002-HayashiCO #execution #logic programming

Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming (HH, KC, AO), p. 477.

DocEng-2001-Wong #database #query #scalability #xml

The extended XQL for querying and updating large XML databases (RKW), pp. 95–104.

PODS-2001-Larsen #multi

Relaxed Multi-Way Trees with Group Updates (KSL).

VLDB-2001-ChungCLL #query

Dynamic Update Cube for Range-sum Queries (SJC, CWC, JHL, SLL), pp. 521–530.

VLDB-2001-LabrinidisR #quality #web

Update Propagation Strategies for Improving the Quality of Data on the Web (AL, NR), pp. 391–400.

VLDB-2001-StanoiRAA #database #set

Discovery of Influence Sets in Frequently Updated Databases (IS, MR, DA, AEA), pp. 99–108.

ICSM-2001-ShirabadLM #maintenance #mining

Supporting Software Maintenance by Mining Software Update Records (JSS, TCL, SM), pp. 22–31.

PLDI-2001-HicksMN

Dynamic Software Updating (MWH, JTM, SN), pp. 13–23.

FME-2001-JohnsonR #modelling #specification

View Updatability Based on the Models of a Formal Specification (MJ, RDR), pp. 534–549.

LOPSTR-2001-AlferesBLP #behaviour #logic programming

Computing Environment-Aware Agent Behaviours with Logic Program Updates (JJA, AB, JAL, LMP), pp. 216–232.

LOPSTR-2001-Shankar #functional #static analysis

Static Analysis for Safe Destructive Updates in a Functional Language (NS), pp. 1–24.

SAC-2001-LiPJ #analysis

Analysis of dynamic movement-based location update scheme (JL, YP, XJ), pp. 368–372.

DAC-2000-LevySMW #analysis #performance

A rank-one update method for efficient processing of interconnect parasitics in timing analysis (HL, WS, DM, JW), pp. 75–78.

ESOP-2000-Hofmann #bound #functional #type system

A Type System for Bounded Space and Functional In-Place Update--Extended Abstract (MH0), pp. 165–179.

ICALP-2000-AmbuhlGS #algorithm #problem

Optimal Projective Algorithms for the List Update Problem (CA, BG, BvS), pp. 305–316.

CIKM-2000-Norvag #case study #comparative #database

A Comparative Study of Log-Only and In-Place Update Based Temporal Object Database Systems (KN), pp. 496–503.

CIKM-2000-YeeDN #database #design #framework #scalability

A Framework for Designing Update Objects to Improve Server Scalability in Intermittently Synchronized Databases (WGY, MJD, SBN), pp. 54–61.

ICPR-v2-2000-ChenHF #algorithm #nearest neighbour

Winner-Update Algorithm for Nearest Neighbor Search (YSC, YPH, CSF), pp. 2704–2707.

OOPSLA-2000-KiernanC #middleware #query

Middleware object query processing with deferred updates and autonomous sources (JK, MJC), pp. 118–129.

SAC-2000-LohHTN #concurrent #database #hybrid #mobile

A Hybrid Method for Concurrent Updates on Disconnected Databases in Mobile Computing Environments (YHL, TH, MT, SN), pp. 563–565.

CAV-2000-BouyerDFP #automaton #question

Are Timed Automata Updatable? (PB, CD, EF, AP), pp. 464–479.

CL-2000-DekhtyarDD #complexity #constraints #on the

On Complexity of Updates through Integrity Constraints (MID, AJD, SD), pp. 867–881.

PODS-1999-MalmiS

Group Updates for Relaxed Height-Balanced Trees (LM, ESS), pp. 358–367.

SIGMOD-1999-BreitbartKRSS #database #protocol

Update Propagation Protocols For Replicated Databases (YB, RK, RR, SS, AS), pp. 97–108.

SIGMOD-1999-LabioYG

Shrinking the Warehouse Update Window (WL, RY, HGM), pp. 383–394.

VLDB-1999-PitouraC

Exploiting Versions for Handling Updates in Broadcast Disks (EP, PKC), pp. 114–125.

ICEIS-1999-VidalL #database #multi

Updating Multiple Databases Through Mediators (VMPV, BFL), pp. 163–170.

CIKM-1999-JangKS #documentation #effectiveness

An Effective Mechanism for Index Update in Structured Documents (HJ, YK, DS), pp. 383–390.

CIKM-1999-KaoLACL #database #maintenance #realtime

Updates and View Maintenance in Soft Real-Time Database Systems (BK, KyL, BA, RC, TSHL), pp. 300–307.

KDD-1999-AyanTA #algorithm #performance #scalability

An Efficient Algorithm to Update Large Itemsets with Early Pruning (NFA, AUT, MEA), pp. 287–291.

ICLP-1999-Zhang #rule-based

Monotonicity in Rule Based Update (YZ), pp. 471–485.

PODS-1998-Etessami #first-order #morphism

Dynamic Tree Isomorphism via First-Order Updates (KE), pp. 235–243.

SIGMOD-1998-LiuPTBBZBHY #monitoring #named #personalisation #tool support

CQ: A Personalized Update Monitoring Toolkit (LL, CP, WT, DB, JB, TZ, PB, WH, FY), pp. 547–549.

VLDB-1998-ZouS #online

Safely and Efficiently Updating References During On-line Reorganization (CZ, BS), pp. 512–522.

ICFP-1998-Gustavsson #analysis #optimisation

A Type Based Sharing Analysis for Update Avoidance and Optimisation (JG), pp. 39–50.

KR-1998-DohertyLM

The PMA and Relativizing Minimal Change for Action Update (PD, WL, EMB), pp. 258–269.

SAC-1998-LeeSL #incremental #mobile

Incremental view update for a mobile data warehouse (KCKL, AS, HVL), pp. 394–399.

JICSLP-1998-DekhtyarDS #on the

On Logically Justified Updates (MID, AJD, NS), pp. 250–264.

JICSLP-1998-LeiteP #logic programming

Iterated Logic Program Updates (JAL, LMP), pp. 265–278.

SIGMOD-1997-RoussopoulosKR #named

Cubetree: Organization of and Bulk Updates on the Data Cube (NR, YK, MR), pp. 89–99.

VLDB-1997-LlirbatST #transaction #using

Using Versions in Update Transactions: Application to Integrity Checking (FL, ES, DT), pp. 96–105.

CIKM-1997-Henrich #object-oriented

The Update of Index Structures in Object-Oriented DBMS (AH), pp. 136–143.

KDD-1997-ThomasBAR #algorithm #database #incremental #performance #scalability

An Efficient Algorithm for the Incremental Updation of Association Rules in Large Databases (ST, SB, KA, SR), pp. 263–266.

SAC-1997-ChundiRR #database #distributed #multi #transaction

Multi-site distributed database transactions utilizing deferred update (PC, DJR, SSR), pp. 118–122.

SOSP-1997-PetersenSTTD #consistency #flexibility #replication

Flexible Update Propagation for Weakly Consistent Replication (KP, MS, DBT, MT, AJD), pp. 288–301.

ICLP-1997-WichertF #database

Capturing Database Dynamics by Deferred Updates (CAW, BF), pp. 226–240.

SIGMOD-1996-DohertyHR #database #object-oriented

Structures for Manipulating Proposed Updates in Object-Oriented Databases (MD, RH, MR), pp. 306–317.

VLDB-1996-AcharyaFZ

Disseminating Updates on Broadcast Disks (SA, MJF, SBZ), pp. 354–365.

ICSM-1996-ChowN #automation #library

Semi-automatic update of applications in response to library changes (KC, DN), p. 359–?.

ICALP-1996-AlbersM #algorithm #analysis

Average Case Analyses of List Update Algorithms, with Applications to Data Compression (SA, MM), pp. 514–525.

CAiSE-1996-ConstantopoulosT

Context-Driven Information Base Update (PC, YT), pp. 319–344.

ICML-1996-HelmboldSSW #multi #online #using

On-Line Portfolio Selection Using Multiplicative Updates (DPH, RES, YS, MKW), pp. 243–251.

ICPR-1996-MartinezST #linear #performance #recursion

A recursive updating rule for efficient computation of linear moments in sliding-window applications (JM, ES, FT), pp. 295–299.

KDD-1996-SwansonS

Undiscovered Public Knowledge: A Ten-Year Update (DRS, NRS), pp. 295–298.

POPL-1996-SagivRW #problem

Solving Shape-Analysis Problems in Languages with Destructive Updating (SS, TWR, RW), pp. 16–31.

HPCA-1996-IftodeDFL #automation #memory management #using

Improving Release-Consistent Shared Virtual Memory Using Automatic Update (LI, CD, EWF, KL), pp. 14–25.

HPCA-1996-RaynaudZT #adaptation #multi #protocol #scalability

Distance-Adaptive Update Protocols for Scalable Shared-Memory Multiprocessors (AR, ZZ, JT), pp. 323–334.

CADE-1996-FarmerGF #named

IMPS: An Updated System Description (WMF, JDG, FJT), pp. 298–302.

JICSLP-1996-Decker #abduction #database #deduction #maintenance

An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases (HD), pp. 157–169.

PODS-1995-AndriesCPB #set

Applying an Update Method to a Set of Receivers (MA, LC, JP, JVdB), pp. 208–218.

PODS-1995-ChangH #database #generative #using

Using Witness Generators to Support Bi-directional Update Between Object-Based Databases (TPC, RH), pp. 196–207.

SIGMOD-1995-AbiteboulCM #database #interface

A Database Interface for File Updates (SA, SC, TM), pp. 386–397.

SIGMOD-1995-AdelbergGK #database #realtime

Applying Update Streams in a Soft Real-Time Database System (BA, HGM, BK), pp. 245–256.

SIGMOD-1995-Golding #replication

Things Every Update Replication Customer Should Know (RG), pp. 439–440.

STOC-1995-KivinenW #linear #predict

Additive versus exponentiated gradient updates for linear prediction (JK, MKW), pp. 209–218.

CIKM-1995-VilesF #information management #information retrieval #on the

On the Update of Term Weights in Dynamic Information Retrieval Systems (CLV, JCF), pp. 167–174.

SOSP-1995-TerryTPDSH

Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System (DBT, MT, KP, AJD, MS, CH), pp. 172–183.

SIGMOD-1994-TomasicGS #documentation #incremental #retrieval

Incremental Updates of Inverted Lists for Text Document Retrieval (AT, HGM, KAS), pp. 289–300.

VLDB-1994-FerrandinaMZ #database #implementation #lazy evaluation

Implementing Lazy Database Updates for an Object Database System (FF, TM, RZ), pp. 261–272.

VLDB-1994-SripadaW #cumulative

Cumulative Updates (SMS, BW), pp. 534–545.

LFP-1994-Biswas

In-Place Updates in the Presence of Control Operators (SKB), pp. 283–293.

LFP-1994-SastryC #functional #parallel #strict

Parallel Destructive Updating in Strict Functional Languages (AVSS, WDC), pp. 263–272.

CIKM-1994-VidalW #integration #semantics

Preserving Update Semantics in Schema Integration (VMPV, MW), pp. 263–271.

KR-1994-EtzioniGW #reasoning

Tractable Closed World Reasoning with Updates (OE, KG, DSW), pp. 178–189.

KR-1994-FriedmanH #framework #knowledge-based

A Knowledge-Based Framework for Belief Change, Part II: Revision and Update (NF, JYH), pp. 190–201.

SEKE-1994-ShiHB #named

Belief: updating vs. combining (SS, MECH, DAB), pp. 344–351.

SIGIR-1994-ShoensTG #analysis #incremental #performance

Synthetic Workload Performance Analysis of Incremental Updates (KAS, AT, HGM), pp. 329–338.

SIGMOD-1993-JohnsonK #distributed #lazy evaluation

Lazy Updates for Distributed Search Structure (TJ, PK), pp. 337–346.

VLDB-1993-AbiteboulCM #query

Querying and Updating the File (SA, SC, TM), pp. 73–84.

VLDB-1993-HoskingBM #comparative #evaluation #performance #persistent #programming language

Update Logging for Persistent Programming Languages: A Comparative Performance Evaluation (ALH, EWB, JEBM), pp. 429–440.

VLDB-1993-LevyS #independence #query

Queries Independent of Updates (AYL, YS), pp. 171–181.

VLDB-1993-PolyzoisBD

Disk Mirroring with Alternating Deferred Updates (CAP, AB, DMD), pp. 604–617.

VLDB-1993-StonebrakerADNR #research

DBMS Research at a Crossroads: The Vienna Update (MS, RA, UD, EJN, AR), pp. 688–692.

FPCA-1993-SastryCA #analysis #functional #strict

Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates (AVSS, WDC, ZMA), pp. 266–275.

CAiSE-1993-PonceletL #consistency #database #design

Consistent Structural Updates for Object Database Design (PP, LL), pp. 1–21.

CIKM-1993-MontesiB #constraints #query #transaction

Queries, Constraints, Updates and Transactions Within a Logic-Based Language (DM, EB), pp. 500–506.

FSE-1993-Griswold #data flow

Direct Update of Data Flow Representations for a Meaning-Preserving Program Restructuring Tool (WGG), pp. 42–55.

ICLP-1993-Dung #database #logic programming #representation

Representing Actions in Logic Programming and Its Applications in Database Updates (PMD), pp. 222–238.

ILPS-1993-GudjonssonW #bibliography

Update In Place: Overview of the Siva Project (GG, WHW), pp. 94–113.

PODS-1992-EiterG #complexity #knowledge base #on the

On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals (TE, GG), pp. 261–273.

SIGMOD-1992-MohanN #algorithm #scalability

Algorithms for Creating Indexes for Very Large Tables Without Quiescing Updates (CM, IN), pp. 361–370.

VLDB-1992-KramerLS #rule-based

Updates in a Rule-Based Language for Objects (MK, GL, GS), pp. 251–262.

ESOP-1992-Chuang #array #incremental #performance #persistent

Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads (TRC), pp. 110–129.

KR-1992-GoldszmidtP #approach #reasoning

Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions (MG, JP), pp. 661–672.

KR-1992-NejdlB #query #semantics

Asking About Possibilities — Revision and Update Semantics for Subjunctive Queries (WN, MB), pp. 697–708.

KR-1992-Val #knowledge base

Computing Knowledge Base Updates (AdV), pp. 740–750.

SOSP-WIP-1991-Young92 #lazy evaluation #metadata #named #transaction

Episode: Lazy Transactions for Filesystem Meta-Data Updates (Abstract) (MWY), p. 20.

HPDC-1992-ClaytonDMW #bound #latency

Determining Update Latency Bounds in Galactica Net (SC, RJD, WM, AW), pp. 104–111.

PODS-1991-NurmiS

Uncoupling Updating and Rebalancing in Chromatic Binary Search Trees (ON, ESS), pp. 192–198.

SIGMOD-1991-BarsalouKSW #database #relational

Updating Relational Databases through Object-Based Views (TB, AMK, NS, GW), pp. 248–257.

KR-1991-Grahne

Updates and Counterfactuals (GG), pp. 269–276.

KR-1991-KatsunoM #difference #knowledge base #on the

On the Difference between Updating a Knowledge Base and Revising It (HK, AOM), pp. 387–394.

PLILP-1991-BorgerD #database #framework #prolog

A Framework to Specify Database Update Views for Prolog (EB, BD), pp. 147–158.

POPL-1991-Odersky #how

How to Make Destructive Updates Less Destructive (MO), pp. 25–36.

PODS-1990-Elkan #database #independence #logic #query

Independence of Logic Database Queries and Updates (CE), pp. 154–160.

SIGMOD-1990-AtzeniT #independence #performance

Efficient Updates to Independent Schemes in the Weak Instance Model (PA, RT), pp. 84–93.

VLDB-1990-KakasM #abduction #database

Database Updates through Abduction (ACK, PM), pp. 650–661.

CHI-1990-Telles #interface

Updating an older interface (MT), pp. 243–248.

CLP-1990-Bry90 #abduction #deduction

Intensional Updates: Abduction via Deduction (FB), pp. 561–575.

HT-1989-FrisseC #hypermedia #information retrieval

Information Retrieval from Hypertext: Update on the Dynamic Medical Handbook Project (MEF, SBC), pp. 199–212.

PODS-1989-AtzeniT #database

Updating Databases in the Weak Instance Model (PA, RT), pp. 101–109.

PODS-1989-Manchanda #database #declarative #deduction

Declarative Expression of Deductive Database Updates (SM), pp. 93–100.

VLDB-1989-ChenL #database #semantics

Derived Data Update in Semantic Databases (IMAC, DM), pp. 225–235.

FPCA-1989-Bloss #analysis #functional #implementation #performance

Update Analysis and the Efficient Implementation of Functional Aggregates (AGB), pp. 26–38.

PODS-1988-AbiteboulV #database #declarative

Procedural and Declarative Database Update Languages (SA, VV), pp. 240–250.

PODS-1988-NaqviK #database #logic programming

Database Updates in Logic Programming (SAN, RK), pp. 251–262.

PODS-1988-Winslett #comparison #framework #semantics

A Framework for Comparison of Update Semantics (MW), pp. 315–324.

SIGMOD-1988-BreitbartS #multi

Multidatabase Update Issues (YB, AS), pp. 135–142.

SIGMOD-1988-RamnarayanL #knowledge base #query

A Data/Knowledge Base Management Testbed and Experimental Results on Data/Knowledge Base Query and Update Processing (RR, HL), pp. 387–395.

VLDB-1988-LecluseS #implementation #interface #query

Implementing Queries and Updates on Universal Scheme Interfaces (CL, NS), pp. 62–75.

VLDB-1988-MaindrevilleS #database #deduction #modelling #query

Modelling Non Deterministic Queries and Updates in Deductive Databases (CdM, ES), pp. 395–406.

POPL-1988-CarrollR #analysis #data flow #incremental

Incremental Data Flow Analysis via Dominator and Attribute Updates (MDC, BGR), pp. 274–284.

PODS-1987-AbiteboulV #database #specification

A Transcation Language Complete for Database Update and Specification (SA, VV), pp. 260–268.

PODS-1987-Hegner #database #implementation #source code #specification

Specification and Implementation of Programs for Updating Incomplete Information Databases (SJH), pp. 146–158.

CSL-1987-Weber #algorithm

Algorithms for Propositional Updates (AW0), pp. 335–346.

ICLP-1987-NaishTR87 #concurrent #database #prolog

Concurrent Database Updates in PROLOG (LN, JAT, KR), pp. 178–195.

PODS-1986-Wilkins #approach #database #logic

A Model-Theoretic Approach to Updating Logical Databases (MW), pp. 224–234.

SIGMOD-1986-BlakeleyLT

Efficiently Updating Materialized Views (JAB, PÅL, FWT), pp. 61–71.

VLDB-1986-BlakeleyCL #detection

Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates (JAB, NC, PÅL), pp. 457–466.

VLDB-1986-Keller

Choosing a View Update Translator by Dialog at View Definition Time (AMK), pp. 467–474.

VLDB-1986-SarinKS #database #process #using

Using History Information to Process Delayed Database Updates (SKS, CWK, JES), pp. 71–78.

ICALP-1986-BorodinFHUW #problem #taxonomy #trade-off

A Tradeoff Between Search and Update Time for the Implicit Dictionary Problem (AB, FEF, FMadH, EU, AW), pp. 50–59.

POPL-1986-RepsMT #editing

Remote Attribute Updating for Language-Based Editors (TWR, CM, TT), pp. 1–13.

PODS-1985-BrosdaV #database #interface #relational

Updating a Relational Database through a Universal Schema Interface (VB, GV), pp. 66–75.

PODS-1985-Keller #algorithm #database

Algorithms for Translating View Updates to Database Updates for Views Involving Selections, Projections, and Joins (AMK), pp. 154–163.

SIGMOD-1985-HsuI #multi

Integrity Checking for Multiple Updates (AH, TI), pp. 152–168.

SIGMOD-1985-VossenB #aspect-oriented #database #relational #retrieval #user interface

A High-Level User Interface for Update and Retrieval in Relational Databases — Language Aspects (GV, VB), pp. 343–353.

VLDB-1985-AbiteboulG #database #semantics #semistructured data

Update Semantics for Incomplete Databases (SA, GG), pp. 1–12.

VLDB-1985-BlausteinK

Updating Replicated Data During Communications Failures (BTB, CWK), pp. 49–58.

VLDB-1985-MedeirosT #comprehension #policy

Understanding the Implications of View Update Policies (CBM, FWT), pp. 316–323.

STOC-1985-Culberson

The Effect of Updates in Binary Search Trees (JCC), pp. 205–212.

FPCA-1985-ODonnell85 #architecture

An Architecture that Efficiently Updates Associative Aggregates in Applicative Programing Languages (JTO), pp. 164–189.

POPL-1985-HudakB #functional #problem #programming

The Aggregate Update Problem in Functional Programming Systems (PH, AB), pp. 300–314.

PODS-1984-Hegner #algebra #canonical #component

Canonical View Update Support through Boolean Algebras of Components (SJH), pp. 163–173.

PODS-1984-Salveter #database #natural language

A Transportable Natural Language Database Update System (SCS), pp. 239–247.

VLDB-1984-Masunaga #database #relational

A Relational Database View Update Translation Mechanism (YM), pp. 309–320.

STOC-1984-FredericksonS #data type #online

Data Structures for On-Line Updating of Matroid Intersection Solutions (Preliminary Version) (GNF, MAS), pp. 383–390.

STOC-1984-SleatorT #performance

Amortized Efficiency of List Update Rules (DDS, RET), pp. 488–492.

PODS-1983-Cosmadakis83a #relational

Updates of Relational Views (SSC, CHP), pp. 317–331.

PODS-1983-FaginUV #database #on the #semantics

On the Semantics of Updates in Databases (RF, JDU, MYV), pp. 352–365.

VLDB-1983-GolshaniMS #algebra #database #query #specification

A Modal System of Algebras for Database Specification and Query/Update Language Support (FG, TSEM, MRS), pp. 331–339.

VLDB-1983-Verroust #database #semantics

Characterization of Well-Behaved Database Schemata and Their Update Semantics (AV), pp. 312–321.

STOC-1983-Frederickson #data type #online

Data Structures for On-Line Updating of Minimum Spanning Trees (Preliminary Version) (GNF), pp. 252–257.

DAC-1981-Scoble #interactive #using

Creating and updating space occupancy and building plans using interactive graphics (RAS), pp. 66–73.

VLDB-1981-Cammarate #database #relational

Deferring Updates in a Relational Data Base System (SJC), pp. 286–292.

VLDB-1980-Cheng #database #distributed

Update Synchronization in Distributed Databases (WKC, GGB), pp. 301–308.

SIGMOD-1979-RoweS #abstraction

Data Abstractions, Views and Updates in RIGEL (LAR, KAS), pp. 71–81.

VLDB-1979-Arditi

An Optimized Backout Mechanism for Sequential Updates (JA), pp. 147–154.

SOSP-1979-Montgomery #distributed #implementation #named

Polyvalues: A Tool for Implementing Atomic Updates to Distributed Data (WAM), pp. 143–149.

VLDB-1978-DayalB #on the #relational

On the Updatability of Relational Views (UD, PAB), pp. 368–377.

SIGMOD-1977-LohmanM #policy

Optimal Policy for Batch Operations: Backup, Checkpointing, Reorganization, and Updating (Abstract) (GML, JAM), p. 157.

SIGMOD-1977-Sharman #approach #database #interactive #named

Update-by-Dialogue: An Interactive Approach to Database Modification (GCHS), pp. 21–29.

ICSE-1976-Kummel #algorithm #relational

Improved Updating in relational Dat Base Systems by Deuter-Shere Algorithms (PK), pp. 556–561.

SIGMOD-1975-Rappaport #design #online

File Structure Design to Facilitate On-Line Instantaneous Updating (RLR), pp. 1–14.

VLDB-1975-Sekino #concurrent #multi

Multiple Concurrent Updates (LCS), pp. 505–507.

SIGFIDET-1971-Nijssen #performance #random

Efficient Batch Updating of a Random File (GMN), pp. 173–186.

DAC-1969-GinsbergMW #multi

An updated multilayer printed wiring C-A-D capability (GLG, CRMJ, EHW), pp. 145–154.

DAC-1968-Uhlik #automation #diagrams #logic

Graphic update of automated logic diagrams (RJU).