BibSLEIGH — reliability tag

reliability

reliability

Tag #reliability

598 papers:

ASPLOS-2020-WinkelDYPH: Reliable Timekeeping for Intermittent Computing (JdW, CDD, KSY, PP, JDH), pp. 53–67.
CGO-2020-JoshiFM #approximate #named #source code #verification: Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms (KJ, VF, SM), pp. 56–67.
MSR-2019-ChrenMB0 #analysis #automation #named: STRAIT: a tool for automated software reliability growth analysis (SC, RM, BB, BR0), pp. 105–110.
MSR-2019-WangSL0 #android #dataset #metadata #named #towards: RmvDroid: towards a reliable Android malware dataset with app metadata (HW, JS, HL, YG0), pp. 404–408.
DiGRA-2019-FragosoFA #image: Beyond God's Eye: on the Reliability of Gameworld Images (SF, FF, MA).
ECOOP-2019-MukherjeeRGDRLR #framework #programming #state machine: Reliable State Machines: A Framework for Programming Reliable Cloud Services (SM, NJR, KG, PD, CR, AL, AR, RK), p. 29.
OOPSLA-2019-BastianKN #performance #stack: Reliable and fast DWARF-based stack unwinding (TB, SK, FZN), p. 24.
ICSE-2019-ChenFMWG #crowdsourcing #how #implementation #question #security: How reliable is the crowdsourced knowledge of security implementation? (MC, FF, NM, XW, JG), pp. 536–547.
ICSE-2019-LeB00LP #assessment #correctness #on the: On reliability of patch correctness assessment (XBDL, LB, DL0, XX0, SL, CSP), pp. 524–535.
ICSE-2019-RamsauerLM #commit #process: The list is the process: reliable pre-integration tracking of commits on mailing lists (RR, DL, WM), pp. 807–818.
CASE-2019-MiaoHZ #fault #protocol: Reliable Cooperative Charging Protocol against Fault Data for Supercapacitors Charging Systems (YM, JH, SZ), pp. 954–959.
CASE-2019-WangMWNWL #performance: Dynamic Pricing for Autonomous Vehicle E-hailing Services Reliability and Performance Improvement (QW, FM, JW, YN, CW, NEL), pp. 948–953.
FM-2018-YanZZLYH #design #multi #resource management: Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods (RY, DZ, FZ, YL, JY, KH0), pp. 294–311.
FDG-2018-LevyLSG #design #game studies #tool support: Method in the madness: the design of games as valid and reliable scientific tools (LML, AJL, RS, MG), p. 10.
CIKM-2018-CazzolatoTB #estimation #performance: Efficient and Reliable Estimation of Cell Positions (MTC, AJMT, KB), pp. 1043–1052.
KDD-2018-Li0ZQHG0 #information management #named: TruePIE: Discovering Reliable Patterns in Pattern-Based Information Extraction (QL0, MJ0, XZ, MQ, TPH, JG0, JH0), pp. 1675–1684.
KDD-2018-ZhangWCDYW #modelling #named: StockAssIstant: A Stock AI Assistant for Reliability Modeling of Stock Comments (CZ, YW, CC, CD, HY, HW), pp. 2710–2719.
ESEC-FSE-2018-Gusmanov #modelling #network #on the: On the adoption of neural networks in modeling software reliability (KG), pp. 962–964.
ICSE-2018-0001URRK #api #case study #online #stack overflow: Are code examples on an online Q&A forum reliable?: a study of API misuse on stack overflow (TZ0, GU, AR, HR, MK), pp. 886–896.
GPCE-2018-HatchF #interactive #named #source code: Rash: from reckless interactions to reliable programs (WGH, MF), pp. 28–39.
SLE-2018-Rinard #approach #correctness: A new approach for software correctness and reliability (MCR), pp. 1–2.
CASE-2018-VijayaraghavanK #evaluation #integer #linear #programming #recursion #reduction: A Mixed Integer Programming Based Recursive Variance Reduction Method for Reliability Evaluation of Linear Sensor Systems (VV, KK, YD, HP), pp. 836–842.
CASE-2018-YangZD: Transients of Synchronous Serial Production Lines with Non-Exponential Reliability Machines (MY, LZ, PD), pp. 1507–1512.
EDM-2017-LiuK17a #metric #parametricity #student #towards: Towards reliable and valid measurement of individualized student parameters (RL0, KRK).
SANER-2017-NucciPPPZL #android #energy #performance #profiling #question: Software-based energy profiling of Android apps: Simple, efficient and reliable? (DDN, FP, AP, AP, AZ, ADL), pp. 103–114.
KDD-2017-MandrosBV #approximate #dependence #functional: Discovering Reliable Approximate Functional Dependencies (PM, MB, JV), pp. 355–363.
OOPSLA-2017-KaminskiKCW #automation #composition #framework: Reliable and automatic composition of language extensions to C: the ableC extensible language framework (TK, LK, TC, EVW), p. 29.
AdaEurope-2017-MilutinovicAAAM: Software Time Reliability in the Presence of Cache Memories (SM, JA, IA, MAa, EM, TV, FJC), pp. 233–249.
ICSE-2017-BertolinoMPR #adaptation #testing: Adaptive coverage and operational profile-based testing for reliability improvement (AB, BM, RP, SR), pp. 541–551.
CASE-2017-WangXBYL #constraints #evaluation #grid #hybrid #power management #security: Reliability evaluation of AC/DC hybrid power grid considering transient security constraints (CW, HX, ZB, CY, YL), pp. 1237–1242.
CASE-2017-XuHS #coordination: Reliability of high renewable penetration microgrid facilitated by coordination of air conditioning system and cooling fans (ZX, GH, CJS), pp. 918–923.
CASE-2017-YangZL #analysis: Reliability analysis based on weibull distribution model for spreaders (SY, YZ, LL), pp. 531–535.
CAV-2017-Baier0L0W #markov #model checking #process: Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes (CB, JK0, LL, DP0, SW), pp. 160–180.
CIKM-2016-CormackG #classification #learning #scalability: Scalability of Continuous Active Learning for Reliable High-Recall Text Classification (GVC, MRG), pp. 1039–1048.
CIKM-2016-ZhaoK #learning #online #rank: Constructing Reliable Gradient Exploration for Online Learning to Rank (TZ, IK), pp. 1643–1652.
ICML-2016-SangnierGR #detection #proximity #representation #using: Early and Reliable Event Detection Using Proximity Space Representation (MS, JG, AR), pp. 2310–2319.
KDD-2016-BotezatuGBW #predict #towards: Predicting Disk Replacement towards Reliable Data Centers (MMB, IG, JB, DW), pp. 39–48.
KDD-2016-GaoLZFH #crowdsourcing #mining: Mining Reliable Information from Passively and Actively Crowdsourced Data (JG0, QL0, BZ0, WF0, JH0), pp. 2121–2122.
SKY-2016-ExmanS #natural language #performance #programming language: Fast and Reliable Software Translation of Programming Languages to Natural Language (IE, OS), pp. 57–64.
OOPSLA-2016-ColinL #named #source code: Chain: tasks and channels for reliable intermittent programs (AC, BL), pp. 514–530.
OOPSLA-2016-HanappiHD #configuration management #convergence: Asserting reliable convergence for configuration management scripts (OH, WH, SD), pp. 328–343.
AdaEurope-2016-GabsiZJ #fault tolerance: Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance (WG, BZ, MJ), pp. 129–144.
ICSE-2016-SuRT #evaluation #model checking #parametricity #runtime #using: Reliability of Run-Time Quality-of-Service evaluation using parametric model checking (GS, DSR, GT), pp. 73–84.
CASE-2016-AndreJT #assembly #modelling #using: Reliable robot assembly using haptic rendering models in combination with particle filters (RA, MJ, UT), pp. 1134–1139.
CASE-2016-PanKHC #hybrid: The Claw-Wheel transformable hybrid robot with reliable stair climbing and high maneuverability (LHP, CNK, CYH, JJC), pp. 233–238.
VLDB-2015-BoutinBCEGKYZZ #interactive #named: JetScope: Reliable and Interactive Analytics at Cloud Scale (EB, PB, XC, JE, TG, AK, ZY, NZ, JZ), pp. 1680–1691.
VLDB-2015-ChengLCF0HZ #crowdsourcing: Reliable Diversity-Based Spatial Crowdsourcing by Moving Workers (PC, XL, ZC, RF, LC, JH, JZ), pp. 1022–1033.
VLDB-2015-ChuOMIP0Y #crowdsourcing #knowledge base #named: KATARA: Reliable Data Cleaning with Knowledge Bases and Crowdsourcing (XC, MO, JM, IFI, PP, NT, YY), pp. 1952–1963.
ITiCSE-2015-ScottG #assessment #code review #education #quality: Reliability in the Assessment of Program Quality by Teaching Assistants During Code Reviews (MJS, GG), p. 346.
CIG-2015-OhK #testing: Testing reliability of replay-based imitation for StarCraft (ISO, KJK), pp. 536–537.
CHI-2015-MaiorPSW #human-computer #using: Examining the Reliability of Using fNIRS in Realistic HCI Settings for Spatial and Verbal Tasks (HAM, MP, SCS, MLW), pp. 3039–3042.
DHM-HM-2015-BoringJM #analysis #modelling #performance: Human Performance Modeling for Dynamic Human Reliability Analysis (RLB, JCJ, DM), pp. 223–234.
HCI-UC-2015-Ujita #analysis #using: Accident Analysis by Using Methodology of Resilience Engineering, High Reliability Organization, and Risk Literacy (HU), pp. 358–369.
CIKM-2015-KhanGWB #graph #nondeterminism: Top-k Reliable Edge Colors in Uncertain Graphs (AK, FG, TW, FB), pp. 1851–1854.
ICML-2015-BlumH #contest #machine learning: The Ladder: A Reliable Leaderboard for Machine Learning Competitions (AB, MH), pp. 1006–1014.
KDD-2015-GogaLSTG #network #on the #online #scalability #social: On the Reliability of Profile Matching Across Large Online Social Networks (OG, PL, RS, RT, KPG), pp. 1799–1808.
SEKE-2015-XuB #multi #using: A Reliable and Secure Cloud Storage Schema Using Multiple Service Providers (HX, DB), pp. 116–121.
AdaEurope-2015-DiazG #distributed #maintenance #middleware #open source #years after: Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later (MD, DG), pp. 116–128.
ESEC-FSE-2015-RotellaCG #predict: Predicting field reliability (PR, SC, DG), pp. 986–989.
ICSE-v2-2015-YusufTSAMDORBS #data transformation #framework #in the cloud #named #platform: Chiminey: Reliable Computing and Data Management Platform in the Cloud (IIY, IET, MS, SGA, GRM, DWD, GO, SPR, AMB, HWS), pp. 677–680.
SAC-2015-IvakiLA #protocol #taxonomy: A taxonomy of reliable request-response protocols (NI, NL, FA), pp. 456–463.
ASPLOS-2015-WangJZY #memory management #named: SD-PCM: Constructing Reliable Super Dense Phase Change Memory under Write Disturbance (RW, LJ, YZ, JY), pp. 19–31.
ASPLOS-2015-ZhangYMS #memory management #named: Mojim: A Reliable and Highly-Available Non-Volatile Memory System (YZ, JY, AM, SS), pp. 3–18.
CASE-2015-Lee #locality #mobile: A reliable range-free indoor localization method for mobile robots (YCL), pp. 720–727.
CASE-2015-ZhangTYL #assessment #markov #using: CAN node reliability assessment using segmented discrete time Markov chains (LZ, LT, FY, YL), pp. 231–236.
DAC-2015-ChenTSHK #analysis #modelling #multi: Interconnect reliability modeling and analysis for multi-branch interconnect trees (HBC, SXDT, VS, XH, TK), p. 6.
DAC-2015-KashyapGS #design: Achieving power and reliability sign-off for automotive semiconductor designs (AK, SG, SS), p. 6.
DAC-2015-SantosVK #adaptation #configuration management #embedded: Dynamically adaptive scrubbing mechanism for improved reliability in reconfigurable embedded systems (RS, SV, AK), p. 6.
DATE-2015-BajajNMS #architecture #cyber-physical #effectiveness: Optimized selection of reliable and cost-effective cyber-physical system architectures (NB, PN, MM, ALSV), pp. 561–566.
DATE-2015-BanciuOW #information management: Reliable information extraction for single trace attacks (VB, EO, CW), pp. 133–138.
DATE-2015-ChenLH #approximate: An approximate voting scheme for reliable computing (KC, FL, JH), pp. 293–296.
DATE-2015-DuqueDY #adaptation #behaviour #fault #runtime: Improving MPSoC reliability through adapting runtime task schedule based on time-correlated fault behavior (LARD, JMMD, CY), pp. 818–823.
DATE-2015-HanyuSOMNM #architecture #in memory #paradigm #power management #towards: Spintronics-based nonvolatile logic-in-memory architecture towards an ultra-low-power and highly reliable VLSI computing paradigm (TH, DS, NO, SM, MN, AM), pp. 1006–1011.
DATE-2015-HoqueMS #analysis #approach #maintenance #model checking #probability #towards: Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking (KAH, OAM, YS), pp. 1635–1640.
DATE-2015-KhosraviMGT #analysis #optimisation: Uncertainty-aware reliability analysis and optimization (FK, MM, MG, JT), pp. 97–102.
DATE-2015-PajouhiFR #architecture #co-evolution #design: Device/circuit/architecture co-design of reliable STT-MRAM (ZP, XF, KR), pp. 1437–1442.
DATE-2015-RosenMH #architecture #implementation #multi: Semiautomatic implementation of a bioinspired reliable analog task distribution architecture for multiple analog cores (JvR, MM, LH), pp. 912–915.
DATE-2015-SalivaCHFABBA #monitoring: Digital circuits reliability with in-situ monitors in 28nm fully depleted SOI (MS, FC, VH, XF, DA, AB, AB, LA), pp. 441–446.
DATE-2015-TanLF #memory management #using: Soft-error reliability and power co-optimization for GPGPUS register file using resistive memory (JT, ZL, XF), pp. 369–374.
HPCA-2015-GrigorianFR #approximate #named: BRAINIAC: Bringing reliable accuracy into neurally-implemented approximate computing (BG, NF, GR), pp. 615–626.
HPCA-2015-KimE #performance #trade-off: Balancing reliability, cost, and performance tradeoffs with FreeFault (DWK, ME), pp. 439–450.
HPCA-2015-KimSE #flexibility #memory management: Bamboo ECC: Strong, safe, and flexible codes for reliable computer memory (JK, MS, ME), pp. 101–112.
PDP-2015-AkutsuUCKS #analysis #distributed: Reliability Analysis of Highly Redundant Distributed Storage Systems with Dynamic Refuging (HA, KU, TC, TK, NS), pp. 261–268.
ISSTA-2015-GuiSLD #abstraction #assessment #communication #distributed #refinement: Reliability assessment for distributed systems via communication abstraction and refinement (LG, JS, YL, JSD), pp. 293–304.
ISSTA-2015-GyoriSHM #dependence #detection #testing: Reliable testing: detecting state-polluting tests to prevent test dependency (AG, AS, FH, DM), pp. 223–233.
QoSA-2014-BuhnovaCF #modelling #overview #predict: Failure data collection for reliability prediction models: a survey (BB, SC, LF), pp. 83–92.
SIGMOD-2014-AgarwalMKTJMMS #approximate #performance #query: Knowing when you’re wrong: building fast and reliable approximate query processing systems (SA, HM, AK, AT, MIJ, SM, BM, IS), pp. 481–492.
SIGMOD-2014-LiLGZFH #estimation #semistructured data: Resolving conflicts in heterogeneous data by truth discovery and source reliability estimation (QL, YL, JG, BZ, WF, JH), pp. 1187–1198.
VLDB-2014-QinHLYT #named #volunteer: Fatman: Cost-saving and reliable archival storage based on volunteer resources (AQ, DH, JL, WY, DT), pp. 1748–1753.
FM-2014-LiuGL #analysis: MDP-Based Reliability Analysis of an Ambient Assisted Living System (YL, LG, YL), pp. 688–702.
SEFM-2014-DeganoFG #adaptation #static analysis: A Two-Phase Static Analysis for Reliable Adaptation (PD, GLF, LG), pp. 347–362.
Haskell-2014-MaierST #domain-specific language #scalability: The HdpH DSLs for scalable reliable computation (PM0, RJS, PT), pp. 65–76.
HIMI-AS-2014-JangKJS #analysis #framework: A Framework of Human Reliability Analysis Method Considering Soft Control in Digital Main Control Rooms (IJ, ARK, WJ, PHS), pp. 335–346.
EDOC-2014-DomaschkaHE #database #distributed: Reliability and Availability Properties of Distributed Database Systems (JD, CBH, BE), pp. 226–233.
ICEIS-v2-2014-LiuDT #network: Auditing Data Reliability in International Logistics — An Application of Bayesian Networks (LL, HAMD, RT), pp. 707–712.
ICEIS-v2-2014-ProcaciSA #analysis #community #metric #online #people #reduction: Finding Reliable People in Online Communities of Questions and Answers — Analysis of Metrics and Scope Reduction (TBP, SWMS, LCVdA), pp. 526–535.
ICPR-2014-CordellaSFF #classification #random: Random Forest for Reliable Pre-classification of Handwritten Characters (LPC, CDS, FF, ASdF), pp. 1319–1324.
SIGIR-2014-VinjumurOP #reuse #usability: Assessing the reliability and reusability of an E-discovery privilege test collection (JKV, DWO, JHP), pp. 1047–1050.
AdaEurope-2014-SaezRC #ada #multi #platform #realtime #scheduling: Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012 (SS, JR, AC), pp. 74–90.
SAC-PL-J-2013-MaierST14 #design #scalability #symbolic computation: Reliable scalable symbolic computation: The design of SymGridPar2 (PM, RJS, PWT), pp. 19–35.
FSE-2014-Gui00ND #agile #analysis #named #nondeterminism #tool support: RaPiD: a toolkit for reliability analysis of non-deterministic systems (LG, JS, YL, TKN, JSD), pp. 727–730.
SAC-2014-EtcheversSBCP #self: Reliable self-deployment of cloud applications (XE, GS, FB, TC, NDP), pp. 1331–1338.
SAC-2014-MatiasPASH #case study #empirical #operating system: An empirical exploratory study on operating system reliability (RM, MP, LBdA, CS, LH), pp. 1523–1528.
SAC-2014-XavierMMA #overview #research: A survey on research in software reliability engineering in the last decade (JX, AM, RM, LBdA), pp. 1190–1191.
CASE-2014-MarkovskiH #framework #modelling: A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions (JM, HH), pp. 436–442.
DAC-2014-Chandra #embedded #monitoring #multi #perspective: Monitoring Reliability in Embedded Processors — A Multi-layer View (VC), p. 6.
DAC-2014-KhosraviRGT #multi #optimisation #using: Multi-Objective Local-Search Optimization using Reliability Importance Measuring (FK, FR, MG, JT), p. 6.
DAC-2014-KimM #3d #design #on the: On the Design of Reliable 3D-ICs Considering Charged Device Model ESD Events During Die Stacking (DK, SM), p. 6.
DAC-2014-RehmanKSSH #adaptation #code generation #dependence #named #process: dTune: Leveraging Reliable Code Generation for Adaptive Dependability Tuning under Process Variation and Aging-Induced Effects (SR, FK, DS, MS, JH), p. 6.
DAC-2014-ShafiqueGHM #challenge #variability: The EDA Challenges in the Dark Silicon Era: Temperature, Reliability, and Variability Perspectives (MS, SG, JH, DM), p. 6.
DAC-2014-UbalSMGUCSK #design #performance: Exploring the Heterogeneous Design Space for both Performance and Reliability (RU, DS, PM, XG, YU, ZC, GS, DRK), p. 6.
DAC-2014-VaidyanathanDP #detection #stack #using: Detecting Reliability Attacks during Split Fabrication using Test-only BEOL Stack (KV, BPD, LP), p. 6.
DAC-2014-ZhangKIBWH #configuration management #named: GUARD: GUAranteed Reliability in Dynamically Reconfigurable Systems (HZ, MAK, MEI, LB, HJW, JH), p. 6.
DATE-2014-AlordaCB #embedded #power management: Word-line power supply selector for stability improvement of embedded SRAMs in high reliability applications (BA, CC, SAB), pp. 1–6.
DATE-2014-Bautista-GomezCCDFGPRR #how #named: GPGPUs: How to combine high computational power with high reliability (LABG, FC, LC, ND, BF, SG, KP, PR, MSR), pp. 1–9.
DATE-2014-BhargavaM #encryption #generative #performance: An efficient reliable PUF-based cryptographic key generator in 65nm CMOS (MB, KM), pp. 1–6.
DATE-2014-CaplanMMM #execution #trade-off: Trade-offs in execution signature compression for reliable processor systems (JC, MIM, PM, BHM), pp. 1–6.
DATE-2014-MercatiBPRB #android #mobile: A Linux-governor based Dynamic Reliability Manager for android mobile devices (PM, AB, FP, TSR, LB), pp. 1–4.
DATE-2014-RehmanKSH #compilation: Compiler-driven dynamic reliability management for on-chip systems under variabilities (SR, FK, MS, JH), pp. 1–4.
HPCA-2014-BalasubramanianS #comprehension #execution #physics: Understanding the impact of gate-level physical reliability effects on whole program execution (RB, KS), pp. 60–71.
PDP-2014-AtaeeG #named #performance #protocol #replication #streaming: EagleMacaw: A Dual-Tree Replication Protocol for Efficient and Reliable P2P Media Streaming (SA, BG), pp. 112–121.
ICLP-J-2014-SaadFG #constraints #reasoning: The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (AS, TWF, CG), pp. 461–475.
ITiCSE-2013-Buck #approach: First, do no harm: a curricular approach to reliability (DB), p. 319.
CSCW-2013-HuangF #consistency #evaluation #using: Enhancing reliability using peer consistency evaluation in human computation (SWH, WTF), pp. 639–648.
CSCW-2013-RollandL #collaboration #research #reuse #trust: Beyond trust and reliability: reusing data in collaborative cancer epidemiology research (BR, CPL), pp. 435–444.
HCI-III-2013-MiwaWS #feedback #recognition #robust #using: Robust Face Recognition System Using a Reliability Feedback (SM, SW, MS), pp. 178–185.
CIKM-2013-ZhouLSCJ #metric #on the: On the reliability and intuitiveness of aggregated search metrics (KZ, ML, TS, RC, JMJ), pp. 689–698.
SIGIR-2013-UrbanoMM #metric #on the: On the measurement of test collection reliability (JU, MM, DM), pp. 393–402.
OOPSLA-2013-CarbinMR #hardware #source code #verification: Verifying quantitative reliability for programs that execute on unreliable hardware (MC, SM, MCR), pp. 33–52.
AdaEurope-2013-FaginC #case study: Provably Secure DNS: A Case Study in Reliable Software (BSF, MCC), pp. 81–93.
ESEC-FSE-2013-JiangZLSHGS #analysis #runtime: System reliability calculation based on the run-time analysis of ladder program (YJ, HZ, HL, XS, WNNH, MG, JS), pp. 695–698.
ESEC-FSE-2013-SilicDS #clustering #predict #web #web service: Prediction of atomic web services reliability based on k-means clustering (MS, GD, SS), pp. 70–80.
ICSE-2013-FilieriPV #analysis: Reliability analysis in symbolic pathfinder (AF, CSP, WV), pp. 622–631.
ICSE-2013-PaveseBU #automation #estimation: Automated reliability estimation over partial systematic explorations (EP, VAB, SU), pp. 602–611.
SAC-2013-MaierST #design #scalability #symbolic computation: Reliable scalable symbolic computation: the design of SymGridPar2 (PM, RJS, PWT), pp. 1674–1681.
SAC-2013-Markovski #communication #coordination #probability #process: Reliable supervisory coordination of stochastic communicating processes with data (JM), pp. 1347–1354.
SAC-2013-MatiasOA #case study #experience #operating system #quality: Operating system reliability from the quality of experience viewpoint: an exploratory study (RMJ, GDO, LBdA), pp. 1644–1649.
CASE-2013-KurzDP #monitoring: Monitoring virtual metrology reliability in a sampling decision system (DK, CDL, JP), pp. 20–25.
DAC-2013-GeorgakosSSC #architecture #challenge: Reliability challenges for electric vehicles: from devices to architecture and systems software (GG, US, RS, SC), p. 9.
DAC-2013-HenkelBDGNSTW #lessons learnt #roadmap: Reliable on-chip systems in the nano-era: lessons learnt and future trends (JH, LB, ND, PG, SRN, MS, MBT, NW), p. 10.
DAC-2013-MaricAV #adaptation #energy #hybrid #named #predict: APPLE: adaptive performance-predictable low-energy caches for reliable hybrid voltage operation (BM, JA, MV), p. 8.
DAC-2013-MercatiBPRB #manycore #user interface: Workload and user experience-aware dynamic reliability management in multicore processors (PM, AB, FP, TSR, LB), p. 6.
DAC-2013-ShafiqueRAH #fault #optimisation: Exploiting program-level masking and error propagation for constrained reliability optimization (MS, SR, PVA, JH), p. 9.
DAC-2013-Wang #fault: Hierarchical decoding of double error correcting codes for high speed reliable memories (ZW), p. 7.
DATE-2013-AitkenFKRR #analysis #how #question: Reliability analysis reloaded: how will we survive? (RA, GF, ZTK, FR, MSR), pp. 358–367.
DATE-2013-AlieeGRT #analysis #automation #fault: Automatic success tree-based reliability analysis for the consideration of transient and permanent faults (HA, MG, FR, JT), pp. 1621–1626.
DATE-2013-ChantemYHD #manycore #online #scheduling: Enhancing multicore reliability through wear compensation in online assignment and scheduling (TC, XY, XSH, RPD), pp. 1373–1378.
DATE-2013-ChenM #analysis #modelling: System-level modeling and microprocessor reliability analysis for backend wearout mechanisms (CCC, LM), pp. 1615–1620.
DATE-2013-HamdiouiNGGGB #challenge #realtime: Reliability challenges of real-time systems in forthcoming technology nodes (SH, MN, DG, AG, GG, PB), pp. 129–134.
DATE-2013-HellwegeHPP #analysis #metric: Reliability analysis for integrated circuit amplifiers used in neural measurement systems (NH, NH, DPD, SP), pp. 713–716.
DATE-2013-MaricAV #architecture #hybrid #performance #using: Efficient cache architectures for reliable hybrid voltage operation using EDC codes (BM, JA, MV), pp. 917–920.
DATE-2013-RehmanSAKCH #hardware: Leveraging variable function resilience for selective software reliability on unreliable hardware (SR, MS, PVA, FK, JJC, JH), pp. 1759–1764.
DATE-2013-WangSCC #design #embedded #estimation #performance: Accurate and efficient reliability estimation techniques during ADL-driven embedded processor design (ZW, KS, CC, AC), pp. 547–552.
HPCA-2013-JianK #adaptation: Adaptive Reliability Chipkill Correct (ARCC) (XJ, RK), pp. 270–281.
HPDC-2013-CadambiCLPRSC #middleware #multi #named #performance: COSMIC: middleware for high performance and reliable multiprocessing on xeon phi coprocessors (SC, GC, CHL, RP, KR, MS, STC), pp. 215–226.
PDP-2013-AtaeeGP #algorithm #multi #named #replication #scalability #streaming: ReStream — A Replication Algorithm for Reliable and Scalable Multimedia Streaming (SA, BG, FP), pp. 68–76.
SOSP-2013-CuiSLLBXYGB #named #runtime #thread: Parrot: a practical runtime for deterministic, stable, and reliable threads (HC, JS, YHL, HL, BB, XX, JY, GAG, REB), pp. 388–405.
ISSTA-2013-GuiSLSDW #model checking #predict #testing: Combining model checking and testing with an application to reliability prediction and distribution (LG, JS, YL, YJS, JSD, XW), pp. 101–111.
CBSE-2012-BenesBCO #analysis #component #development #model checking #probability: Reliability analysis in component-based development via probabilistic model checking (NB, BB, IC, RO), pp. 83–92.
WICSA-ECSA-2012-FrancoBR #architecture #automation #predict: Automated Reliability Prediction from Formal Architectural Descriptions (JMF, RB, MZR), pp. 302–309.
CIKM-2012-AkogluTVF #category theory #detection #performance: Fast and reliable anomaly detection in categorical data (LA, HT, JV, CF), pp. 415–424.
ECIR-2012-SondhiVZ #predict: Reliability Prediction of Webpages in the Medical Domain (PS, VGVV, CZ), pp. 219–231.
KR-2012-BudanLCS #framework #modelling: Modelling Time and Reliability in Structured Argumentation Frameworks (MCB, MJGL, CIC, GRS).
PLEASE-2012-BoucherAHPAH #perspective #re-engineering #towards: Towards more reliable configurators: a re-engineering perspective (QB, EKA, AH, GP, MA, PH), pp. 29–32.
AdaEurope-2012-PolzlbauerBB #constraints #design #performance #realtime: Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems (FP, IB, EB), pp. 207–220.
SAC-2012-CasadoTY #testing #transaction #web #web service: Testing the reliability of web services transactions in cooperative applications (RC, JT, MY), pp. 743–748.
SAC-2012-IkemotoDO #pseudo: Estimating software reliability via pseudo maximum likelihood method (SI, TD, HO), pp. 1171–1176.
SAC-2012-Kim #multi #optimisation #realtime #towards: Towards optimizing the reliability of real-time transmission in multi-hop wireless LANs (JK), pp. 577–582.
SAC-2012-LavazzaMTT #empirical #java #open source #source code: An empirical investigation of perceived reliability of open source Java programs (LL, SM, DT, DT), pp. 1109–1114.
DAC-2012-JungPL #3d: Chip/package co-analysis of thermo-mechanical stress and reliability in TSV-based 3D ICs (MJ, DZP, SKL), pp. 317–326.
DAC-2012-RajendiranAPTG #set: Reliable computing with ultra-reduced instruction set co-processors (AR, SA, HDP, MVT, SG), pp. 697–702.
DAC-2012-UkhovBEP #analysis #embedded #multi #optimisation: Steady-state dynamic temperature analysis and reliability optimization for embedded multiprocessor systems (IU, MB, PE, ZP), pp. 197–204.
DAC-2012-WangBDS #memory management #metadata #named: Meta-Cure: a reliability enhancement strategy for metadata in NAND flash memory storage systems (YW, LADB, NDD, ZS), pp. 214–219.
DAC-2012-WenZCWX #analysis #named #performance #scalability #statistics: PS3-RAM: a fast portable and scalable statistical STT-RAM reliability analysis method (WW, YZ, YC, YW, YX), pp. 1191–1196.
DATE-2012-AkbariSFB #3d #low cost #named #performance: AFRA: A low cost high performance reliable routing for 3D mesh NoCs (SA, AS, MF, RB), pp. 332–337.
DATE-2012-DuVM #latency #performance: High performance reliable variable latency carry select addition (KD, PJV, KM), pp. 1257–1262.
DATE-2012-LiH #analysis #logic #named #performance: RAG: An efficient reliability analysis of logic circuits on graphics processing units (ML, MSH), pp. 316–319.
DATE-2012-MaricauJG #analysis #learning #multi #using: Hierarchical analog circuit reliability analysis using multivariate nonlinear regression and active learning sample selection (EM, DdJ, GGEG), pp. 745–750.
DATE-2012-NicolaidisAZZKBTLTRKKDA #design: Design for test and reliability in ultimate CMOS (MN, LA, NEZ, YZ, TK, KAB, JT, SLL, CT, AR, MMK, JK, VD, DA), pp. 677–682.
DATE-2012-PontesCV #design: An accurate Single Event Effect digital design flow for reliable system level design (JJHP, NC, PV), pp. 224–229.
DATE-2012-VatajeluF #evaluation #parametricity #performance: Efficiency evaluation of parametric failure mitigation techniques for reliable SRAM operation (EIV, JF), pp. 1343–1348.
HPCA-2012-SuhAD #markov #multi #named: MACAU: A Markov model for reliability evaluations of caches under Single-bit and Multi-bit Upsets (JS, MA, MD), pp. 3–14.
ICST-2012-SunSPR #cost analysis #learning #named: CARIAL: Cost-Aware Software Reliability Improvement with Active Learning (BS, GS, AP, SR), pp. 360–369.
CBSE-2011-DistefanoFGM #analysis #composition #multi #workflow: A compositional method for reliability analysis of workflows affected by multiple failure modes (SD, AF, CG, RM), pp. 149–158.
QoSA-ISARCS-2011-BroschBKR #architecture #fault tolerance #predict: Reliability prediction for fault-tolerant software architectures (FB, BB, HK, RHR), pp. 75–84.
QoSA-ISARCS-2011-MeedeniyaMAG #architecture #evaluation #nondeterminism: Architecture-based reliability evaluation under uncertainty (IM, IM, AA, LG), pp. 85–94.
ICDAR-2011-LiwickiAUIOK #online: Reliable Online Stroke Recovery from Offline Data with the Data-Embedding Pen (ML, AY, SU, MI, SO, KK), pp. 1384–1388.
MSR-2011-KrishnanLG #empirical #evaluation #evolution #product line: Empirical evaluation of reliability improvement in an evolving software product line (SK, RRL, KGP), pp. 103–112.
DHM-2011-ChiouCC #3d #predict: The Effects of Landmarks and Training on 3D Surface Anthropometric Reliability and Hip Joint Center Prediction (WKC, BHC, WYC), pp. 3–11.
KDD-2011-JinLA #graph #nondeterminism: Discovering highly reliable subgraphs in uncertain graphs (RJ, LL, CCA), pp. 992–1000.
SEKE-2011-ChawlaXZ #composition #ontology #realtime #web #web service: A Real-Time Reliability Model for Ontology-Based Dynamic Web Service Composition (HC, HX, MZ), pp. 153–158.
SEKE-2011-DoranTFG #analysis #architecture #nondeterminism #parametricity: Architecture-based Reliability Analysis With Uncertain Parameters (DD, MT, LF, SSG), pp. 629–634.
SEKE-2011-El-KharboutlyG #analysis #architecture #concurrent #probability #using: Architecture-based Reliability Analysis of Concurrent Software Applications using Stochastic Reward Nets (REK, SSG), pp. 635–639.
SEKE-2011-WuXKP #analysis #data mining #debugging #mining #named: BUGMINER: Software Reliability Analysis Via Data Mining of Bug Reports (LW, BX, GEK, RJP), pp. 95–100.
SEKE-2011-XieLW #modelling #process #web #web service: A Web Service Reliability Model Based on Birth-Death Process (CX, BL, XW), pp. 625–628.
SIGIR-2011-BlancoHHMPTT #crowdsourcing #evaluation #using: Repeatable and reliable search system evaluation using crowdsourcing (RB, HH, DMH, PM, JP, HST, DTT), pp. 923–932.
TOOLS-EUROPE-2011-CianconeFDMG #analysis #component #modelling #named #performance: KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems (AC, AF, MLD, RM, VG), pp. 99–114.
AdaEurope-2011-OLeary #using #web #web service: Assuring Software Reliability While Using Web Services and Commercial Products (JO), pp. 1–16.
SIGAda-2011-BrosterC #embedded #how: How to measure and optimize reliable embedded software (IB, AC), pp. 1–2.
ASE-2011-FilieriGLM #adaptation #approach #requirements #self: Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements (AF, CG, AL, MM), pp. 283–292.
ESEC-FSE-2011-KimK #embedded #named #scalability #testing: SCORE: a scalable concolic testing tool for reliable embedded software (YK, MK), pp. 420–423.
ICSE-2011-FujiiDF #assessment #development #incremental #process #towards: Towards quantitative software reliability assessment in incremental development processes (TF, TD, TF), pp. 41–50.
SAC-2011-JohnsBSP: Reliable protection against session fixation attacks (MJ, BB, MS, JP), pp. 1531–1537.
SAC-2011-LeeLKB: A lifespan-aware reliability scheme for RAID-based flash storage (SL, BL, KK, HB), pp. 374–379.
SAC-2011-RahmanHA #named #network: REBIVE: a reliable private data aggregation scheme for wireless sensor networks (FR, MEH, SIA), pp. 439–444.
GPCE-2011-SlattenKH #automation #case study #distributed #generative #industrial #specification #towards #validation #verification: Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study (VS, FAK, PH), pp. 147–156.
ASPLOS-2011-RyzhykKMRVH #hardware #reuse #verification: Improved device driver reliability through hardware verification reuse (LR, JK, BM, AR, MV, GH), pp. 133–144.
DAC-2011-ChenKCH #analysis #multi: Reliability analysis and improvement for multi-level non-volatile memories with soft information (SLC, BRK, JNC, CTH), pp. 753–758.
DAC-2011-HsuCHKD #file system: A version-based strategy for reliability enhancement of flash file systems (PHH, YHC, PCH, TWK, DHCD), pp. 29–34.
DAC-2011-JungMPL #3d #analysis #optimisation: TSV stress-aware full-chip mechanical reliability analysis and optimization for 3D IC (MJ, JM, DZP, SKL), pp. 188–193.
DAC-2011-KimG: Leakage-aware redundancy for reliable sub-threshold memories (SK, MRG), pp. 435–440.
DAC-2011-LiMCMS #modelling #network #performance #simulation: Device modeling and system simulation of nanophotonic on-chip networks for reliability, power and performance (ZL, MM, XC, ARM, LS), pp. 735–740.
DAC-2011-ReviriegoMB #ad hoc #design #fault #memory management #sequence: Designing ad-hoc scrubbing sequences to improve memory reliability against soft errors (PR, JAM, SB), pp. 700–705.
DATE-2011-AcquavivaPOS #power management: System level techniques to improve reliability in high power microcontrollers for automotive applications (AA, MP, MO, MS), pp. 1123–1124.
DATE-2011-BathenD #distributed #embedded #named #power management: E-RoC: Embedded RAIDs-on-Chip for low power distributed dynamically managed reliable memories (LADB, NDD), pp. 1141–1146.
DATE-2011-GielenMW #analysis: Analog circuit reliability in sub-32 nanometer CMOS: Analysis and mitigation (GGEG, EM, PHNDW), pp. 1474–1479.
DATE-2011-KakoeeBB #communication #named #network: ReliNoC: A reliable network for priority-based on-chip communication (MRK, VB, LB), pp. 667–672.
DATE-2011-MaricauG #analysis #probability: Stochastic circuit reliability analysis (EM, GGEG), pp. 1285–1290.
DATE-2011-RossiTSM #analysis #fault #memory management #performance: Error correcting code analysis for cache memory high reliability and performance (DR, NT, MS, CM), pp. 1620–1625.
DATE-2011-ZhangHYG #case study #interface: Case study: Alleviating hotspots and improving chip reliability via carbon nanotube thermal interface (WZ, JH, SY, PG), pp. 1071–1076.
PDP-2011-Peter #distributed: Reliability Study of Coding Schemes for Wide-Area Distributed Storage Systems (KP), pp. 19–23.
PDP-2011-RahmaniLLPT #3d #architecture #communication: A Stacked Mesh 3D NoC Architecture Enabling Congestion-Aware and Reliable Inter-layer Communication (AMR, KL, PL, JP, HT), pp. 423–430.
PDP-2011-RaychoudhuryCWC: Service Handoff for Reliable and Continuous Service Access in MANET (VR, JC, WW, CC), pp. 172–179.
TACAS-2011-Holzmann #design #development: Reliable Software Development: Analysis-Aware Design (GJH), pp. 1–2.
ICTSS-2011-BochmannJW #testing #web: Improved Usage Model for Web Application Reliability Testing (GvB, GVJ, BW), pp. 15–31.
CBSE-2010-FilieriGGM #analysis #component #multi: Reliability Analysis of Component-Based Systems with Multiple Failure Modes (AF, CG, VG, RM), pp. 1–20.
CBSE-2010-LegerLC #component #configuration management: Reliable Dynamic Reconfigurations in a Reflective Component Model (ML, TL, TC), pp. 74–92.
QoSA-2010-BroschKBR #architecture #component #predict: Parameterized Reliability Prediction for Component-Based Software Architectures (FB, HK, BB, RHR), pp. 36–51.
QoSA-2010-MeedeniyaBAG #architecture #embedded #energy #optimisation: Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems (IM, BB, AA, LG), pp. 52–67.
ECDL-2010-RechertSWRV #interactive #workflow: Reliable Preservation of Interactive Environments and Workflows (KR, DvS, RW, FR, IV), pp. 494–497.
VLDB-2010-McConnellPH #approach #named #performance #replication: iFlow: An Approach for Fast and Reliable Internet-Scale Stream Processing Utilizing Detouring and Replication (CM, FP, JHH), pp. 1557–1560.
CSMR-2010-CortellessaMP #behaviour #maintenance #trade-off: Selecting Optimal Maintenance Plans Based on Cost/Reliability Tradeoffs for Software Subject to Structural and Behavioral Changes (VC, RM, PP), pp. 21–30.
CSMR-2010-GarciaDFWGI #design #development #java #named #open source #web: ROMULUS: Domain Driven Design and Mashup Oriented Development Based on Open Source Java Metaframework for Pragmatic, Reliable and Secure Web Development (BG, JCD, JIFV, AW, MG, CAI), pp. 186–189.
ICALP-v2-2010-ChechikEPP #graph: Sparse Reliable Graph Backbones (SC, YE, BPS, DP), pp. 261–272.
ICPR-2010-ChenYKA #assessment #automation #paradigm #video: A Reliability Assessment Paradigm for Automated Video Tracking Systems (CHC, YY, AK, MAA), pp. 480–483.
SEKE-2010-YinZZ #transaction #web #web service: Reliable Web Service Selection based on Transactional Risk (YY, XZ, BZ), pp. 231–234.
SPLC-2010-UbayashiNH #embedded #product line: Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems (NU, SN, MH), pp. 1–15.
AdaEurope-2010-Baker #manycore #question #realtime #what: What to Make of Multicore Processors for Reliable Real-Time Systems? (TPB), pp. 1–18.
SIGAda-2010-Rosen #object-oriented #using: Use of object oriented technologies in high reliability system (JPR), pp. 3–4.
ASE-2010-CoorayMRK #configuration management: RESISTing reliability degradation through proactive reconfiguration (DC, SM, RR, DK), pp. 83–92.
ICSE-2010-ZhengL #collaboration #predict: Collaborative reliability prediction of service-oriented systems (ZZ, MRL), pp. 35–44.
SAC-2010-CarvalhoCB #constraints #probability #problem: Probabilistic constraints for reliability problems (EC, JC, PB), pp. 2055–2060.
SAC-2010-JungCKK #adaptation #named #performance: ASTRAL: an adaptive, efficient, and reliable flooding mechanism for MANET (JJ, YC, YK, IK), pp. 731–732.
SAC-2010-Pamies-JuarezL #maintenance: Maintaining data reliability without availability in P2P storage systems (LPJ, PGL), pp. 684–688.
SAC-2010-YiKMKS #adaptation #fault tolerance #named: ART: adaptive, reliable, and fault-tolerant task management for computational grids (SY, JYK, HM, BK, COS), pp. 238–239.
ASPLOS-2010-FengGAM #fault #named #probability #string: Shoestring: probabilistic soft error reliability on the cheap (SF, SG, AA, SAM), pp. 385–396.
ASPLOS-2010-IpekCNBM #memory management: Dynamically replicated memory: building reliable systems from nanoscale resistive memories (EI, JC, EBN, DB, TM), pp. 3–14.
DAC-2010-CongM: LUT-based FPGA technology mapping for reliability (JC, KM), pp. 517–522.
DAC-2010-FonsecaDBGPVB #analysis #simulation #statistics: A statistical simulation method for reliability analysis of SRAM core-cells (RAF, LD, AB, PG, SP, AV, NB), pp. 853–856.
DAC-2010-GlassLHT #analysis #scalability #towards: Towards scalable system-level reliability analysis (MG, ML, CH, JT), pp. 234–239.
DAC-2010-Miskov-ZivanovM #analysis #formal method #modelling #reasoning: Formal modeling and reasoning for reliability analysis (NMZ, DM), pp. 531–536.
DAC-2010-SridharanM #embedded #power management #realtime: Reliability aware power management for dual-processor real-time embedded systems (RS, RNM), pp. 819–824.
DATE-2010-BashirM #process #towards: Towards a chip level reliability simulator for copper/low-k backend processes (MB, LSM), pp. 279–282.
DATE-2010-DeHonQC #challenge #energy #optimisation: Vision for cross-layer optimization to address the dual challenges of energy and reliability (AD, HMQ, NPC), pp. 1017–1022.
DATE-2010-HuangX #framework #named #simulation: AgeSim: A simulation framework for evaluating the lifetime reliability of processor-based SoCs (LH, QX), pp. 51–56.
DATE-2010-HuangX10a #constraints #energy #multi #scheduling: Energy-efficient task allocation and scheduling for multi-mode MPSoCs under lifetime reliability constraint (LH, QX), pp. 1584–1589.
DATE-2010-KimKL #named #similarity: SimTag: Exploiting tag bits similarity to improve the reliability of the data caches (JK, SK, YL), pp. 941–944.
DATE-2010-LuckenbillLHMH #algorithm #analysis #fault #logic #named: RALF: Reliability Analysis for Logic Faults — An exact algorithm and its applications (SBL, JYL, YH, RM, LH), pp. 783–788.
DATE-2010-MaricauG #complexity #simulation #variability: Variability-aware reliability simulation of mixed-signal ICs with quasi-linear complexity (EM, GGEG), pp. 1094–1099.
DATE-2010-TumeoRPFS #architecture #configuration management #implementation #multi #recognition: A reconfigurable multiprocessor architecture for a reliable face recognition implementation (AT, FR, GP, FF, DS), pp. 319–322.
DATE-2010-YangAFK #design #power management: Scan based methodology for reliable state retention power gating designs (SY, BMAH, DF, SSK), pp. 69–74.
DATE-2010-ZhuoSB #process: Process variation and temperature-aware reliability management (CZ, DS, DB), pp. 580–585.
HPCA-2010-KahngKKS #design #trade-off: Designing a processor from the ground up to allow voltage/reliability tradeoffs (ABK, SK, RK, JS), pp. 1–11.
HPDC-2010-McConnellPH #performance #replication: Detouring and replication for fast and reliable internet-scale stream processing (CM, FP, JHH), pp. 737–745.
LCTES-2010-OzturkKIN #compilation #multi: Compiler directed network-on-chip reliability enhancement for chip multiprocessors (ÖÖ, MTK, MJI, SHKN), pp. 85–94.
PDP-2010-AllaniLGR #algorithm #multi #named #scalability: RASM: A Reliable Algorithm for Scalable Multicast (MA, JL, BG, LETR), pp. 137–144.
ICDAR-2009-Franke #analysis #forensics: Capturing Reliable Data for Computer-Based Forensic Handwriting Analysis II: Pen-position Activations (KF), pp. 1310–1314.
DHM-2009-McInnesSP #using: Within and Between-Subject Reliability Using Classic Jack for Ergonomic Assessments (BM, AS, JP), pp. 653–660.
HCI-NIMT-2009-MetzeWSSM #evaluation #multimodal: Reliable Evaluation of Multimodal Dialogue Systems (FM, IW, SS, JS, SM), pp. 75–83.
HIMI-II-2009-JungLSY #framework #semantics #web #web service: Auto-complete for Improving Reliability on Semantic Web Service Framework (HJ, ML, WKS, BJY), pp. 36–44.
CIKM-2009-RonnauPB #documentation #performance #xml: Efficient and reliable merging of XML documents (SR, GP, UMB), pp. 2105–2106.
MLDM-2009-Truemper #strict: Improved Comprehensibility and Reliability of Explanations via Restricted Halfspace Discretization (KT), pp. 1–15.
SEKE-2009-BuckleyFRS #web #web service: Web Services Reliability Patterns (IB, EBF, GR, SMS), pp. 4–9.
SIGAda-2009-Schmidt #ada #maturity #scalability: An ada retrospective: developing large, mature, reliable systems (RBS), pp. 21–22.
ESEC-FSE-2009-YusufSP #component #grid: Evaluating recovery aware components for grid reliability (IIY, HWS, IDP), pp. 277–280.
SAC-2009-CapozuccaG #concurrent #design #object-oriented #realtime: Designing reliable real-time concurrent object-oriented software systems (AC, NG), pp. 1996–1997.
SAC-2009-JungHKY #evaluation #memory management: A practical evaluation of large-memory data processing on a reliable remote memory system (HJ, HH, SGK, HYY), pp. 343–344.
SAC-2009-MurthK #coordination #knowledge-based #semantics: Knowledge-based coordination with a reliable semantic subscription mechanism (MM, EK), pp. 1374–1380.
SAC-2009-SchneidewindH #approach #testing: A consumer/producer approach to risk-driven software reliability and testing (NFS, MH), pp. 537–538.
ASPLOS-2009-WellsCS #manycore: Mixed-mode multicore reliability (PMW, KC, GSS), pp. 169–180.
CASE-2009-BiradarM #approach #multi: Reliable ring based multicast routing scheme in MANET: An agent based approach (RCB, SSM), pp. 507–512.
DAC-2009-ChangK #performance: A commitment-based management strategy for the performance and reliability enhancement of flash-memory storage systems (YHC, TWK), pp. 858–863.
DAC-2009-FickDHBBS #named #network: Vicis: a reliable network for unreliable silicon (DF, AD, JH, VB, DB, DS), pp. 812–817.
DAC-2009-LuSZZYZ #analysis #process #statistics: Statistical reliability analysis under process variation and aging effects (YL, LS, HZ, HZ, FY, XZ), pp. 514–519.
DAC-2009-ReddiGSWBC #challenge #hardware #stack: Software-assisted hardware reliability: abstracting circuit-level challenges to the software stack (VJR, SC, MSG, MDS, GYW, DMB), pp. 788–793.
DATE-2009-AraniHPCYPTC #3d: Reliability aware through silicon via planning for 3D stacked ICs (ASA, XH, HP, CKC, WY, MP, TT, XC), pp. 288–291.
DATE-2009-ChandraA #scalability: Impact of voltage scaling on nanoscale SRAM reliability (VC, RCA), pp. 387–392.
DATE-2009-ChuHCK: A set-based mapping strategy for flash-memory reliability enhancement (YSC, JWH, YHC, TWK), pp. 405–410.
DATE-2009-KhajehGDKEKA #design #memory management #named: TRAM: A tool for Temperature and Reliability Aware Memory Design (AK, AG, ND, FJK, AME, KSK, MSA), pp. 340–345.
DATE-2009-MaricauG #performance #simulation #variability: Efficient reliability simulation of analog ICs including variability and time-varying stress (EM, GGEG), pp. 1238–1241.
DATE-2009-PanKK #multi: Improving yield and reliability of chip multiprocessors (AP, OK, SK), pp. 490–495.
DATE-2009-StoimenovPT #realtime #scheduling: Reliable mode changes in real-time systems with fixed priority or EDF scheduling (NS, SP, LT), pp. 99–104.
HPDC-2009-GharaibehR #trade-off: Exploring data reliability tradeoffs in replicated storage systems (AG, MR), pp. 217–226.
PDP-2009-MartinezTVSS: A New Reliable Proposal to Manage Dynamic Resources in a Computing P2P System (DCM, JRT, IBV, FGdS, FS), pp. 323–329.
DocEng-2008-RonnauPB #documentation #using #xml: Merging changes in XML documents using reliable context fingerprints (SR, CP, UMB), pp. 52–61.
DRR-2008-XiangTLW #recognition #using: Achieving high recognition reliability using decision trees and AdaBoost (JX, XT, YL, PSPW), p. 68150.
FM-2008-Lecomte #framework #platform: Safe and Reliable Metro Platform Screen Doors Control/Command Systems (TL), pp. 430–434.
SOFTVIS-2008-ZeckzerKSHK #3d #clustering #communication #graph #using #visualisation: Analyzing the reliability of communication between software entities using a 3D visualization of clustered graphs (DZ, RK, LS, HH, TK), pp. 37–46.
CAiSE-2008-WangGV #transaction: Ensuring Transactional Reliability by E-Contracting (TW, PWPJG, JV), pp. 262–265.
EDOC-2008-PreteC #mobile: Reliable Discovery and Selection of Composite Services in Mobile Environments (LDP, LC), pp. 171–180.
ICPR-2008-MollerPF #multi #performance: Calibration-free camera hand-over for fast and reliable person tracking in multi-camera setups (BM, TP, GAF), pp. 1–4.
KDD-2008-ChavesBB #named #process: Tagmark: reliable estimations of RFID tags for business processes (LWFC, EB, KB), pp. 999–1007.
KDD-2008-SimonKZ #agile #approach #scalability #set: Semi-supervised approach to rapid and reliable labeling of large data sets (GJS, VK, ZLZ), pp. 641–649.
SEKE-2008-EzenwoyeS #approach #web #web service: A Language-based Approach to Addressing Reliability in Composite Web Services (OE, SMS), pp. 649–654.
SEKE-2008-YangDZ #performance #predict: Reliability Oriented QoS Driven Composite Service Selection Based on Performance Prediction (LY, YD, BZ), pp. 215–218.
SIGAda-2008-LiangRB #ada #architecture #named: Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model (SXL, LAR, JB), pp. 39–56.
ICSE-2008-CheungRMG #component #predict: Early prediction of software component reliability (LC, RR, NM, LG), pp. 111–120.
SAC-2008-XiangYLW #implementation #memory management: A reliable B-tree implementation over flash memory (XX, LY, ZL, PW), pp. 1487–1491.
ASPLOS-2008-LvinNBZ #named #security: Archipelago: trading address space for reliability and security (VBL, GN, EDB, BGZ), pp. 115–124.
CASE-2008-BillerMMZ #modelling: Closed production lines with arbitrary models of machine reliability (SB, SPM, SMM, LZ), pp. 466–471.
CASE-2008-KuruvillaGS #configuration management #evaluation: Reliability evaluation of reconfigurable conveyor systems (SAK, SSG, SS), pp. 929–934.
CASE-2008-NugentHHFS #impact analysis: Assessing the impact of individual sensor reliability within smart living environments (CDN, XH, JH, DDF, KS), pp. 685–690.
DAC-2008-HuangYX #composition #on the #testing: On reliable modular testing with vulnerable test access mechanisms (LH, FY, QX), pp. 834–839.
DAC-2008-KrishnaswamyMH #design #logic #on the: On the role of timing masking in reliable logic circuit design (SK, ILM, JPH), pp. 924–929.
DAC-2008-MaestroR: Study of the effects of MBUs on the reliability of a 150 nm SRAM device (JAM, PR), pp. 930–935.
DAC-2008-PatelP #design #hardware #named #security: SHIELD: a software hardware design methodology for security and reliability of MPSoCs (KP, SP), pp. 858–861.
DATE-2008-ChatterjeeGHIKPS #logic #realtime: Logical Reliability of Interacting Real-Time Tasks (KC, AG, TAH, DTI, CMK, CP, ALSV), pp. 909–914.
DATE-2008-GielenWMLMKGRN #challenge: Emerging Yield and Reliability Challenges in Nanometer CMOS Technologies (GGEG, PHNDW, EM, JL, JMM, BK, GG, RR, MN), pp. 1322–1327.
DATE-2008-GlassLRHT #analysis #network #optimisation: Symbolic Reliability Analysis and Optimization of ECU Networks (MG, ML, FR, CH, JT), pp. 158–163.
DATE-2008-HeineckeDJMKSN #component: Software Components for Reliable Automotive Systems (HH, WD, BJ, AM, HK, ALSV, MDN), pp. 549–554.
DATE-2008-IsrarH #design #embedded #specification: Specification and Design Considerations for Reliable Embedded Systems (AI, SAH), pp. 1111–1116.
DATE-2008-Kopetz: Reliable Services in an Imperfect World (HK), p. 1123.
DATE-2008-Mitra #challenge #robust: Globally Optimized Robust Systems to Overcome Scaled CMOS Reliability Challenges (SM), pp. 941–946.
DATE-2008-WangZHZT #design #multi: Zero-Efficient Buffer Design for Reliable Network-on-Chip in Tiled Chip-Multi-Processor (JW, HZ, KH, GZ, YT), pp. 792–795.
OSDI-2008-DavidCCC #named #operating system: CuriOS: Improving Reliability through Operating System Structure (FMD, EC, JCC, RHC), pp. 59–72.
CBSE-2007-CortellessaG #approach #component #fault #modelling: A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems (VC, VG), pp. 140–156.
QoSA-2007-RoshandelMG #architecture #predict: A Bayesian Model for Predicting Reliability of Software Systems at the Architectural Level (RR, NM, LG), pp. 108–126.
WICSA-2007-Bondi #performance #requirements: Best Practices for Writing and Managing Performance, Reliability, and Availability Requirements (ABB), p. 42.
SIGMOD-2007-BrettleckerS #data type #framework #mobile: The OSIRIS-SE (stream-enabled) infrastructure for reliable data stream management on mobile devices (GB, HS), pp. 1097–1099.
CSEET-2007-Burge #education #maintenance #multi: Exploiting Multiplicity to Teach Reliability and Maintainability in a Capstone Project (JEB), pp. 29–36.
CSMR-2007-Boogerd #evolution #program analysis: Supporting Reliable Software Evolution through Program Analysis (CB), pp. 341–344.
IFM-2007-MeinickeS #development #process #realtime #reasoning: A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems (LM, GS), pp. 439–458.
DHM-2007-RapalaN #safety: Clinical Patient Safety — Achieving High Reliability in a Complex System (KR, JCN), pp. 710–716.
HCI-AS-2007-HeHDZM #analysis #design #optimisation #overview: A Review of Possibilistic Approaches to Reliability Analysis and Optimization in Engineering Design (LPH, HZH, LD, XDZ, QM), pp. 1075–1084.
HCI-AS-2007-LeeNB #monitoring #network #using: Personal Life Logger and Belonging Monitor Using Reliable ZigBee Networks (KL, KN, CB), pp. 961–970.
HCI-MIE-2007-YamaguchiSS #streaming #video: Reliable Partner System Always Providing Users with Companionship Through Video Streaming (TY, KS, HS), pp. 1010–1018.
ICEIS-AIDSS-2007-SturekRNS #predict: A Decision Support System for Predicting the Reliability of a Robotic Dispensing System (JS, SR, PN, KS), pp. 289–296.
ICEIS-DISI-2007-DangelmaierRHBKDT #delivery #information management #named: OOPUS — a production planning information system to assure high delivery reliability under short-term demand changes and production disturbances (WD, TR, TH, DB, DK, AD, TT), pp. 423–432.
SEKE-2007-FiondellaG #modelling #parametricity: Adequacy of Composite Parametric Software Reliability Models (LF, SSG), pp. 643–648.
SIGIR-2007-ButtcherCYS #evaluation #information retrieval: Reliable information retrieval evaluation with incomplete and biased judgements (SB, CLAC, PCKY, IS), pp. 63–70.
SIGIR-2007-LinZ #evaluation: Deconstructing nuggets: the stability and reliability of complex question answering evaluation (JJL, PZ), pp. 327–334.
PLDI-2007-KothariGMG #abstraction #network #performance #programming: Reliable and efficient programming abstractions for wireless sensor networks (NK, RG, TDM, RG), pp. 200–210.
SAC-2007-KimCLNM #embedded #framework #testing: Virtual framework for testing the reliability of system software on embedded systems (SKK, JC, DL, SHN, SLM), pp. 1192–1196.
SAC-2007-SoleimaniADDBA #detection #named: RAAS: a reliable analyzer and archiver for snort intrusion detection system (MS, EKA, MD, MD, AB, MA), pp. 259–263.
SAC-2007-WeynsR: Sensitivity of software system reliability to usage profile changes (KW, PR), pp. 1440–1444.
CASE-2007-LiW #analysis #approach: An Importance Sampling Based Approach for Reliability Analysis (FL, TW), pp. 956–961.
CASE-2007-WangL #analysis #approximate #modelling: Approximate Analysis of Re-Entrant Lines with Bernoulli Reliability Models (CW, JL), pp. 398–403.
DAC-2007-HuangTKC #analysis #case study #flexibility: Reliability Analysis for Flexible Electronics: Case Study of Integrated a-Si: H TFT Scan Driver (TCH, HYT, CPK, KTC), pp. 966–969.
DAC-2007-KangKIAR #estimation #metric #online #using: Characterization and Estimation of Circuit Reliability Degradation under NBTI using On-Line IDDQ Measurement (KK, KK, AEI, MAA, KR), pp. 358–363.
DATE-2007-ChoudhuryM #analysis #logic #scalability: Accurate and scalable reliability analysis of logic circuits (MRC, KM), pp. 1454–1459.
DATE-2007-GodardDTS #design #embedded #evaluation: Evaluation of design for reliability techniques in embedded flash memories (BG, JMD, LT, GS), pp. 1593–1598.
DATE-2007-PanC #analysis #component #fault #framework #quality: A framework for system reliability analysis considering both system error tolerance and component test quality (SJ(RP, KTC), pp. 1581–1586.
DATE-2007-SaponaraPTCF #network: FPGA-based networking systems for high data-rate and reliable in-vehicle communications (SS, EP, MT, IDC, LF), pp. 480–485.
DATE-2007-SugiharaIM #architecture #multi #scheduling: Task scheduling for reliable cache architectures of multiprocessor systems (MS, TI, KM), pp. 1490–1495.
HPDC-2007-BudatiSCW #grid #named #performance #platform: Ridge: combining reliability and performance in open grid platforms (KB, JDS, AC, JBW), pp. 55–64.
HPDC-2007-ByunJK #adaptation #resource management #scalability #towards: Towards adaptive, scalable, and reliable resource provisioning for wsrf-compliant applications (EKB, JWJ, JSK), pp. 217–218.
HPDC-2007-HackerM #queue #using: Using queue structures to improve job reliability (TJH, ZM), pp. 43–54.
PDP-2007-ShaikhKS #modelling #network #on the: On Modeling the Reliability of Data Transport in Wireless Sensor Networks (FKS, AK, NS), pp. 395–402.
SOSP-2007-GunawiPKAA #file system: Improving file system reliability with I/O shepherding (HSG, VP, SK, ACAD, RHAD), pp. 293–306.
FASE-2007-CortellessaMI #analysis #framework #non-functional #performance: Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework (VC, ADM, PI), pp. 57–71.
CBSE-2006-GrassiMS #analysis #approach #component #model transformation #performance: A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems (VG, RM, AS), pp. 270–284.
ICALP-v1-2006-MehlhornOS #geometry #performance: Reliable and Efficient Computational Geometry Via Controlled Perturbation (KM, RO, MS), pp. 299–310.
EDOC-2006-EntwisleSPK #exception #framework #modelling: A Model Driven Exception Management Framework for Developing Reliable Software Systems (SE, HWS, IDP, EAK), pp. 307–318.
ICEIS-DISI-2006-SeoCSRZKB #performance #streaming: Reliable Performance Data Collection for Streaming Media Services (BS, MC, MS, SR, RZ, LIK, NB), pp. 124–129.
ICPR-v1-2006-AdachiKO #estimation #fault: Reliability index of optical flow that considers error margin of matches and stabilizes camera movement estimation (EA, TK, NO), pp. 699–702.
ICPR-v1-2006-LourakisA #3d #performance: Chaining Planar Homographies for Fast and Reliable 3D Plane Tracking (MIAL, AAA), pp. 582–586.
ICPR-v4-2006-LiXWYY #recognition #video: Reliable Video Clock Time Recognition (YL, CX, KW, XY, XY), pp. 128–131.
SEKE-2006-GokhaleY #analysis #architecture #pipes and filters: Reliability Analysis of Pipe and Filter Architecture Style (SSG, SMY), pp. 625–630.
SPL-BOOK-2006-Immonen #architecture #predict: A Method for Predicting Reliability and Availability at the Architecture Level (AI), pp. 373–422.
AdaEurope-2006-WagnerF #geometry #modelling #sequence: A Software Reliability Model Based on a Geometric Sequence of Failure Rates (SW, HF), pp. 143–154.
ICSE-2006-RoshandelBCMG #architecture #component #modelling: Estimating software component reliability by leveraging architectural models (RR, SB, LC, NM, LG), pp. 853–856.
SAC-2006-AhnOS #framework #towards: Towards reliable OSGi framework and applications (HA, HO, COS), pp. 1456–1461.
SAC-2006-ItoOMK #adaptation #network #peer-to-peer #retrieval: An adaptive index allocation scheme for reliable data retrieval and provision in peer-to-peer networks (AI, TO, KM, YK), pp. 697–704.
CASE-2006-JinLXS: Computerized Repairable Inventory Management with Reliability Growth and System Installations Increase (TJ, HL, ZX, CHS), pp. 336–341.
CASE-2006-LuL #evaluation #independence #safety: Reliability evaluation of standby safety systems due to independent and common cause failures (LL, GL), pp. 264–269.
CASE-2006-SaiK #automation: Highly Reliable and Accurate Level Radar for Automated Legal Custody Transfer and Inventory Management (BS, BK), pp. 346–350.
CASE-2006-WuN #constraints #evaluation #network: Evaluation of the Reliability of Emergency Networks under Time Constraints (WwW, XxN), pp. 259–263.
DAC-2006-BandiDK #communication #design: Design in reliability for communication designs (URB, MD, PKK), pp. 188–192.
DAC-2006-KarlBSM #modelling: Reliability modeling and management in dynamic microprocessor-based systems (EK, DB, DS, TNM), pp. 1057–1060.
DAC-2006-LiuMM #analysis #design #tool support: Design tools for reliability analysis (ZL, BM, JZM), pp. 182–187.
DAC-2006-McPherson #challenge: Reliability challenges for 45nm and beyond (JWM), pp. 176–181.
DAC-2006-PomplSHNS #analysis #aspect-oriented #design: Practical aspects of reliability analysis for IC designs (TP, CS, MH, HN, JS), pp. 193–198.
DAC-2006-RagelP #monitoring #named #security: IMPRES: integrated monitoring for processor reliability and security (RGR, SP), pp. 502–505.
DATE-2006-OmanaCRM #detection #fault #low cost: Low-cost and highly reliable detector for transient and crosstalk faults affecting FPGA interconnects (MO, JMC, DR, CM), pp. 170–175.
DATE-2006-PaulKKAR #design #estimation #performance: Temporal performance degradation under NBTI: estimation and design for improved reliability of nanoscale circuits (BCP, KK, HK, MAA, KR), pp. 780–785.
DATE-2006-SebekeJHFSG #challenge: Test and reliability challenges in automotive microelectronics (CS, CJ, KH, SF, JS, PG), p. 547.
PDP-2006-XieC #clustering #distributed #flexibility: A Decentralized Storage Cluster with High Reliability and Flexibility (CX, BC), pp. 116–123.
WICSA-2005-LiLC #architecture: Octopus Architecture: A New Attempt to Achieve Reliable OS (HL, XL, PC), pp. 197–198.
WICSA-2005-TekinerdoganSA #analysis #architecture #using: Software Architecture Reliability Analysis Using Failure Scenarios (BT, HS, MA), pp. 203–204.
ICSM-2005-ZhaoLCY #testing: Software Reliability Growth Model from Testing to Operation (JZ, HL, GC, XZY), pp. 691–694.
ICEIS-v1-2005-AndreouL #analysis #parametricity: Nonparametric Analysis of Software Reliability: Revealing the Nature of Software Failure Dataseries (ASA, CL), pp. 138–145.
SIGIR-2005-SandersonZ #evaluation #information retrieval: Information retrieval system evaluation: effort, sensitivity, and reliability (MS, JZ), pp. 162–169.
MoDELS-2005-RodriguesRU #development #modelling #predict: Reliability Prediction in Model-Driven Development (GNR, DSR, SU), pp. 339–354.
MoDELS-2005-RodriguesRU #development #modelling #predict: Reliability Prediction in Model-Driven Development (GNR, DSR, SU), pp. 339–354.
AdaEurope-2005-AyavooPP #development #embedded: Observing the Development of a Reliable Embedded System (DA, MJP, SP), pp. 167–179.
SAS-2005-ChenKK #execution #memory management: Memory Space Conscious Loop Iteration Duplication for Reliable Execution (GC, MTK, MK), pp. 52–69.
SAC-2005-DaoudM #analysis #mobile: Reliability analysis of mobile agent-based systems (MD, QHM), pp. 92–93.
SAC-2005-ErradiM #framework #interactive #named #web #web service: wsBus: a framework for reliable web services interactions (AE, PM), pp. 1739–1740.
SAC-2005-QuagliaR #coordination #persistent: Reliability in three-tier systems without application server coordination and persistent message queues (FQ, PR), pp. 718–723.
DAC-2005-ChenK #embedded #java #virtual machine: Improving java virtual machine reliability for memory-constrained embedded systems (GC, MTK), pp. 690–695.
DATE-2005-BolchiniSSP #self #specification: Reliable System Specification for Self-Checking Data-Paths (CB, FS, DS, LP), pp. 1278–1283.
DATE-2005-HashempourSL #evaluation #testing: Evaluation of Error-Resilience for Reliable Compression of Test Data (HH, LS, FL), pp. 1284–1289.
DATE-2005-KrishnaswamyVMH #evaluation #matrix #probability: Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices (SK, GFV, ILM, JPH), pp. 282–287.
DATE-2005-SchianoOLPS #analysis #fault #on the: On the Analysis of Reed Solomon Coding for Resilience to Transient/Permanent Faults in Highly Reliable Memories (LS, MO, FL, SP, AS), pp. 580–585.
FASE-2005-RodriguesRU #component #concurrent #predict #using: Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems (GNR, DSR, SU), pp. 111–126.
CBSE-2004-ShuklaSC #assessment #component #framework: A Framework for Reliability Assessment of Software Components (RS, PAS, DAC), pp. 272–279.
SIGMOD-2004-Gudgin #architecture #web #web service: Secure, Reliable, Transacted; Innovation in Web Services Architecture (MG), pp. 879–880.
ICML-2004-FernG #relational: Relational sequential inference with reliable observations (AF, RG).
ICPR-v4-2004-LoutasNP #correlation #evaluation #metric #normalisation: Evaluation of Tracking Reliability Metrics based on Information Theory and Normalized Correlation (EL, NN, IP), pp. 653–656.
SEKE-2004-FengyanZX #algorithm #kernel #modelling #parametricity: A Nonparametric Software Reliability Model Based on Kernel Estimator and Optimum Algorithm (HF, QZ, WX), pp. 13–18.
SIGIR-2004-HarmanB #information management: The NRRC reliable information access (RIA) workshop (DH, CB), pp. 528–529.
SIGIR-2004-Martin #natural language #verification #web: Reliability and verification of natural language text on the world wide web (MJM), p. 603.
SIGIR-2004-WarrenL #feedback #information management #overview: A review of relevance feedback experiments at the 2003 reliable information access (RIA) workshop (RHW, TL), pp. 570–571.
AdaEurope-2004-VergnaudHPK #distributed #middleware #named: PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications (TV, JH, LP, FK), pp. 106–119.
ICSE-2004-Nagappan #metric #testing #towards: Toward a Software Testing and Reliability Early Warning Metric Suite (NN), pp. 60–62.
ICSE-2004-Rodrigues #approach #modelling: A Model Driven Approach for Software Systems Reliability (GNR), pp. 30–32.
ICSE-2004-Roshandel #analysis #architecture #modelling: Calculating Architectural Reliability via Modeling and Analysis (RR), pp. 69–71.
SAC-2004-AwanY #commit #modelling #protocol #web: Analytical modelling of priority commit protocol for reliable Web applications (IA, MY), pp. 313–317.
SAC-2004-CarmeliGHNNSV #throughput: High throughput reliable message dissemination (BC, GG, AH, NN, HN, JS, PV), pp. 322–327.
SAC-2004-DaescuJRS #deployment #multi: Optimal placement of NAK-suppressing agents for reliable multicast: a partial deployment case (OD, RJ, BR, KS), pp. 334–338.
SAC-2004-SheldonJ #embedded: Assessing the effect of failure severity, coincident failures and usage-profiles on the reliability of embedded control systems (FTS, KJ), pp. 826–833.
DAC-2004-BorkarKD #challenge #design: Design and reliability challenges in nanometer technologies (SB, TK, VD), p. 75.
DAC-2004-Micheli #communication: Reliable communication in systems on chips (GDM), p. 77.
DAC-2004-Shanbhag #design #paradigm: A communication-theoretic design paradigm for reliable SOCs (NRS), p. 76.
DATE-v1-2004-Fit-FloreaHK: Enhancing Reliability of Operational Interconnections in FPGAs (AFF, MH, FK), pp. 746–747.
OSDI-2004-GummadiMGLW #internet: Improving the Reliability of Internet Paths with One-hop Source Routing (PKG, HVM, SDG, HML, DW), pp. 183–198.
OSDI-2004-ParkPPW #named #performance: CoDNS: Improving DNS Performance and Reliability via Cooperative Lookups (KP, VSP, LLP, ZW), pp. 199–214.
ICDAR-2003-StefanoCM #algorithm #classification #search-based: Exploiting Reliability for Dynamic Selection of Classifiers by Means of Genetic Algorithms (CDS, ADC, AM), pp. 671–675.
ICEIS-v3-2003-YamaguchiWS #design #petri net #using: A High Reliability Design for Nfs Server Software By Using an Extended Petri Net (SY, KW, YS), pp. 498–502.
ICEIS-v4-2003-Oriogun #analysis #case study #online #re-engineering #using: Content Analysis of Online Interrater Reliability Using the Transcript Reliability Cleaning Percentage (Trcp): A Software Engineering Case Study (PKO), pp. 296–307.
CIKM-2003-ClarkeTTHC #distributed #information retrieval: A reliable storage management layer for distributed information retrieval systems (CLAC, PLT, AQLT, KH, ASC), pp. 207–215.
CIKM-2003-ConradGS #detection #documentation #online #retrieval: Online duplicate document detection: signature reliability in a dynamic retrieval environment (JGC, XSG, CPS), pp. 443–452.
ICSE-2003-RaghavachariRJ #configuration management #performance #problem: The Deployer’s Problem: Configuring Application Servers for Performance and Reliability (MR, DR, RDJ), pp. 484–489.
SAC-2003-FrancescoP #authentication #mobile #protocol: Authenticity in a Reliable Protocol for Mobile Computing (NDF, MP), pp. 318–324.
SOSP-2003-SwiftBL #operating system: Improving the reliability of commodity operating systems (MMS, BNB, HML), pp. 207–222.
CBSE-2002-Mason #analysis #component #composition #probability: Probabilistic Analysis for Component Reliability Composition (DM), p. 8.
CBSE-2002-StaffordM #component #predict: Issues in Predicting the Reliability of Composed Components (JAS, JDM), p. 4.
CBSE-2003-McGregorSC #component: Measuring Component Reliability (JDM, JAS, IHC), p. 2.
CBSE-2003-MehlitzP #design pattern #using #verification: Design for Verification: Using Design Patterns to Build Reliable Systems (PCM, JJP), p. 10.
ICPR-v1-2002-CamusW #image #performance: Reliable and Fast Eye Finding in Close-up Images (TAC, RPW), pp. 389–394.
ICPR-v2-2002-LaiW #image: Reliable Image Matching Based on Relative Gradients (SHL, SDW), pp. 802–805.
SIGIR-2002-BennettDH #classification #modelling #probability #using: Probabilistic combination of text classifiers using reliability indicators: models and results (PNB, STD, EH), pp. 207–214.
AdaEurope-2002-BinderL #embedded #execution #java #kernel #using: Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications (WB, BL), pp. 125–135.
ICSE-2002-MaysL #approach #realtime #robust: The cyclefree methodology: a simple approach to building reliable, robust, real-time systems (DM, RJL), pp. 567–575.
SAC-2002-LawsonC #metric: Investigating software measures to improve product reliability (DL, GC), pp. 1031–1035.
SAC-2002-SmithH #analysis #design: Augmenting descriptive scenario analysis for improvements in human reliability design (SPS, MDH), pp. 739–743.
ASPLOS-2002-OplingerL #thread: Enhancing software reliability with speculative threads (JTO, MSL), pp. 184–196.
DAC-2002-Shanbhag #energy: Reliable and energy-efficient digital signal processing (NRS), pp. 830–835.
OSDI-2002-AdyaBCCCDHLTW #named: FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment (AA, WJB, MC, GC, RC, JRD, JH, JRL, MT, RW), pp. 1–14.
ISSTA-2002-Bishop #bound: Rescaling reliability bounds for a new operational profile (PGB), pp. 180–190.
TestCom-2002-Binder #ubiquitous: Achieving High Reliability for Ubiquitous Information Technology (RVB), p. 75–?.
ICSM-2001-Schneidewind #maintenance #requirements: Investigation of the Risk to Software Reliability and Maintainability of Requirements Changes (NFS), p. 127–?.
FME-2001-SharyginaP #approach #testing #verification: A Combined Testing and Verification Approach for Software Reliability (NS, DP), pp. 611–628.
AdaEurope-2001-Lamsweerde #modelling #requirements: Building Formal Requirements Models for Reliable Software (AvL), pp. 1–20.
AdaEurope-2001-PinhoV #communication #distributed: Reliable Communication in Distributed Computer-Controlled Systems (LMP, FV), pp. 136–147.
ASE-2001-ZarrasI #analysis #automation #enterprise #information management #performance: Automating the Performance and Reliability Analysis of Enterprise Information Systems (AZ, VI), pp. 350–353.
ICSE-2001-HamletMW #component: Theory of Software Reliability Based on Components (RGH, DVM, DMW), pp. 361–370.
DATE-2001-GiustoMH #embedded #estimation #execution: Reliable estimation of execution time of embedded software (PG, GM, EAH), pp. 580–589.
FASE-2001-SharyginaBK #analysis #design #object-oriented #verification: A Formal Object-Oriented Analysis for Software Reliability: Design for Verification (NS, JCB, RPK), pp. 318–332.
CBSE-2000-HamletMW #component: Theory of System Reliability Based on Components (DH, DM, DW), p. 14.
ECDL-2000-CooperCG #implementation: Implementing a Reliable Digital Object Archive (BFC, AC, HGM), pp. 128–143.
ICPR-v1-2000-Kanatani #3d #analysis #re-engineering: Gauge-Based Reliability Analysis of 3-D Reconstruction from Two Uncalibrated Perspective Views (KiK), pp. 1076–1079.
ICPR-v1-2000-KimKLK #image: Stitching Reliability for Estimating Camera Focal Length in Panoramic Image Mosaicing (HSK, HCK, WKL, CHK), pp. 1596–1599.
ICPR-v3-2000-SugiyamaA #detection: Edge Detection Method Based on Edge Reliability with Fixed Thresholds: Consideration of Uniformity and Gradation (TS, KA), pp. 3660–3663.
ICPR-v3-2000-YamanaSA #detection #image #using: Edge Plane Detection in Spatio-Temporal Images by Using Edge Vector and Edge Reliability (FY, TS, KA), pp. 3664–3667.
TOOLS-USA-2000-Kotula #c++: Constructing Reliable C++ Classes [Abstract] (JK), pp. 501–504.
AdaEurope-2000-DeshpandeCT #behaviour #object-oriented #simulation: Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation (MD, FPC, JT), pp. 266–279.
AdaEurope-2000-KienzleR #ada #on the #persistent #streaming: On Persistent and Reliable Streaming in Ada (JK, ABR), pp. 82–95.
AdaEurope-2000-MauriS #analysis #embedded #safety #using: Constructing Reliable Embedded Systems Using the Results of System Safety Analysis (GM, SS), pp. 173–184.
FoSE-2000-LittlewoodS00b #dependence #roadmap: Software reliability and dependability: a roadmap (BL, LS), pp. 175–188.
FSE-2000-BehrendsS #approach #composition #concurrent #source code: The universe model: an approach for improving the modularity and reliability of concurrent programs (RB, KS), pp. 20–29.
ICSE-2000-LittlewoodS #assessment #concept #tutorial: Software reliability (tutorial session): basic concepts and assessment methods (BL, LS), p. 831.
ICSE-2000-LittlewoodS00a #assessment #design #fault #fault tolerance #tutorial: Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment (BL, LS), p. 835.
ICSE-2000-Widmaier #maturity #process #question #re-engineering #state of the art: Producing more reliable software: mature software engineering process vs. state-of-the-art technology? (JCW), pp. 88–93.
SAC-2000-Armstrong #email: Increasing the Reliability of Email Services (JLA), pp. 627–632.
ASPLOS-2000-BhoedjangVRBH #communication #design #network #performance: Evaluating Design Alternatives for Reliable Communication on High-Speed Networks (RB, KV, TR, HEB, RFHH), pp. 71–81.
DAC-2000-WilsonD #simulation #using #verification: Reliable verification using symbolic simulation with scalar values (CW, DLD), pp. 124–129.
DATE-2000-Veelenturf #embedded #tool support: The Road to Better Reliability and Yield Embedded DfM Tools (KV), pp. 67–68.
OSDI-2000-JannottiGJKO #multi #named #network: Overcast: Reliable Multicasting with an Overlay Network (JJ, DKG, KLJ, MFK, JOJ), pp. 197–212.
ISSTA-2000-FranklD #branch #case study #comparison #data flow #testing: Comparison of delivered reliability of branch, data flow and operational testing: A case study (PGF, YD), pp. 124–134.
ICSM-1999-DefamieJT #experience: Experience Paper: Software Reliability: Assumptions, Realities and Data (MD, PJ, JT), pp. 337–345.
EDOC-1999-OrvalhoFB #corba #multi #protocol: Evaluating light-weight reliable multicast protocol extensions to the CORBA event service (JO, LF, FB), pp. 255–261.
ICSE-1999-CookD #component: Highly Reliable Upgrading of Components (JEC, JAD), pp. 203–212.
ICSE-1999-Rosenberg #modelling #named #tutorial: Tutorial: A Quick Introduction to Software Reliability Modeling (JR), p. 689.
SAC-1999-DumitrescuL #coordination #matrix #performance: Reliable and Efficient Matrix Processing with the Specification-Consistent Coordination Model (RAD, EFAL), pp. 191–193.
HPCA-1999-HuYN #named: RAPID-Cache — A Reliable and Inexpensive Write Cache for Disk I/O Systems (YH, QY, TN), pp. 204–213.
HPDC-1999-VogelsRB #concept #distributed: Six Misconceptions about Reliable Distributed Computing (WV, RvR, KPB), pp. 213–215.
SOSP-1999-LiuKRHHBC #communication #component: Building reliable, high-performance communication systems from components (XL, CK, RvR, JH, MH, KPB, RLC), pp. 80–92.
PODS-1998-GradelGH #complexity #query: The Complexity of Query Reliability (EG, YG, CH), pp. 227–234.
ICSM-1998-Schneidewind #maintenance #off the shelf: Methods for Assessing COTS Reliability, Maintainability, and Availability (NFS), p. 224–?.
FM-1998-MargariaG #approach #flexibility #process: Flexible and Reliable Process Model Properties: An Integrated Approach (TMS, VG), pp. 213–227.
EDOC-1998-VogelsDPCP #enterprise #tool support: Quintet, tools for reliable enterprise computing (WV, DD, MP, KC, JP), pp. 274–280.
KDD-1998-Suzuki #database #evaluation: Simultaneous Reliability Evaluation of Generality and Accuracy for Rule Discovery in Databases (ES), pp. 339–343.
SIGIR-1998-Zobel #how #information retrieval #question #scalability: How Reliable Are the Results of Large-Scale Information Retrieval Experiments? (JZ), pp. 307–314.
SAC-1998-RussellH #communication #kernel #performance: Efficient kernel support for reliable communication (RDR, PJH), pp. 541–550.
DAC-1998-MalkaZ #analysis #debugging #design #estimation #statistics: Design Reliability — Estimation through Statistical Analysis of Bug Discovery Data (YM, AZ), pp. 644–649.
LCTES-1998-GeorgeM #multi #protocol: A Uniform Reliable Multicast Protocol with Guaranteed Response Times (LG, PM), pp. 65–82.
PDP-1998-BarretoJ #approach #communication: Open and reliable group communication processing: the FITOS-RPC approach (LPB, IJP), pp. 389–394.
ISSTA-1998-MitchellZ #empirical #testing: An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing (BM, SJZ), pp. 32–41.
ICDAR-1997-OgierMLL #analysis #image #semantics: An Image Interpretation Device cannot be Reliable without any Semantic Coherency Analysis of the Interpretated Objects — Application to French Cadastral Maps (JMO, RM, JL, YL), pp. 532–535.
VLDB-1997-NgC #database #memory management: Integrating Reliable Memory in Databases (WTN, PMC), pp. 76–85.
ITiCSE-WGR-1997-Preston #consistency #evaluation #performance #rating: Evaluation software: improving consistency and reliability of performance rating (JAP), pp. 132–134.
ICSM-2000-Schneidewind #maintenance #metric #process #using: Measuring and evaluating maintenance process using reliability, risk, and test metrics (NFS), p. 232–?.
EDOC-1997-IidaK #communication #corba #evaluation: Evaluation of a Method for Reliable Message Transfer Communication in CORBA (KI, JK), pp. 104–110.
KDD-1997-Suzuki #exception: Autonomous Discovery of Reliable Exception Rules (ES), pp. 259–262.
TOOLS-ASIA-1997-WangZ #architecture #distributed: An Architecture for Building Reliable Distributed Object-Based Systems (LW, WZ), pp. 260–265.
TRI-Ada-1997-KaiserP #case study #implementation #resource management: Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service: a Case Study (CK, JFPP), pp. 51–65.
ICSE-1997-FranklHLS #delivery #testing: Choosing a Testing Method to Deliver Reliability (PGF, RGH, BL, LS), pp. 68–78.
ICSE-1997-PodgurskiW #maintenance: Re-estimation of Software Reliability After Maintenance (AP, EJW), pp. 79–85.
SAC-1997-MostafaS #collaboration #multi #protocol: A reliable multicast session protocol for collaborative continuous-feed applications (WM, MS), pp. 35–39.
TAPSOFT-1997-BiermannR: Reliable Generalized and Context Dependent Commutation Relations (IB, BR), pp. 165–176.
FME-1996-Hoare #how #proving #question: How Did Software Get So Reliable Without Proof? (CARH), pp. 1–17.
CSCW-1996-HallMJPR #collaboration #communication #named #scalability: Corona: A Communication Service for Scalable, Reliable Group Collaboration Systems (RWH, AGM, FJ, AP, CR), pp. 140–149.
ICPR-1996-RudshteinL #recognition: Quantifying the reliability of feature-based object recognition (AR, ML), pp. 35–39.
SEKE-1996-GokhaleMT #modelling: Important Milestones in Software Reliability Modeling (SSG, PNM, KST), pp. 345–352.
ECOOP-1996-GarbinatoFG #design #distributed #protocol: Protocol Classes for Designing Reliable Distributed Environments (BG, PF, RG), pp. 316–343.
AdaEurope-1996-Schneidewind #modelling #safety: Reliability Modeling for Safety Critical Software (NFS), pp. 17–37.
ICSE-1996-Hoare #how #proving #question: The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (CARH), pp. 233–234.
ICSE-1996-MitchellZ #testing: A Reliability Model Combining Representative and Directed Testing (BM, SJZ), pp. 506–514.
DAC-1996-ChengTDRK #named: iCET: A Complete Chip-Level Thermal Reliability Diagnosis Tool for CMOS VLSI Chips (YKC, CCT, AD, ER, SMK), pp. 548–551.
DAC-1996-DasguptaK #process: Electromigration Reliability Enhancement via Bus Activity Distribution (AD, RK), pp. 353–356.
DAC-1996-DasguptaK96a #order: Hot-Carrier Reliability Enhancement via Input Reordering and Transistor Sizing (AD, RK), pp. 819–824.
DAC-1996-TengCRK: Hierarchical Electromigration Reliability Diagnosis for VLSI Interconnects (CCT, YKC, ER, SMK), pp. 752–757.
HPDC-1996-MalluhiJ: Approaches for a Reliable High-Performance Distributed-Parallel Storage System (QMM, WEJ), pp. 500–509.
ISSTA-1996-CallahanM #approach #multi #protocol #validation #verification: An Approach to Verification and Validation of a Reliable Multicasting Protocol (JRC, TLM), pp. 187–194.
PODS-1995-Rougemont #query: The Reliability of Queries (MdR), pp. 286–291.
CIKM-1995-ElmagarmidJB #algorithm #mobile #performance #transaction: An Efficient and Reliable Reservation Algorithm for Mobile Transactions (AKE, JJ, OAB), pp. 90–95.
ICML-1995-EngelsonK: Distilling Reliable Information From Unreliable Theories (SPE, MK), pp. 218–225.
AdaEurope-1995-Heitz #ada #automation #c++ #code generation #reuse #using: Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets (MH), pp. 419–438.
FSE-1995-Weyuker #assessment #testing #using: Using the Consequence of Failures for Testing and Reliability Assessment (EJW), pp. 81–91.
STOC-1995-Karger #approximate #network #polynomial #problem #random: A randomized fully polynomial time approximation scheme for the all terminal network reliability problem (DRK), pp. 11–17.
ICALP-1994-NikolestseasPSY #graph #multi #network #random: Short Vertex Disjoint Paths and Multiconnectivity in Random Graphs: Reliable Network Computing (SEN, KVP, PGS, MY), pp. 508–519.
CIKM-1994-LehmannC #integration #prototype #semantics #using: The EGG/YOLK Reliability Hierarchy : Semantic Data Integration Using Sorts with Prototypes (FL, AGC), pp. 272–279.
SEKE-1994-AzemB #prolog #source code: Reliability determination of Prolog programs (AA, FB), pp. 422–429.
TRI-Ada-1994-BellBHKKLMOSTWZ #concept #design #reuse: Software design for reliability and reuse: a proof-of-concept demonstration (JMB, FB, JH, RBK, AK, JL, LM, DO, TS, LT, LW, TZ), pp. 396–404.
EDAC-1994-BartelsKSS #requirements #testing: Flow Management Requirements of a Test Harness for Testing the Reliability of an Electronic CAD System (GB, PK, KS, MS), pp. 605–609.
ICDAR-1993-StefanoTV #using: Using entropy for drawing reliable templates (CDS, FT, MV), pp. 345–348.
CSM-1993-AbranR #case study: Reliability of Function Points Productivity Model for Enhancement Projects (A Field Study) (AA, PNR), pp. 80–87.
ICALP-1993-Blum #approach #source code: Program Result Checking: A New Approach to Making Programs More Reliable (MB), pp. 1–14.
ICALP-1993-ChlebusDP #network #performance: Sparse Networks Supporting Efficient Reliable Broadcasting (BSC, KD, AP), pp. 388–397.
HCI-ACS-1993-MacGregor #design #maintenance: Workstation Designs for Reliability Centered Maintenance Decision Support (DGM), pp. 80–85.
CAiSE-1993-VlachantonisHGDCE #approach #information management #towards: Towards Reliable Information Systems: The KorSo Approach (NV, RH, MG, GD, SC, HDE), pp. 463–482.
SEKE-1993-AzemBJ #prolog #source code #testing: Implementation-Oriented Testing and Reliability Determination of Prolog Programs (AA, FB, OJ), pp. 526–533.
ICSE-1993-DalalHK #communication #quality #safety: Reliable Software and Communication: Software Quality, Reliability, and Safety (SRD, JRH, JRK), pp. 425–435.
DAC-1993-HaqueC #analysis #design #distributed: Analysis and Reliable Design of ECL Circuits with Distributed RLC Interconnections (MH, SC), pp. 697–701.
DAC-1993-PullelaMP #optimisation #using: Reliable Non-Zero Skew Clock Trees Using Wire Width Optimization (SP, NM, LTP), pp. 165–170.
HPDC-1993-AmerCCD #multi #partial order: Partial Order Transport Service for Multimedia Applications: Reliable Service (PDA, TJC, CC, MD), pp. 272–280.
HPDC-1993-TripathiKNTKBDN #distributed: Reliable Management of Distributed Computations in Nexus (ART, SPK, CN, RT, NMK, VB, KD, TN), pp. 298–305.
CAV-1993-WolperL #detection: Reliable Hashing without Collosion Detection (PW, DL), pp. 59–70.
ISSTA-1993-HamletV #fault #testing: Faults on Its Sleeve: Amplifying Software Reliability Testing (RGH, JMV), pp. 89–98.
ICALP-1992-DietzfelbingerGMP #polynomial: Polynomial Hash Functions Are Reliable (MD, JYG, YM, NP), pp. 235–246.
ASPLOS-1992-BakerADOS #file system #memory management #performance: Non-Volatile Memory for Fast, Reliable File Systems (MB, SA, ED, JKO, MIS), pp. 10–22.
ICSE-1991-CarusoD #information management: Integrating Prior Knowledge with a Software Reliability Growth Model (JMC, DWD), pp. 238–245.
ICSE-1991-JacobyT #evaluation #geometry #parametricity: 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.
DAC-1991-YountS #design #named: SIDECAR: Design Support for Reliability (CRY, DPS), pp. 199–204.
TAV-1991-Podgurski #algorithm: Reliability, Sampling, and Algorithmic Randomness (AP), pp. 11–20.
SIGMOD-1990-BreitbartST #multi #transaction: Reliable Transaction Management in a Multidatabase System (YB, AS, GRT), pp. 215–224.
VLDB-1990-GrayHW #array #low cost #throughput: Parity Striping of Disk Arrays: Low-Cost Reliable Storage with Acceptable Throughput (JG, BH, MW), pp. 148–161.
ICSE-1990-EhrlichSW #modelling #process #quality #testing: Application of Software Reliability Modeling to Product Quality and Test Process (WKE, JPS, JRW), pp. 108–116.
ICSE-1989-NakagawaH #complexity #fault #metric: An Error Complexity Model for Software Reliability Measurement (YN, SH), pp. 230–236.
ICSE-1989-OhbaC #debugging #question: Does Imperfect Debugging Affect Software Reliability Growth? (MO, XMC), pp. 237–244.
DAC-1989-Chowdhury #design #graph #network: Optimum Design of Reliable IC Power Networks Having General Graph Topologies (SC), pp. 787–790.
DAC-1989-OgiharaMYM #effectiveness #generative #named #testing: MULTES/IS: An Effective and Reliable Test Generation System for Partial Scan and Non-Scan Synchronous Circuits (TO, KM, GY, SM), pp. 519–524.
ML-1988-Etzioni #approach #learning: Hypothesis Filtering: A Practical Approach to Reliable Learning (OE), pp. 416–429.
ECOOP-1988-ParringtonS #concurrent #implementation #object-oriented: Implementing Concurrency Control in Reliable Object-Oriented Systems (GDP, SKS), pp. 233–249.
DAC-1988-BurchNYH #analysis #estimation #independence: Pattern-Independent Current Estimation for Reliability Analysis of CMOS Circuits (RB, FNN, PY, DEH), pp. 294–299.
ICSE-1987-EhrlichE #modelling #testing: Modeling Software Failures and Reliability Growth During System Testing (WKE, TJE), pp. 72–82.
VLDB-1986-CheineyFMT #clustering #multi #using: A Reliable Backend Using Multiattribute Clustering and Select-Join Operator (JPC, PF, RM, JMT), pp. 220–227.
PODS-1985-PapadimitriouY #complexity #concurrent: The Complexity of Reliable Concurrency Control (CHP, MY), pp. 230–234.
SOSP-1985-OkiLS: Reliable Object Storage to Support Atomic Actions (BMO, BL, RS), pp. 147–159.
SOSP-1985-SpectorDDEP #distributed #transaction: Distributed Transactions for Reliable Systems (AZS, DSD, DD, JLE, RFP), pp. 127–146.
STOC-1985-GacsR #3d #array #realtime: A Simple Three-Dimensional Real-Time Reliable Cellular Array (PG, JHR), pp. 388–395.
PODS-1984-GrahamGS #database #scheduling #transaction: Reliable Scheduling of Database Transactions for Unreliable Systems (MHG, NDG, BST), pp. 300–310.
ICSE-1984-Moawad #comparison #concurrent #modelling: Comparison of Concurrent Software Reliability Models (RM), pp. 222–229.
ICSE-1984-MusaO #execution #metric: A Logarithmic Poisson Execution Time Model for Software Reliability Measurement (JDM, KO), pp. 230–238.
PODS-1983-Hadzilacos #database: An Operational Model for Database System Reliability (VH), pp. 244–257.
SOSP-1983-PowellP #communication #named: PUBLISHING: A Reliable Broadcast Communication Mechanism (MLP, DLP), pp. 100–109.
STOC-1983-Gacs #automaton: Reliable Computation with Cellular Automata (PG), pp. 32–41.
ICSE-1982-PotierAFB #complexity: Experiments with Computer Software Complexity and Reliability (DP, JLA, RF, AB), pp. 94–103.
ILPC-1982-Bruynooghe82a #prolog #source code: Adding Redundancy to Obtain more Reliable and Readable Prolog Programs (MB), pp. 129–133.
VLDB-1981-Borr #distributed #monitoring #transaction: Transaction Monitoring in ENCOMPASS: Reliable Distributed Transaction Processing (AJB), pp. 155–165.
ICSE-1981-RichardsonC #analysis: A Partition Analysis Method to Increase Program Reliability (DJR, LAC), pp. 244–253.
SOSP-1981-PopekWCERT #distributed #named #network: LOCUS — A Network Transparent, High Reliability Distributed System (GJP, BJW, JMC, DAE, CSK, GR, GT), pp. 169–177.
SOSP-1981-Svobodova #distributed #object-oriented #repository: A Reliable Object-Oriented Data Repository for a Distributed Computer System (LS), pp. 47–58.
VLDB-1980-MenasceL #component #database #design #distributed #on the: On the Design of a Reliable Storage Component for Distributed Database Management Systems (DAM, OEL), pp. 365–375.
ICSE-1979-Laventhal #approach: A Constructive Approach to Reliable Synchronization Code (MSL), pp. 194–202.
ICSE-1979-Rault #approach #towards: France on An Approach Towards Reliable Software (JCR), pp. 220–230.
ICSE-1978-GainerKKM #design: The Design of a Reliable Applications System (EG, EK, AAK, AM), pp. 132–135.
ICSE-1978-HamiltonM: Measuring Reliability of Computer Center Software (PAH, JDM), pp. 29–36.
ICSE-1978-Littlewood #how: How to Measure Software Reliability, and How Not To (BL), pp. 37–45.
ICSE-1978-Miyamoto #effectiveness #evaluation #towards: Toward an Effective Software Reliability Evaluation (IM), pp. 46–55.
ICSE-1976-AndersonK: Recovery Blocks in Action: A System Supporting High Reliability (TA, RK), pp. 447–457.
ICSE-1976-Denning #flexibility: Sacificing the Calf of Flexibility on the Altar of Reliability (PJD), pp. 384–386.
ICSE-1976-LewT #programming: Decision Table Programming and Reliability (AL, DT), pp. 345–349.
ICSE-1976-PimontR #analysis #assessment #behaviour #source code: A Software Reliability Assessment Based on a Structural and Behavioral Analysis of Programs (SP, JCR), pp. 486–491.
ICSE-1976-Rubin #network #on the: On Reliable Topologies for Computer Networks (IR), pp. 263–267.
ICSE-1976-Shooman #modelling #predict: Structural Models for Software Reliability Prediction (MLS), pp. 268–280.
DAC-1976-Freeman #design #overview: Software reliability and design: A survey (PF), pp. 484–494.