115 papers:
QoSA-2015-XuWXZB #as a service #data analysis #realtime- Making Real Time Data Analytics Available as a Service (DX, DW, XX, LZ, LB), pp. 73–82.
DATE-2015-HoqueMS #analysis #approach #maintenance #model checking #probability #reliability #towards- Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking (KAH, OAM, YS), pp. 1635–1640.
SIGMOD-2015-ColgroveDHMSSTV #component #enterprise #named #performance- Purity: Building Fast, Highly-Available Enterprise Flash Storage from Commodity Components (JC, JDD, JH, ELM, CS, RS, AT, NV, FW), pp. 1683–1694.
CSCW-2015-Ferro #network #social- The Importance of Publicly Available Social Networking Sites (SNSs) to Entrepreneurs (TF), pp. 917–928.
ASPLOS-2015-ZhangYMS #memory management #named #reliability- Mojim: A Reliable and Highly-Available Non-Volatile Memory System (YZ, JY, AM, SS), pp. 3–18.
HPDC-2015-GuoCWZ- Bidding for Highly Available Services with Low Price in Spot Instance Market (WG, KC, YW, WZ), pp. 191–202.
SOSP-2015-DragojevicNNRSB #consistency #distributed #performance #transaction- No compromises: distributed transactions with consistency, availability, and performance (AD, DN, EBN, MR, AS, AB, MC), pp. 54–70.
ASE-2014-TurenneKGR #generative- A tool chain for generating the description files of highly available software (MT, AK, AG, SR), pp. 867–870.
CHI-2014-MazmanianE #comprehension #constant- The product of availability: understanding the economic underpinnings of constant connectivity (MM, IE), pp. 763–772.
EDOC-2014-DomaschkaHE #database #distributed #reliability- Reliability and Availability Properties of Distributed Database Systems (JD, CBH, BE), pp. 226–233.
SEKE-2014-Parvizi-MosaedMHH #adaptation #architecture #evaluation #self #towards- Towards a Tactic-Based Evaluation of Self-Adaptive Software Architecture Availability (APM, SM, JH, AH), pp. 168–173.
SAC-2014-AlabdulhafezE #case study #comparative #in the cloud #virtual machine- Experimenting on virtual machines co-residency in the cloud: a comparative study of available test beds (AA, PDE), pp. 363–365.
VLDB-2014-BailisDFGHS13 #transaction- Highly Available Transactions: Virtues and Limitations (PB, AD, AF, AG, JMH, IS), pp. 181–192.
DLT-2013-Shur #anti #finite #order- Languages with a Finite Antidictionary: Growth-Preserving Transformations and Available Orders of Growth (AMS), pp. 445–457.
IFL-2013-GrelckW #adaptation #array #functional #generative #performance- Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code (CG, HW), p. 117.
- CHI-2013-SuCWLCC #named #visual notation
- NailDisplay: bringing an always available visual display to fingertips (CHS, LWC, CTW, RHL, KYC, BYC), pp. 1461–1464.
- CSCW-2013-TeevanH #communication #comprehension #how
- Understanding how the projection of availability state impacts the reception incoming communication (JT, AH), pp. 753–758.
ICEIS-v2-2013-CallegariJC #bibliography #challenge #health #mobile #roadmap- Technical Trends and Challenges in Mobile Health — A Systematic Review of Recent Available Literature (DAC, LCJ, ACdC), pp. 519–525.
- SAC-2013-KimGKTSK #optimisation
- Maximizing availability of content in disruptive environments by cross-layer optimization (MK, AG, JMK, DT, MOS, JSK), pp. 447–454.
- VLDB-2012-PattersonENAA #concurrent #multi
- Serializability, not Serial: Concurrency Control and Availability in Multi-Datacenter Datastores (SP, AJE, FN, DA, AEA), pp. 1459–1470.
FASE-2012-EckhardtMAMW- Stable Availability under Denial of Service Attacks through Formal Patterns (JE, TM, MA, JM, MW), pp. 78–93.
KEOD-2012-PaniLCST #optimisation #repository- Optimization of Knowledge Availability in an Institutional Repository (FEP, MIL, GC, CS, MPT), pp. 302–306.
- VLDB-2011-MinhasRCASW #database #named
- RemusDB: Transparent High Availability for Database Systems (UFM, SR, BC, AA, KS, AW), pp. 738–748.
- VLDB-2011-RaoST #consistency #scalability #using
- Using Paxos to Build a Scalable, Consistent, and Highly Available Datastore (JR, EJS, ST), pp. 243–254.
FM-2011-BartheBCL #verification- Formally Verifying Isolation and Availability in an Idealized Model of Virtualization (GB, GB, JDC, CL), pp. 231–245.
- CHI-2011-Sharma
- Role of available and provided resources in sensemaking (NS), pp. 1807–1816.
ICSE-2011-BayneCE #feedback- Always-available static and dynamic feedback (MB, RC, MDE), pp. 521–530.
- SOSP-2011-CalderWONSMXSWSHUKEBMAAHHBDAMSMR #consistency
- Windows Azure Storage: a highly available cloud storage service with strong consistency (BC, JW, AO, NN, AS, SM, YX, SS, JW, HS, JH, CU, HK, AE, VB, SM, RA, AA, MFuH, MIuH, DB, SD, AA, MM, SS, KM, LR), pp. 143–157.
CAiSE-2010-MatuleviciusHK #documentation #quality- Validity of the Documentation Availability Model: Experimental Definition of Quality Interpretation (RM, NH, FK), pp. 236–250.
GPCE-J-2007-FradetH10 #aspect-oriented- Aspects of availability: Enforcing timed properties to prevent denial of service (PF, SHTH), pp. 516–542.
- SAC-2010-ArnaudB #adaptation #internet #performance
- Adaptive internet services through performance and availability control (JA, SB), pp. 444–451.
- SAC-2010-AstrovaKK #comparison #enterprise
- Comparison of enterprise service buses based on their support of high availability (IA, AK, TK), pp. 2495–2496.
- SAC-2010-Pamies-JuarezL #maintenance #reliability
- Maintaining data reliability without availability in P2P storage systems (LPJ, PGL), pp. 684–688.
- SAC-2010-ParkKCKH #named #peer-to-peer #performance #replication
- Chordet: an efficient and transparent replication for improving availability of peer-to-peer networked systems (GP, SK, YC, JK, JH), pp. 221–225.
- SAC-2010-WangLRKL #distributed #information management
- Improving complex distributed software system availability through information hiding (LW, YL, SR, KAK, XL), pp. 452–456.
- ICSE-2010-May #quality
- Dynamic service quality and resource negotiation for high-availability service-oriented systems (NRM), pp. 327–328.
- ICSE-2010-Wassermann #distributed
- Improving wide-area distributed system availability (BW), pp. 347–348.
- HPDC-2010-DuGR #component #multitenancy #scalability
- Highly available component sharing in large-scale multi-tenant cloud systems (JD, XG, DSR), pp. 85–94.
OSDI-2010-FordLPSTBGQ #distributed- Availability in Globally Distributed Storage Systems (DF, FL, FIP, MS, VAT, LB, CG, SQ), pp. 61–74.
- ASE-2009-GherbiKKHT #generative #validation
- A Tool Suite for the Generation and Validation of Configurations for Software Availability (AG, AK, FK, AHL, MT), pp. 671–673.
- DATE-2009-OzturkK #compilation #execution #memory management #using
- Using dynamic compilation for continuing execution under reduced memory availability (ÖÖ, MTK), pp. 1373–1378.
CSMR-2009-BurenR #analysis #architecture #maintenance #using- Architectural Maintenance Using a Data Warehouse System for Availability Analysis (GB, CR), pp. 307–308.
HIMI-II-2009-BaeLLCKB #estimation- An End-to-End Proactive TCP Based on Available Bandwidth Estimation with Congestion Level Index (SB, DL, CL, JC, JK, SB), pp. 124–130.
- ICEIS-SAIC-2009-MaamarSTS #implementation #web #web service
- A P2P Implementation for the High Availability of Web Services (ZM, MS, ST, QZS), pp. 19–24.
CIKM-2009-Moussa #database #distributed #implementation #middleware- HDDBrs middleware for implementing highly available distributed databases (RM), pp. 2075–2076.
- SEKE-2008-XieXLW #scheduling
- A Project Scheduling Method Based on Human Resource Availability (LX, JX, DL, QW), pp. 161–166.
- HPDC-2008-ShafaatSMHGR #consistency #network
- Key-based consistency and availability in structured overlay networks (TMS, TS, MM, SH, AG, AR), pp. 235–236.
WICSA-2007-Bondi #performance #reliability #requirements- Best Practices for Writing and Managing Performance, Reliability, and Availability Requirements (ABB), p. 42.
- HIMI-MTT-2007-LeeLKC #analysis #correlation #human-computer #mobile
- Correlation Analysis of Available Bandwidth Estimators for Mobile HCI (DL, CL, JK, JWC), pp. 687–696.
- HIMI-MTT-2007-MooneyW #interface
- Evaluating Interfaces to Publicly Available Environmental Information (PM, ACW), pp. 107–114.
- SEKE-2007-SunZZJM #adaptation #component #distributed #self #towards
- Towards Constructing High-available Decentralized Systems via Self-adaptive Components (XS, LZ, LZ, WJ, HM), pp. 296–301.
- GPCE-2007-FradetH #aspect-oriented
- Aspects of availability (PF, SHTH), pp. 165–174.
- SOSP-2007-DeCandiaHJKLPSVV #named
- Dynamo: amazon’s highly available key-value store (GD, DH, MJ, GK, AL, AP, SS, PV, WV), pp. 205–220.
- VLDB-2006-LauM #approach #distributed
- An Integrated Approach to Recovery and High Availability in an Updatable, Distributed Data Warehouse (EL, SM), pp. 703–714.
SPL-BOOK-2006-Immonen #architecture #predict #reliability- A Method for Predicting Reliability and Availability at the Architecture Level (AI), pp. 373–422.
HPCA-2006-NakanoMGT #named #performance- ReViveI/O: efficient handling of I/O in highly-available rollback-recovery servers (JN, PM, KG, JT), pp. 200–211.
- HPDC-2006-RenLEB #fine-grained #predict
- Resource Availability Prediction in Fine-Grained Cycle Sharing Systems (XR, SL, RE, SB), pp. 93–104.
- HPDC-2006-SilbersteinKSSL
- Materializing Highly Available Grids (MS, GK, AS, AS, ML), pp. 321–323.
PPoPP-2006-ChristodoulopoulouMBA #clustering #performance- Fast and transparent recovery for continuous availability of cluster-based servers (RC, KM, AB, CA), pp. 221–229.
- ASE-2005-Zheng #source code #testing
- In regression testing selection when source code is not available (JZ0), pp. 452–455.
CASE-2005-LauS #evaluation #multi- Evaluation of time-varying availability in multi-echelon inventory system under combat damage (HCL, HS), pp. 226–231.
- SIGMOD-2005-LingaCGS #correctness
- Guaranteeing Correctness and Availability in P2P Range Indices (PL, AC, JG, JS), pp. 323–334.
ICSM-2005-SusaniD #contract #maintenance #specification #using- Cross-Organizational Service Maintenance Using Temporal Availability Specification and Contracts (OvS, PD), pp. 230–239.
- SIGMOD-2004-BalazinskaBS #distributed
- Load Management and High Availability in the Medusa Distributed Stream Processing System (MB, HB, MS), pp. 929–930.
- SIGMOD-2004-ShahHB #fault tolerance #parallel
- Highly-Available, Fault-Tolerant, Parallel Dataflows (MAS, JMH, EAB), pp. 827–838.
- VLDB-2004-LitwinMS #distributed
- LH*RS: A Highly Available Distributed Data Storage (WL, RM, TJES), pp. 1289–1292.
- CSCW-2004-NagelHA #communication #predict
- Predictors of availability in home life context-mediated communication (KSN, JMH, GDA), pp. 497–506.
- ICEIS-v1-2004-Frank #database #design #performance #transaction
- Transaction Design for Databases with High Performance and Availability (LF), pp. 222–226.
- ICSE-2004-BirmanRV #behaviour #web #web service
- Adding High Availability and Autonomic Behavior to Web Services (KPB, RvR, WV), pp. 17–26.
- ICSE-2004-CervantesH #adaptation #component #using
- Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model (HC, RSH), pp. 614–623.
- OSDI-2004-RenesseS #replication #throughput
- Chain Replication for Supporting High Throughput and Availability (RvR, FBS), pp. 91–104.
- OSDI-2004-RinardCDRLB #security
- Enhancing Server Availability and Security Through Failure-Oblivious Computing (MCR, CC, DD, DMR, TL, WSB), pp. 303–316.
- SAC-2003-Bella #protocol
- Availability of Protocol Goals (GB), pp. 312–317.
ESEC-FSE-2003-HallC #named- Gravity: supporting dynamically available services in client-side applications (RSH, HC), pp. 379–382.
ITiCSE-2002-Knox #named- CITIDEL: making resources available (DK), p. 225.
- CHI-2002-HudsonCKE #quote #research
- “I’d be overwhelmed, but it’s just one more thing to do”: availability and interruption in research management (JMH, JC, WAK, TE), pp. 97–104.
- HPDC-2002-HuangV #resource management
- QoS-Based Resource Discovery in Intermittently Available Environments (YH, NV), p. 50–?.
- OSDI-2002-AdyaBCCCDHLTW #named #reliability
- FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment (AA, WJB, MC, GC, RC, JRD, JH, JRL, MT, RW), pp. 1–14.
- VLDB-2001-BratsbergH #database #online #scalability
- Online Scaling in a Highly Available Database (SEB, RH), pp. 451–460.
TOOLS-USA-2001-McClure #how #privacy #security- Hacking = Privacy: How Computer Hacking Can Shore Up Your Defenses and Deliver the Closest Ideal to Security Available (SM), p. 7.
- PPoPP-2001-RencuzogullariD #adaptation #network #parallel
- Dynamic adaptation to available resources for parallel computing in an autonomous network of workstations (UR, SD), pp. 72–81.
- SOSP-2001-YuV #cost analysis
- The Costs and Limits of Availability for Replicated Services (HY, AV), pp. 29–42.
- SIGMOD-2000-BratsbergT #design #named #tutorial
- Tutorial: Designing an Ultra Highly Available DBMS (SEB, ØT), p. 577.
- SIGMOD-2000-LitwinS #data type #distributed #scalability #using
- LH*RS: A High-Availability Scalable Distributed Data Structure using Reed Solomon Codes (WL, TJES), pp. 237–248.
- VLDB-2000-HvasshovdBT
- An Ultra Highly Available DBMS (SOH, SEB, ØT), p. 673.
SIGIR-2000-OhML #categorisation #hypermedia #incremental #using- A practical hypertext categorization method using links and incrementally available class information (HJO, SHM, MHL), pp. 264–271.
- VLDB-1999-BamfordAP #architecture #database #scalability
- A Scalable and Highly Available Networked Database Architecture (RB, RA, AP), pp. 199–201.
- HPDC-1999-WolskiSH #cpu #grid #predict
- Predicting the CPU Availability of Time-shared Unix Systems on the Computational Grid (RW, NTS, JH), pp. 105–112.
- SOSP-1999-SaitoBL #clustering #performance #scalability
- Manageability, Availability and Performance in Porcupine: A Highly Scalable, Cluster-based Mail Service (YS, BNB, HML), pp. 1–15.
- DATE-1998-PomeranzR98a #using
- Design-for-Testability for Synchronous Sequential Circuits using Locally Available Lines (IP, SMR), pp. 983–984.
- SIGMOD-1998-Brewer
- Delivering High Availability for Inktomi Search Engines (EAB), p. 538.
- ICSM-1998-Schneidewind #maintenance #off the shelf #reliability
- Methods for Assessing COTS Reliability, Maintainability, and Availability (NFS), p. 224–?.
- VLDB-1996-Gawlick
- Scalablity and Availability in Oracle7 7.3 (DG), p. 584.
- SIGMOD-1995-Ivinskis
- High Availability of Commercial Applications (KI), pp. 433–434.
- VLDB-1995-HvasshovdTBH #database #realtime #throughput
- The ClustRa Telecom Database: High Availability, High Throughput, and Real-Time Response (SOH, ØT, SEB, PH), pp. 469–477.
KDD-1995-Glymour #modelling #predict- Available Technology for Discovering Causal Models, Building Bayes Nets, and Selecting Predictors: The TETRAD II Program (CG), pp. 130–135.
- SOSP-1995-NelsonLO #scalability
- A Highly Available, Scalable ITV System (MNN, MAL, SSO), pp. 54–67.
- SIGMOD-1994-Englert #scalability #sql
- NonStop SQL: Scalability and Availability for Decision Support (SE), p. 491.
- VLDB-1993-Mohan #effectiveness
- A Cost-Effective Method for Providing Improved Data Availability During DBMS Restart Recovery After a Failure (CM), pp. 368–379.
- CSM-1993-Stockenberg #architecture #integration #realtime
- A Dynamic Integration Architecture for High Availability Real-Time Systems (JES), pp. 51–60.
- CIKM-1993-BhargavaH #database #distributed #performance
- Efficient Availability Mechanisms in Distributed Databases Systems (BKB, AH), pp. 645–654.
- SIGMOD-1992-BhideGHJ #performance
- An Efficient Scheme for Providing High Availability (AB, AG, HIH, AJ), pp. 236–245.
- SIGMOD-1992-Celis #parallel #sql
- Distribution, Parallelism, and Availability in NonStop SQL (PC), p. 225.
- SIGMOD-1992-Kasi #performance
- High Performance and Availability Through Data Distribution (JK), p. 102.
- SIGMOD-1992-Robertson #development
- Administration, Availability, and Development Features of Teradata (BR), p. 225.
- VLDB-1991-SullivanS #data type #database #fault tolerance #using
- Using Write Protected Data Structures To Improve Software Fault Tolerance in Highly Available Database Management Systems (MS, MS), pp. 171–180.
- ICSE-1991-JacobyT #evaluation #geometry #parametricity #reliability
- Parameter Value Computation by Least Square Method and Evaluation of Software Availability and Reliability at Service-Operation by the Hyper-Geometric Distribution Software Reliability Growth Model (HGDM) (RJ, YT), pp. 226–237.
- SIGMOD-1989-CopelandK #comparison
- A Comparison Of High-Availability Media Recovery Techniques (GPC, TWK), pp. 98–109.
- ASPLOS-1989-JouppiW #parallel
- Available Instruction-Level Parallelism for Superscalar and Superpipelined Machines (NPJ, DWW), pp. 272–282.
PODS-1986-AbbadiT #database- Availability in Partitioned Replicated Databases (AEA, ST), pp. 240–251.
- PODS-1984-SkeenW #database
- Increasing Availability in Partitioned Database Systems (DS, DDW), pp. 290–299.
- PODS-1982-FischerM
- Sacrificing Serializability to Attain High Availability of Data (MJF, AM), pp. 70–75.
- VLDB-1982-AndlerDEHKMW #distributed
- System D: A Distributed System for Availability (SA, ID, KPE, CH, WK, JWM, RW), pp. 33–44.
DAC-1968-Murray-LassoK #analysis #online #optimisation- On-line circuit analysis and optimization with commercially available time-shared computer systems (MAML, FJK).
- SHARE-1964-LoydFL
- Additional papers not available within the printed proceedings (DL, CWF, ELL).
