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).