BibSLEIGH — reliabl stem

Used together with:

system (126)
softwar (89)
analysi (73)
base (65)
design (56)

Stem reliabl$ (all stems)

569 papers:

CASE-2015-Lee #locality #mobile #reliability: A reliable range-free indoor localization method for mobile robots (YCL), pp. 720–727.
CASE-2015-ZhangTYL #assessment #markov #reliability #using: CAN node reliability assessment using segmented discrete time Markov chains (LZ, LT, FY, YL), pp. 231–236.
DAC-2015-ChenTSHK #analysis #modelling #multi #reliability: Interconnect reliability modeling and analysis for multi-branch interconnect trees (HBC, SXDT, VS, XH, TK), p. 6.
DAC-2015-KashyapGS #design #reliability: Achieving power and reliability sign-off for automotive semiconductor designs (AK, SG, SS), p. 6.
DAC-2015-SantosVK #adaptation #configuration management #embedded #reliability: Dynamically adaptive scrubbing mechanism for improved reliability in reconfigurable embedded systems (RS, SV, AK), p. 6.
DAC-2015-TsengLHS #synthesis: Reliability-aware synthesis for flow-based microfluidic biochips by dynamic-device mapping (TMT, BL, TYH, US), p. 6.
DATE-2015-BajajNMS #architecture #cyber-physical #effectiveness #reliability: Optimized selection of reliable and cost-effective cyber-physical system architectures (NB, PN, MM, ALSV), pp. 561–566.
DATE-2015-BanciuOW #information management #reliability: Reliable information extraction for single trace attacks (VB, EO, CW), pp. 133–138.
DATE-2015-ChenLH #approximate #reliability: An approximate voting scheme for reliable computing (KC, FL, JH), pp. 293–296.
DATE-2015-DuqueDY #adaptation #behaviour #fault #reliability #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 #reliability #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 #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.
DATE-2015-KapadiaP #adaptation #named #parallel #scheduling: VARSHA: variation and reliability-aware application scheduling with adaptive parallelism in the dark-silicon era (NAK, SP), pp. 1060–1065.
DATE-2015-KhosraviMGT #analysis #optimisation #reliability: Uncertainty-aware reliability analysis and optimization (FK, MM, MG, JT), pp. 97–102.
DATE-2015-LiJHWCGLKW #design #optimisation #using: Variation-aware, reliability-emphasized design and optimization of RRAM using SPICE model (HL, ZJ, PH, YW, HYC, BG, XYL, JFK, HSPW), pp. 1425–1430.
DATE-2015-PajouhiFR #architecture #co-evolution #design #reliability: Device/circuit/architecture co-design of reliable STT-MRAM (ZP, XF, KR), pp. 1437–1442.
DATE-2015-RosenMH #architecture #implementation #multi #reliability: Semiautomatic implementation of a bioinspired reliable analog task distribution architecture for multiple analog cores (JvR, MM, LH), pp. 912–915.
DATE-2015-SalivaCHFABBA #monitoring #reliability: 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 #reliability #using: Soft-error reliability and power co-optimization for GPGPUS register file using resistive memory (JT, ZL, XF), pp. 369–374.
VLDB-2015-BoutinBCEGKYZZ #interactive #named #reliability: JetScope: Reliable and Interactive Analytics at Cloud Scale (EB, PB, XC, JE, TG, AK, ZY, NZ, JZ), pp. 1680–1691.
VLDB-2015-ChengLCF0HZ #crowdsourcing #reliability: 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 #reliability: KATARA: Reliable Data Cleaning with Knowledge Bases and Crowdsourcing (XC, MO, JM, IFI, PP, NT, YY), pp. 1952–1963.
CHI-2015-MaiorPSW #human-computer #reliability #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 #reliability: Human Performance Modeling for Dynamic Human Reliability Analysis (RLB, JCJ, DM), pp. 223–234.
HCI-UC-2015-Ujita #analysis #reliability #using: Accident Analysis by Using Methodology of Resilience Engineering, High Reliability Organization, and Risk Literacy (HU), pp. 358–369.
AdaEurope-2015-DiazG #distributed #maintenance #middleware #open source #reliability #years after: Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later (MD, DG), pp. 116–128.
ICML-2015-BlumH #contest #machine learning #reliability: The Ladder: A Reliable Leaderboard for Machine Learning Competitions (AB, MH), pp. 1006–1014.
KDD-2015-GogaLSTG #network #on the #online #reliability #scalability #social: On the Reliability of Profile Matching Across Large Online Social Networks (OG, PL, RS, RT, KPG), pp. 1799–1808.
SEKE-2015-RahmeX #scheduling: Reliability-Based Software Rejuvenation Scheduling for Cloud-Based Systems (JR, HX), pp. 298–303.
SEKE-2015-XuB #multi #reliability #using: A Reliable and Secure Cloud Storage Schema Using Multiple Service Providers (HX, DB), pp. 116–121.
SAC-2015-IvakiLA #protocol #reliability #taxonomy: A taxonomy of reliable request-response protocols (NI, NL, FA), pp. 456–463.
SAC-2015-YangCHCLK #performance: Reliability-aware striping with minimized performance overheads for flash-based storage devices (MCY, YMC, PCH, YHC, LJL, TWK), pp. 1906–1912.
ESEC-FSE-2015-RotellaCG #predict #reliability: Predicting field reliability (PR, SC, DG), pp. 986–989.
ICSE-v2-2015-YusufTSAMDORBS #data transformation #framework #in the cloud #named #reliability: Chiminey: Reliable Computing and Data Management Platform in the Cloud (IIY, IET, MS, SGA, GRM, DWD, GO, SPR, AMB, HWS), pp. 677–680.
ASPLOS-2015-WangJZY #memory management #named #reliability: 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 #reliability: Mojim: A Reliable and Highly-Available Non-Volatile Memory System (YZ, JY, AM, SS), pp. 3–18.
HPCA-2015-GrigorianFR #approximate #named #reliability: BRAINIAC: Bringing reliable accuracy into neurally-implemented approximate computing (BG, NF, GR), pp. 615–626.
HPCA-2015-KimE #performance #reliability #trade-off: Balancing reliability, cost, and performance tradeoffs with FreeFault (DWK, ME), pp. 439–450.
HPCA-2015-KimSE #flexibility #memory management #reliability: Bamboo ECC: Strong, safe, and flexible codes for reliable computer memory (JK, MS, ME), pp. 101–112.
ISSTA-2015-GuiSLD #abstraction #assessment #communication #distributed #refinement #reliability: Reliability assessment for distributed systems via communication abstraction and refinement (LG, JS, YL, JSD), pp. 293–304.
ISSTA-2015-GyoriSHM #dependence #detection #reliability #testing: Reliable testing: detecting state-polluting tests to prevent test dependency (AG, AS, FH, DM), pp. 223–233.
QoSA-2014-BuhnovaCF #bibliography #modelling #predict #reliability: Failure data collection for reliability prediction models: a survey (BB, SC, LF), pp. 83–92.
CASE-2014-MarkovskiH #framework #modelling #reliability: 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 #reliability: Monitoring Reliability in Embedded Processors — A Multi-layer View (VC), p. 6.
DAC-2014-ChenT #control flow #design: Reliability-aware Register Binding for Control-Flow Intensive Designs (LC, MBT), p. 6.
DAC-2014-KhosraviRGT #multi #optimisation #reliability #using: Multi-Objective Local-Search Optimization using Reliability Importance Measuring (FK, FR, MG, JT), p. 6.
DAC-2014-KimM #3d #design #on the #reliability: On the Design of Reliable 3D-ICs Considering Charged Device Model ESD Events During Die Stacking (DK, SM), p. 6.
DAC-2014-KriebelRSSH #adaptation #fault #named: ASER: Adaptive Soft Error Resilience for Reliability-Heterogeneous Processors in the Dark Silicon Era (FK, SR, DS, MS, JH), p. 6.
DAC-2014-RehmanKSSH #adaptation #code generation #dependence #named #process #reliability: 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 #reliability #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 #reliability: Exploring the Heterogeneous Design Space for both Performance and Reliability (RU, DS, PM, XG, YU, ZC, GS, DRK), p. 6.
DAC-2014-VaidyanathanDP #detection #reliability #stack #using: Detecting Reliability Attacks during Split Fabrication using Test-only BEOL Stack (KV, BPD, LP), p. 6.
DAC-2014-WenZMC #design #memory management #strict: State-Restrict MLC STT-RAM Designs for High-Reliable High-Performance Memory System (WW, YZ, MM, YC), p. 6.
DAC-2014-ZhangKIBWH #configuration management #named #reliability: GUARD: GUAranteed Reliability in Dynamically Reconfigurable Systems (HZ, MAK, MEI, LB, HJW, JH), p. 6.
DATE-2014-AlordaCB #embedded #power management #reliability: 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 #reliability: 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 #reliability: An efficient reliable PUF-based cryptographic key generator in 65nm CMOS (MB, KM), pp. 1–6.
DATE-2014-CaplanMMM #execution #reliability #trade-off: Trade-offs in execution signature compression for reliable processor systems (JC, MIM, PM, BHM), pp. 1–6.
DATE-2014-DasKV #energy #multi #trade-off: Temperature aware energy-reliability trade-offs for mapping of throughput-constrained applications on multimedia MPSoCs (AD, AK, BV), pp. 1–6.
DATE-2014-DweikAD #array #exception #fault: Reliability-Aware Exceptions: Tolerating intermittent faults in microprocessor array structures (WD, MA, MD), pp. 1–6.
DATE-2014-KangYKBHT #manycore #optimisation: Reliability-aware mapping optimization of multi-core systems with mixed-criticality (SHK, HY, SK, IB, SH, LT), pp. 1–4.
DATE-2014-MercatiBPRB #android #mobile #reliability: A Linux-governor based Dynamic Reliability Manager for android mobile devices (PM, AB, FP, TSR, LB), pp. 1–4.
DATE-2014-RehmanKSH #compilation #reliability: Compiler-driven dynamic reliability management for on-chip systems under variabilities (SR, FK, MS, JH), pp. 1–4.
DATE-2014-SchlichtmannKAEGGHNW #abstraction #design: Connecting different worlds — Technology abstraction for reliability-aware design and Test (US, VK, JAA, AE, CGD, MG, AH, SRN, NW), pp. 1–8.
SIGMOD-2014-AgarwalMKTJMMS #approximate #performance #query #reliability: 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 #reliability #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 #reliability #volunteer: Fatman: Cost-saving and reliable archival storage based on volunteer resources (AQ, DH, JL, WY, DT), pp. 1748–1753.
FM-2014-LiuGL #analysis #reliability: MDP-Based Reliability Analysis of an Ambient Assisted Living System (YL, LG, YL), pp. 688–702.
SEFM-2014-DeganoFG #adaptation #reliability #static analysis: A Two-Phase Static Analysis for Reliable Adaptation (PD, GLF, LG), pp. 347–362.
HIMI-AS-2014-JangKJS #analysis #framework #reliability: A Framework of Human Reliability Analysis Method Considering Soft Control in Digital Main Control Rooms (IJ, ARK, WJ, PHS), pp. 335–346.
AdaEurope-2014-SaezRC #ada #multi #realtime #reliability #scheduling: Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012 (SS, JR, AC), pp. 74–90.
EDOC-2014-DomaschkaHE #database #distributed #reliability: Reliability and Availability Properties of Distributed Database Systems (JD, CBH, BE), pp. 226–233.
ICEIS-v2-2014-LiuDT #network #reliability: 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 #reliability: 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 #reliability: Random Forest for Reliable Pre-classification of Handwritten Characters (LPC, CDS, FF, ASdF), pp. 1319–1324.
KDD-2014-LiLH #profiling: Entity profiling with varying source reliabilities (FL, MLL, WH), pp. 1146–1155.
SIGIR-2014-VinjumurOP #reliability #reuse: Assessing the reliability and reusability of an E-discovery privilege test collection (JKV, DWO, JHP), pp. 1047–1050.
OOPSLA-2014-MisailovicCAQR #approximate #kernel #named #optimisation: Chisel: reliability- and accuracy-aware optimization of approximate computational kernels (SM, MC, SA, ZQ, MCR), pp. 309–328.
SAC-PL-J-2013-MaierST14 #design #reliability #scalability #symbolic computation: Reliable scalable symbolic computation: The design of SymGridPar2 (PM, RJS, PWT), pp. 19–35.
SAC-2014-EtcheversSBCP #reliability #self: Reliable self-deployment of cloud applications (XE, GS, FB, TC, NDP), pp. 1331–1338.
SAC-2014-MatiasPASH #case study #empirical #operating system #reliability: An empirical exploratory study on operating system reliability (RM, MP, LBdA, CS, LH), pp. 1523–1528.
SAC-2014-XavierMMA #bibliography #reliability #research: A survey on research in software reliability engineering in the last decade (JX, AM, RM, LBdA), pp. 1190–1191.
FSE-2014-Gui00ND #agile #analysis #named #nondeterminism #reliability #tool support: RaPiD: a toolkit for reliability analysis of non-deterministic systems (LG, JS, YL, TKN, JSD), pp. 727–730.
HPCA-2014-BalasubramanianS #comprehension #execution #physics #reliability: Understanding the impact of gate-level physical reliability effects on whole program execution (RB, KS), pp. 60–71.
ICLP-J-2014-SaadFG #constraints #reasoning #reliability: The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (AS, TWF, CG), pp. 461–475.
CASE-2013-KurzDP #monitoring #reliability: Monitoring virtual metrology reliability in a sampling decision system (DK, CDL, JP), pp. 20–25.
DAC-2013-GeorgakosSSC #architecture #challenge #reliability: Reliability challenges for electric vehicles: from devices to architecture and systems software (GG, US, RS, SC), p. 9.
DAC-2013-HenkelBDGNSTW #lessons learnt #reliability #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 #reliability: APPLE: adaptive performance-predictable low-energy caches for reliable hybrid voltage operation (BM, JA, MV), p. 8.
DAC-2013-MercatiBPRB #manycore #reliability #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 #reliability: Exploiting program-level masking and error propagation for constrained reliability optimization (MS, SR, PVA, JH), p. 9.
DAC-2013-Wang #fault #reliability: Hierarchical decoding of double error correcting codes for high speed reliable memories (ZW), p. 7.
DAC-2013-YangCTH #performance: New ERA: new efficient reliability-aware wear leveling for endurance enhancement of flash storage devices (MCY, YHC, CWT, PCH), p. 6.
DATE-2013-AitkenFKRR #analysis #how #question #reliability: Reliability analysis reloaded: how will we survive? (RA, GF, ZTK, FR, MSR), pp. 358–367.
DATE-2013-AlieeGRT #analysis #automation #fault #reliability: 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 #reliability #scheduling: Enhancing multicore reliability through wear compensation in online assignment and scheduling (TC, XY, XSH, RPD), pp. 1373–1378.
DATE-2013-ChenM #analysis #modelling #reliability: System-level modeling and microprocessor reliability analysis for backend wearout mechanisms (CCC, LM), pp. 1615–1620.
DATE-2013-DasKV #multi: Reliability-driven task mapping for lifetime extension of networks-on-chip based multiprocessor systems (AD, AK, BV), pp. 689–694.
DATE-2013-HamdiouiNGGGB #challenge #realtime #reliability: 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: Reliability analysis for integrated circuit amplifiers used in neural measurement systems (NH, NH, DPD, SP), pp. 713–716.
DATE-2013-MaricAV #architecture #hybrid #performance #reliability #using: Efficient cache architectures for reliable hybrid voltage operation using EDC codes (BM, JA, MV), pp. 917–920.
DATE-2013-RehmanSAKCH #hardware #reliability: 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 #reliability: Accurate and efficient reliability estimation techniques during ADL-driven embedded processor design (ZW, KS, CC, AC), pp. 547–552.
CSCW-2013-HuangF #consistency #evaluation #reliability #using: Enhancing reliability using peer consistency evaluation in human computation (SWH, WTF), pp. 639–648.
CSCW-2013-RollandL #collaboration #reliability #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 #reliability #robust #using: Robust Face Recognition System Using a Reliability Feedback (SM, SW, MS), pp. 178–185.
AdaEurope-2013-FaginC #case study #reliability: Provably Secure DNS: A Case Study in Reliable Software (BSF, MCC), pp. 81–93.
CIKM-2013-ZhouLSCJ #metric #on the #reliability: On the reliability and intuitiveness of aggregated search metrics (KZ, ML, TS, RC, JMJ), pp. 689–698.
SIGIR-2013-UrbanoMM #metric #on the #reliability: On the measurement of test collection reliability (JU, MM, DM), pp. 393–402.
OOPSLA-2013-CarbinMR #hardware #reliability #source code #verification: Verifying quantitative reliability for programs that execute on unreliable hardware (MC, SM, MCR), pp. 33–52.
SAC-2013-MaierST #design #reliability #scalability #symbolic computation: Reliable scalable symbolic computation: the design of SymGridPar2 (PM, RJS, PWT), pp. 1674–1681.
SAC-2013-Markovski #communication #coordination #probability #process #reliability: Reliable supervisory coordination of stochastic communicating processes with data (JM), pp. 1347–1354.
SAC-2013-MatiasOA #case study #experience #operating system #quality #reliability: Operating system reliability from the quality of experience viewpoint: an exploratory study (RMJ, GDO, LBdA), pp. 1644–1649.
ESEC-FSE-2013-JiangZLSHGS #analysis #reliability #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 #reliability #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: Reliability analysis in symbolic pathfinder (AF, CSP, WV), pp. 622–631.
ICSE-2013-PaveseBU #automation #estimation #reliability: Automated reliability estimation over partial systematic explorations (EP, VAB, SU), pp. 602–611.
HPCA-2013-JianK #adaptation #reliability: Adaptive Reliability Chipkill Correct (ARCC) (XJ, RK), pp. 270–281.
HPDC-2013-CadambiCLPRSC #middleware #multi #named #performance #reliability: COSMIC: middleware for high performance and reliable multiprocessing on xeon phi coprocessors (SC, GC, CHL, RP, KR, MS, STC), pp. 215–226.
SOSP-2013-CuiSLLBXYGB #named #reliability #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 #reliability #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: Reliability analysis in component-based development via probabilistic model checking (NB, BB, IC, RO), pp. 83–92.
WICSA-ECSA-2012-FrancoBR #architecture #automation #predict #reliability: Automated Reliability Prediction from Formal Architectural Descriptions (JMF, RB, MZR), pp. 302–309.
DAC-2012-JungPL #3d #reliability: Chip/package co-analysis of thermo-mechanical stress and reliability in TSV-based 3D ICs (MJ, DZP, SKL), pp. 317–326.
DAC-2012-RajendiranAPTG #reliability #set: Reliable computing with ultra-reduced instruction set co-processors (AR, SA, HDP, MVT, SG), pp. 697–702.
DAC-2012-RehmanSH #compilation #scheduling: Instruction scheduling for reliability-aware compilation (SR, MS, JH), pp. 1292–1300.
DAC-2012-UkhovBEP #analysis #embedded #multi #optimisation #reliability: 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 #reliability: 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 #reliability #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 #reliability: AFRA: A low cost high performance reliable routing for 3D mesh NoCs (SA, AS, MF, RB), pp. 332–337.
DATE-2012-DuVM #latency #performance #reliability: High performance reliable variable latency carry select addition (KD, PJV, KM), pp. 1257–1262.
DATE-2012-LiH #analysis #logic #named #performance #reliability: RAG: An efficient reliability analysis of logic circuits on graphics processing units (ML, MSH), pp. 316–319.
DATE-2012-MaricauJG #analysis #learning #multi #reliability #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 #reliability: 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-OzTKT #analysis #parallel #thread #trade-off: Performance-reliability tradeoff analysis for multithreaded applications (IO, HRT, MTK, OT), pp. 893–898.
DATE-2012-PontesCV #design #reliability: 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 #reliability: Efficiency evaluation of parametric failure mitigation techniques for reliable SRAM operation (EIV, JF), pp. 1343–1348.
DATE-2012-ZambelliIFCPOB #approach #trade-off: A cross-layer approach for new reliability-performance trade-offs in MLC NAND flash memories (CZ, MI, MF, SDC, PP, PO, DB), pp. 881–886.
AdaEurope-2012-PolzlbauerBB #constraints #design #performance #realtime #reliability: Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems (FP, IB, EB), pp. 207–220.
CIKM-2012-AkogluTVF #category theory #detection #performance #reliability: Fast and reliable anomaly detection in categorical data (LA, HT, JV, CF), pp. 415–424.
ECIR-2012-SondhiVZ #predict #reliability: Reliability Prediction of Webpages in the Medical Domain (PS, VGVV, CZ), pp. 219–231.
KR-2012-BudanLCS #framework #modelling #reliability: Modelling Time and Reliability in Structured Argumentation Frameworks (MCB, MJGL, CIC, GRS).
SAC-2012-CasadoTY #reliability #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 #reliability: Estimating software reliability via pseudo maximum likelihood method (SI, TD, HO), pp. 1171–1176.
SAC-2012-Kim #multi #optimisation #realtime #reliability #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 #reliability #source code: An empirical investigation of perceived reliability of open source Java programs (LL, SM, DT, DT), pp. 1109–1114.
SAC-2012-MbarekKPA #design #modelling #power management #using: Using model driven engineering to reliably accelerate early Low Power Intent Exploration for a system-on-chip design (OM, AK, AP, MA), pp. 1580–1587.
PLEASE-2012-BoucherAHPAH #perspective #re-engineering #reliability #towards: Towards more reliable configurators: a re-engineering perspective (QB, EKA, AH, GP, MA, PH), pp. 29–32.
HPCA-2012-SuhAD #markov #multi #named #reliability: 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 #reliability: CARIAL: Cost-Aware Software Reliability Improvement with Active Learning (BS, GS, AP, SR), pp. 360–369.
CBSE-2011-DistefanoFGM #analysis #composition #multi #reliability #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: Reliability prediction for fault-tolerant software architectures (FB, BB, HK, RHR), pp. 75–84.
QoSA-ISARCS-2011-MeedeniyaMAG #architecture #evaluation #nondeterminism #reliability: Architecture-based reliability evaluation under uncertainty (IM, IM, AA, LG), pp. 85–94.
ASE-2011-FilieriGLM #adaptation #approach #reliability #requirements #self: Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements (AF, CG, AL, MM), pp. 283–292.
DAC-2011-ChenKCH #analysis #multi #reliability: 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 #reliability: 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 #reliability: TSV stress-aware full-chip mechanical reliability analysis and optimization for 3D IC (MJ, JM, DZP, SKL), pp. 188–193.
DAC-2011-KimG #reliability: Leakage-aware redundancy for reliable sub-threshold memories (SK, MRG), pp. 435–440.
DAC-2011-LiMCMS #modelling #network #performance #reliability #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 #reliability #sequence: Designing ad-hoc scrubbing sequences to improve memory reliability against soft errors (PR, JAM, SB), pp. 700–705.
DAC-2011-ZhaoAZ #embedded #energy #realtime: Generalized reliability-oriented energy management for real-time embedded applications (BZ, HA, DZ), pp. 381–386.
DATE-2011-AcquavivaPOS #power management #reliability: 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 #reliability: E-RoC: Embedded RAIDs-on-Chip for low power distributed dynamically managed reliable memories (LADB, NDD), pp. 1141–1146.
DATE-2011-GielenMW #analysis #reliability: Analog circuit reliability in sub-32 nanometer CMOS: Analysis and mitigation (GGEG, EM, PHNDW), pp. 1474–1479.
DATE-2011-HanumaiahV #manycore #realtime: Reliability-aware thermal management for hard real-time applications on multi-core processors (VH, SBKV), pp. 137–142.
DATE-2011-KakoeeBB #communication #named #network #reliability: ReliNoC: A reliable network for priority-based on-chip communication (MRK, VB, LB), pp. 667–672.
DATE-2011-MaricauG #analysis #probability #reliability: Stochastic circuit reliability analysis (EM, GGEG), pp. 1285–1290.
DATE-2011-RossiTSM #analysis #fault #memory management #performance #reliability: Error correcting code analysis for cache memory high reliability and performance (DR, NT, MS, CM), pp. 1620–1625.
DATE-2011-ZhangHYG #case study #interface #reliability: Case study: Alleviating hotspots and improving chip reliability via carbon nanotube thermal interface (WZ, JH, SY, PG), pp. 1071–1076.
DATE-2011-ZukoskiCM #logic #synthesis: Reliability-driven don’t care assignment for logic synthesis (AZ, MRC, KM), pp. 1560–1565.
ICDAR-2011-LiwickiAUIOK #online #reliability: Reliable Online Stroke Recovery from Offline Data with the Data-Embedding Pen (ML, AY, SU, MI, SO, KK), pp. 1384–1388.
TACAS-2011-Holzmann #design #development #reliability: Reliable Software Development: Analysis-Aware Design (GJH), pp. 1–2.
MSR-2011-KrishnanLG #empirical #evaluation #evolution #product line #reliability: Empirical evaluation of reliability improvement in an evolving software product line (SK, RRL, KGP), pp. 103–112.
DHM-2011-ChiouCC #3d #predict #reliability: The Effects of Landmarks and Training on 3D Surface Anthropometric Reliability and Hip Joint Center Prediction (WKC, BHC, WYC), pp. 3–11.
AdaEurope-2011-OLeary #reliability #using #web #web service: Assuring Software Reliability While Using Web Services and Commercial Products (JO), pp. 1–16.
SIGAda-2011-BrosterC #embedded #how #reliability: How to measure and optimize reliable embedded software (IB, AC), pp. 1–2.
KDD-2011-JinLA #graph #nondeterminism #reliability: Discovering highly reliable subgraphs in uncertain graphs (RJ, LL, CCA), pp. 992–1000.
SEKE-2011-ChawlaXZ #composition #ontology #realtime #reliability #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 #reliability: Architecture-based Reliability Analysis With Uncertain Parameters (DD, MT, LF, SSG), pp. 629–634.
SEKE-2011-El-KharboutlyG #analysis #architecture #concurrent #probability #reliability #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 #reliability: BUGMINER: Software Reliability Analysis Via Data Mining of Bug Reports (LW, BX, GEK, RJP), pp. 95–100.
SEKE-2011-XieLW #modelling #process #reliability #web #web service: A Web Service Reliability Model Based on Birth-Death Process (CX, BL, XW), pp. 625–628.
SIGIR-2011-BlancoHHMPTT #crowdsourcing #evaluation #reliability #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 #reliability: KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems (AC, AF, MLD, RM, VG), pp. 99–114.
GPCE-2011-SlattenKH #automation #case study #distributed #generative #industrial #reliability #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.
SAC-2011-JohnsBSP #reliability: Reliable protection against session fixation attacks (MJ, BB, MS, JP), pp. 1531–1537.
SAC-2011-LeeLKB #reliability: A lifespan-aware reliability scheme for RAID-based flash storage (SL, BL, KK, HB), pp. 374–379.
SAC-2011-RahmanHA #named #network #reliability: REBIVE: a reliable private data aggregation scheme for wireless sensor networks (FR, MEH, SIA), pp. 439–444.
ESEC-FSE-2011-KimK #embedded #named #reliability #scalability #testing: SCORE: a scalable concolic testing tool for reliable embedded software (YK, MK), pp. 420–423.
ICSE-2011-FujiiDF #assessment #development #incremental #process #reliability #towards: Towards quantitative software reliability assessment in incremental development processes (TF, TD, TF), pp. 41–50.
ASPLOS-2011-RyzhykKMRVH #hardware #reliability #reuse #verification: Improved device driver reliability through hardware verification reuse (LR, JK, BM, AR, MV, GH), pp. 133–144.
ICTSS-2011-BochmannJW #reliability #testing #web: Improved Usage Model for Web Application Reliability Testing (GvB, GVJ, BW), pp. 15–31.
CBSE-2010-FilieriGGM #analysis #component #multi #reliability: Reliability Analysis of Component-Based Systems with Multiple Failure Modes (AF, CG, VG, RM), pp. 1–20.
CBSE-2010-LegerLC #component #configuration management #reliability: Reliable Dynamic Reconfigurations in a Reflective Component Model (ML, TL, TC), pp. 74–92.
QoSA-2010-BroschKBR #architecture #component #predict #reliability: Parameterized Reliability Prediction for Component-Based Software Architectures (FB, HK, BB, RHR), pp. 36–51.
QoSA-2010-MeedeniyaBAG #architecture #embedded #energy #optimisation #reliability: Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems (IM, BB, AA, LG), pp. 52–67.
ASE-2010-CoorayMRK #configuration management #reliability: RESISTing reliability degradation through proactive reconfiguration (DC, SM, RR, DK), pp. 83–92.
DAC-2010-CongM #reliability: LUT-based FPGA technology mapping for reliability (JC, KM), pp. 517–522.
DAC-2010-FonsecaDBGPVB #analysis #reliability #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 #reliability #scalability #towards: Towards scalable system-level reliability analysis (MG, ML, CH, JT), pp. 234–239.
DAC-2010-Miskov-ZivanovM #analysis #formal method #modelling #reasoning #reliability: Formal modeling and reasoning for reliability analysis (NMZ, DM), pp. 531–536.
DAC-2010-SridharanM #embedded #power management #realtime #reliability: Reliability aware power management for dual-processor real-time embedded systems (RS, RNM), pp. 819–824.
DATE-2010-BashirM #process #reliability #towards: Towards a chip level reliability simulator for copper/low-k backend processes (MB, LSM), pp. 279–282.
DATE-2010-BsoulMS #process: Reliability- and process variation-aware placement for FPGAs (AAMB, NM, LS), pp. 1809–1814.
DATE-2010-DeHonQC #challenge #energy #optimisation #reliability: 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 #reliability #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 #reliability #scheduling: Energy-efficient task allocation and scheduling for multi-mode MPSoCs under lifetime reliability constraint (LH, QX), pp. 1584–1589.
DATE-2010-KimKL #named #reliability #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 #reliability: RALF: Reliability Analysis for Logic Faults — An exact algorithm and its applications (SBL, JYL, YH, RM, LH), pp. 783–788.
DATE-2010-MaricauG #complexity #reliability #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 #reliability: A reconfigurable multiprocessor architecture for a reliable face recognition implementation (AT, FR, GP, FF, DS), pp. 319–322.
DATE-2010-YangAFK #design #power management #reliability: Scan based methodology for reliable state retention power gating designs (SY, BMAH, DF, SSK), pp. 69–74.
DATE-2010-ZhuoSB #process #reliability: Process variation and temperature-aware reliability management (CZ, DS, DB), pp. 580–585.
VLDB-2010-McConnellPH #approach #named #performance #reliability #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 #reliability #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 #reliability #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 #reliability: Sparse Reliable Graph Backbones (SC, YE, BPS, DP), pp. 261–272.
AdaEurope-2010-Baker #manycore #question #realtime #reliability #what: What to Make of Multicore Processors for Reliable Real-Time Systems? (TPB), pp. 1–18.
SIGAda-2010-Rosen #object-oriented #reliability: Use of object oriented technologies in high reliability system (JPR), pp. 3–4.
ICPR-2010-ChenYKA #assessment #automation #paradigm #reliability #video: A Reliability Assessment Paradigm for Automated Video Tracking Systems (CHC, YY, AK, MAA), pp. 480–483.
SEKE-2010-YinZZ #reliability #transaction #web #web service: Reliable Web Service Selection based on Transactional Risk (YY, XZ, BZ), pp. 231–234.
SAC-2010-CarvalhoCB #constraints #probability #problem #reliability: Probabilistic constraints for reliability problems (EC, JC, PB), pp. 2055–2060.
SAC-2010-JungCKK #adaptation #named #performance #reliability: ASTRAL: an adaptive, efficient, and reliable flooding mechanism for MANET (JJ, YC, YK, IK), pp. 731–732.
SAC-2010-Pamies-JuarezL #maintenance #reliability: Maintaining data reliability without availability in P2P storage systems (LPJ, PGL), pp. 684–688.
SAC-2010-YiKMKS #adaptation #fault tolerance #named #reliability: ART: adaptive, reliable, and fault-tolerant task management for computational grids (SY, JYK, HM, BK, COS), pp. 238–239.
ICSE-2010-ZhengL #collaboration #predict #reliability: Collaborative reliability prediction of service-oriented systems (ZZ, MRL), pp. 35–44.
SPLC-2010-UbayashiNH #embedded #product line #reliability: Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems (NU, SN, MH), pp. 1–15.
ASPLOS-2010-FengGAM #fault #named #probability #reliability #string: Shoestring: probabilistic soft error reliability on the cheap (SF, SG, AA, SAM), pp. 385–396.
ASPLOS-2010-IpekCNBM #memory management #reliability: Dynamically replicated memory: building reliable systems from nanoscale resistive memories (EI, JC, EBN, DB, TM), pp. 3–14.
HPCA-2010-KahngKKS #design #reliability #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 #reliability #replication: Detouring and replication for fast and reliable internet-scale stream processing (CM, FP, JHH), pp. 737–745.
LCTES-2010-OzturkKIN #compilation #multi #reliability: Compiler directed network-on-chip reliability enhancement for chip multiprocessors (ÖÖ, MTK, MJI, SHKN), pp. 85–94.
CASE-2009-BiradarM #approach #multi #reliability: Reliable ring based multicast routing scheme in MANET: An agent based approach (RCB, SSM), pp. 507–512.
DAC-2009-ChangK #performance #reliability: 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 #reliability: Vicis: a reliable network for unreliable silicon (DF, AD, JH, VB, DB, DS), pp. 812–817.
DAC-2009-LuSZZYZ #analysis #process #reliability #statistics: Statistical reliability analysis under process variation and aging effects (YL, LS, HZ, HZ, FY, XZ), pp. 514–519.
DAC-2009-ReddiGSWBC #challenge #hardware #reliability #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: Reliability aware through silicon via planning for 3D stacked ICs (ASA, XH, HP, CKC, WY, MP, TT, XC), pp. 288–291.
DATE-2009-ChandraA #reliability #scalability: Impact of voltage scaling on nanoscale SRAM reliability (VC, RCA), pp. 387–392.
DATE-2009-ChuHCK #reliability: A set-based mapping strategy for flash-memory reliability enhancement (YSC, JWH, YHC, TWK), pp. 405–410.
DATE-2009-HuangYX #scheduling: Lifetime reliability-aware task allocation and scheduling for MPSoC platforms (LH, FY, QX), pp. 51–56.
DATE-2009-KhajehGDKEKA #design #memory management #named #reliability: TRAM: A tool for Temperature and Reliability Aware Memory Design (AK, AG, ND, FJK, AME, KSK, MSA), pp. 340–345.
DATE-2009-MaricauG #performance #reliability #simulation #variability: Efficient reliability simulation of analog ICs including variability and time-varying stress (EM, GGEG), pp. 1238–1241.
DATE-2009-PanKK #multi #reliability: Improving yield and reliability of chip multiprocessors (AP, OK, SK), pp. 490–495.
DATE-2009-StoimenovPT #realtime #reliability #scheduling: Reliable mode changes in real-time systems with fixed priority or EDF scheduling (NS, SP, LT), pp. 99–104.
ICDAR-2009-Franke #analysis #forensics #reliability: Capturing Reliable Data for Computer-Based Forensic Handwriting Analysis II: Pen-position Activations (KF), pp. 1310–1314.
DHM-2009-McInnesSP #reliability #using: Within and Between-Subject Reliability Using Classic Jack for Ergonomic Assessments (BM, AS, JP), pp. 653–660.
HCI-NIMT-2009-MetzeWSSM #evaluation #multimodal #reliability: Reliable Evaluation of Multimodal Dialogue Systems (FM, IW, SS, JS, SM), pp. 75–83.
HIMI-II-2009-JungLSY #framework #reliability #semantics #web #web service: Auto-complete for Improving Reliability on Semantic Web Service Framework (HJ, ML, WKS, BJY), pp. 36–44.
SIGAda-2009-Schmidt #ada #maturity #reliability #scalability: An ada retrospective: developing large, mature, reliable systems (RBS), pp. 21–22.
CIKM-2009-RonnauPB #documentation #performance #reliability #xml: Efficient and reliable merging of XML documents (SR, GP, UMB), pp. 2105–2106.
MLDM-2009-Truemper #reliability #strict: Improved Comprehensibility and Reliability of Explanations via Restricted Halfspace Discretization (KT), pp. 1–15.
SEKE-2009-BuckleyFRS #reliability #web #web service: Web Services Reliability Patterns (IB, EBF, GR, SMS), pp. 4–9.
SAC-2009-CapozuccaG #concurrent #design #object-oriented #realtime #reliability: Designing reliable real-time concurrent object-oriented software systems (AC, NG), pp. 1996–1997.
SAC-2009-JungHKY #evaluation #memory management #reliability: 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 #reliability #semantics: Knowledge-based coordination with a reliable semantic subscription mechanism (MM, EK), pp. 1374–1380.
SAC-2009-SchneidewindH #approach #reliability #testing: A consumer/producer approach to risk-driven software reliability and testing (NFS, MH), pp. 537–538.
ESEC-FSE-2009-YusufSP #component #grid #reliability: Evaluating recovery aware components for grid reliability (IIY, HWS, IDP), pp. 277–280.
ASPLOS-2009-WellsCS #manycore #reliability: Mixed-mode multicore reliability (PMW, KC, GSS), pp. 169–180.
HPDC-2009-GharaibehR #reliability #trade-off: Exploring data reliability tradeoffs in replicated storage systems (AG, MR), pp. 217–226.
CASE-2008-BillerMMZ #modelling #reliability: Closed production lines with arbitrary models of machine reliability (SB, SPM, SMM, LZ), pp. 466–471.
CASE-2008-KuruvillaGS #configuration management #evaluation #reliability: Reliability evaluation of reconfigurable conveyor systems (SAK, SSG, SS), pp. 929–934.
CASE-2008-NugentHHFS #impact analysis #reliability: 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 #reliability #testing: On reliable modular testing with vulnerable test access mechanisms (LH, FY, QX), pp. 834–839.
DAC-2008-KrishnaswamyMH #design #logic #on the #reliability: On the role of timing masking in reliable logic circuit design (SK, ILM, JPH), pp. 924–929.
DAC-2008-MaestroR #reliability: 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 #reliability #security: SHIELD: a software hardware design methodology for security and reliability of MPSoCs (KP, SP), pp. 858–861.
DAC-2008-SridharanGM #embedded #power management #realtime: Feedback-controlled reliability-aware power management for real-time embedded systems (RS, NG, RNM), pp. 185–190.
DATE-2008-ChatterjeeGHIKPS #logic #realtime #reliability: Logical Reliability of Interacting Real-Time Tasks (KC, AG, TAH, DTI, CMK, CP, ALSV), pp. 909–914.
DATE-2008-GielenWMLMKGRN #challenge #reliability: 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 #reliability: Symbolic Reliability Analysis and Optimization of ECU Networks (MG, ML, FR, CH, JT), pp. 158–163.
DATE-2008-HeineckeDJMKSN #component #reliability: Software Components for Reliable Automotive Systems (HH, WD, BJ, AM, HK, ALSV, MDN), pp. 549–554.
DATE-2008-IsrarH #design #embedded #reliability #specification: Specification and Design Considerations for Reliable Embedded Systems (AI, SAH), pp. 1111–1116.
DATE-2008-Kopetz #reliability: Reliable Services in an Imperfect World (HK), p. 1123.
DATE-2008-MayAW #case study #design: A Case Study in Reliability-Aware Design: A Resilient LDPC Code Decoder (MM, MA, NW), pp. 456–461.
DATE-2008-Mitra #challenge #reliability #robust: Globally Optimized Robust Systems to Overcome Scaled CMOS Reliability Challenges (SM), pp. 941–946.
DATE-2008-WangZHZT #design #multi #reliability: Zero-Efficient Buffer Design for Reliable Network-on-Chip in Tiled Chip-Multi-Processor (JW, HZ, KH, GZ, YT), pp. 792–795.
DocEng-2008-RonnauPB #documentation #reliability #using #xml: Merging changes in XML documents using reliable context fingerprints (SR, CP, UMB), pp. 52–61.
DRR-2008-XiangTLW #recognition #reliability #using: Achieving high recognition reliability using decision trees and AdaBoost (JX, XT, YL, PSPW), p. 68150.
FM-2008-Lecomte #framework #reliability: Safe and Reliable Metro Platform Screen Doors Control/Command Systems (TL), pp. 430–434.
SOFTVIS-2008-ZeckzerKSHK #3d #clustering #communication #graph #reliability #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.
SIGAda-2008-LiangRB #ada #architecture #named #reliability: Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model (SXL, LAR, JB), pp. 39–56.
CAiSE-2008-WangGV #reliability #transaction: Ensuring Transactional Reliability by E-Contracting (TW, PWPJG, JV), pp. 262–265.
EDOC-2008-PreteC #mobile #reliability: Reliable Discovery and Selection of Composite Services in Mobile Environments (LDP, LC), pp. 171–180.
ICPR-2008-MollerPF #multi #performance #reliability: 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 #reliability: Tagmark: reliable estimations of RFID tags for business processes (LWFC, EB, KB), pp. 999–1007.
KDD-2008-SimonKZ #agile #approach #reliability #scalability #set: Semi-supervised approach to rapid and reliable labeling of large data sets (GJS, VK, ZLZ), pp. 641–649.
SEKE-2008-EzenwoyeS #approach #reliability #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: Reliability Oriented QoS Driven Composite Service Selection Based on Performance Prediction (LY, YD, BZ), pp. 215–218.
SAC-2008-XiangYLW #implementation #memory management #reliability: A reliable B-tree implementation over flash memory (XX, LY, ZL, PW), pp. 1487–1491.
ICSE-2008-CheungRMG #component #predict #reliability: Early prediction of software component reliability (LC, RR, NM, LG), pp. 111–120.
ASPLOS-2008-LvinNBZ #named #reliability #security: Archipelago: trading address space for reliability and security (VBL, GN, EDB, BGZ), pp. 115–124.
HPCA-2008-KumarA #trade-off #validation: Speculative instruction validation for performance-reliability trade-off (SK, AA), pp. 405–414.
OSDI-2008-DavidCCC #named #operating system #reliability: CuriOS: Improving Reliability through Operating System Structure (FMD, EC, JCC, RHC), pp. 59–72.
CBSE-2007-CortellessaG #approach #component #fault #modelling #reliability: 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 #reliability: A Bayesian Model for Predicting Reliability of Software Systems at the Architectural Level (RR, NM, LG), pp. 108–126.
WICSA-2007-Bondi #performance #reliability #requirements: Best Practices for Writing and Managing Performance, Reliability, and Availability Requirements (ABB), p. 42.
CASE-2007-LiW #analysis #approach #reliability: An Importance Sampling Based Approach for Reliability Analysis (FL, TW), pp. 956–961.
CASE-2007-WangL #analysis #approximate #modelling #reliability: Approximate Analysis of Re-Entrant Lines with Bernoulli Reliability Models (CW, JL), pp. 398–403.
DAC-2007-HuangTKC #analysis #case study #flexibility #reliability: 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 #reliability #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 #reliability #scalability: Accurate and scalable reliability analysis of logic circuits (MRC, KM), pp. 1454–1459.
DATE-2007-GlassLSHT #interactive #synthesis: Interactive presentation: Reliability-aware system synthesis (MG, ML, TS, CH, JT), pp. 409–414.
DATE-2007-GodardDTS #design #embedded #evaluation #reliability: 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 #reliability: 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 #reliability: 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 #reliability #scheduling: Task scheduling for reliable cache architectures of multiprocessor systems (MS, TI, KM), pp. 1490–1495.
SIGMOD-2007-BrettleckerS #data type #framework #mobile #reliability: The OSIRIS-SE (stream-enabled) infrastructure for reliable data stream management on mobile devices (GB, HS), pp. 1097–1099.
FASE-2007-CortellessaMI #analysis #framework #non-functional #performance #reliability: Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework (VC, ADM, PI), pp. 57–71.
CSMR-2007-Boogerd #evolution #program analysis #reliability: Supporting Reliable Software Evolution through Program Analysis (CB), pp. 341–344.
PLDI-2007-KothariGMG #abstraction #network #performance #programming #reliability: Reliable and efficient programming abstractions for wireless sensor networks (NK, RG, TDM, RG), pp. 200–210.
IFM-2007-MeinickeS #development #process #realtime #reasoning #reliability: A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems (LM, GS), pp. 439–458.
DHM-2007-RapalaN #reliability #safety: Clinical Patient Safety — Achieving High Reliability in a Complex System (KR, JCN), pp. 710–716.
HCI-AS-2007-HeHDZM #analysis #bibliography #design #optimisation #reliability: 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 #reliability #using: Personal Life Logger and Belonging Monitor Using Reliable ZigBee Networks (KL, KN, CB), pp. 961–970.
HCI-MIE-2007-YamaguchiSS #reliability #streaming #video: Reliable Partner System Always Providing Users with Companionship Through Video Streaming (TY, KS, HS), pp. 1010–1018.
ICEIS-AIDSS-2007-SturekRNS #predict #reliability: A Decision Support System for Predicting the Reliability of a Robotic Dispensing System (JS, SR, PN, KS), pp. 289–296.
ICEIS-DISI-2007-DangelmaierRHBKDT #information management #named #reliability: 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 #reliability: Adequacy of Composite Parametric Software Reliability Models (LF, SSG), pp. 643–648.
SIGIR-2007-ButtcherCYS #evaluation #information retrieval #reliability: Reliable information retrieval evaluation with incomplete and biased judgements (SB, CLAC, PCKY, IS), pp. 63–70.
SIGIR-2007-LinZ #evaluation #reliability: Deconstructing nuggets: the stability and reliability of complex question answering evaluation (JJL, PZ), pp. 327–334.
SAC-2007-KimCLNM #embedded #framework #reliability #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 #reliability: RAAS: a reliable analyzer and archiver for snort intrusion detection system (MS, EKA, MD, MD, AB, MA), pp. 259–263.
SAC-2007-WeynsR #reliability: Sensitivity of software system reliability to usage profile changes (KW, PR), pp. 1440–1444.
HPDC-2007-BudatiSCW #grid #named #performance #reliability: Ridge: combining reliability and performance in open grid platforms (KB, JDS, AC, JBW), pp. 55–64.
HPDC-2007-ByunJK #adaptation #reliability #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 #reliability #using: Using queue structures to improve job reliability (TJH, ZM), pp. 43–54.
SOSP-2007-GunawiPKAA #file system #reliability: Improving file system reliability with I/O shepherding (HSG, VP, SK, ACAD, RHAD), pp. 293–306.
CBSE-2006-GrassiMS #analysis #approach #component #model transformation #performance #reliability: A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems (VG, RM, AS), pp. 270–284.
CASE-2006-JinLXS #reliability: Computerized Repairable Inventory Management with Reliability Growth and System Installations Increase (TJ, HL, ZX, CHS), pp. 336–341.
CASE-2006-LuL #evaluation #independence #reliability #safety: Reliability evaluation of standby safety systems due to independent and common cause failures (LL, GL), pp. 264–269.
CASE-2006-SaiK #automation #reliability: 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 #reliability: Evaluation of the Reliability of Emergency Networks under Time Constraints (WwW, XxN), pp. 259–263.
DAC-2006-BandiDK #communication #design #reliability: Design in reliability for communication designs (URB, MD, PKK), pp. 188–192.
DAC-2006-KarlBSM #modelling #reliability: Reliability modeling and management in dynamic microprocessor-based systems (EK, DB, DS, TNM), pp. 1057–1060.
DAC-2006-LiuMM #analysis #design #reliability #tool support: Design tools for reliability analysis (ZL, BM, JZM), pp. 182–187.
DAC-2006-McPherson #challenge #reliability: Reliability challenges for 45nm and beyond (JWM), pp. 176–181.
DAC-2006-PomplSHNS #analysis #aspect-oriented #design #reliability: Practical aspects of reliability analysis for IC designs (TP, CS, MH, HN, JS), pp. 193–198.
DAC-2006-RagelP #monitoring #named #reliability #security: IMPRES: integrated monitoring for processor reliability and security (RGR, SP), pp. 502–505.
DATE-2006-HeJ #configuration management #framework #named #synthesis: RAS-NANO: a reliability-aware synthesis framework for reconfigurable nanofabrics (CH, MFJ), pp. 1179–1184.
DATE-2006-OmanaCRM #detection #fault #low cost #reliability: 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 #reliability: 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 #reliability: Test and reliability challenges in automotive microelectronics (CS, CJ, KH, SF, JS, PG), p. 547.
FoSSaCS-2006-BackesMPV #analysis #encryption: Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario (MB, SM, BP, LV), pp. 428–445.
ICALP-v1-2006-MehlhornOS #geometry #performance #reliability: Reliable and Efficient Computational Geometry Via Controlled Perturbation (KM, RO, MS), pp. 299–310.
AdaEurope-2006-WagnerF #geometry #modelling #reliability #sequence: A Software Reliability Model Based on a Geometric Sequence of Failure Rates (SW, HF), pp. 143–154.
EDOC-2006-EntwisleSPK #exception #framework #modelling #reliability: A Model Driven Exception Management Framework for Developing Reliable Software Systems (SE, HWS, IDP, EAK), pp. 307–318.
ICEIS-DISI-2006-SeoCSRZKB #performance #reliability #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: 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 #reliability: Chaining Planar Homographies for Fast and Reliable 3D Plane Tracking (MIAL, AAA), pp. 582–586.
ICPR-v2-2006-GongY #estimation #orthogonal #programming #using: Disparity Flow Estimation using Orthogonal Reliability-based Dynamic Programming (MG, YHY), pp. 70–73.
ICPR-v4-2006-LiXWYY #recognition #reliability #video: Reliable Video Clock Time Recognition (YL, CX, KW, XY, XY), pp. 128–131.
SEKE-2006-GokhaleY #analysis #architecture #pipes and filters #reliability: Reliability Analysis of Pipe and Filter Architecture Style (SSG, SMY), pp. 625–630.
SAC-2006-AhnOS #framework #reliability #towards: Towards reliable OSGi framework and applications (HA, HO, COS), pp. 1456–1461.
SAC-2006-ItoOMK #adaptation #network #peer-to-peer #reliability #retrieval: An adaptive index allocation scheme for reliable data retrieval and provision in peer-to-peer networks (AI, TO, KM, YK), pp. 697–704.
ICSE-2006-RoshandelBCMG #architecture #component #modelling #reliability: Estimating software component reliability by leveraging architectural models (RR, SB, LC, NM, LG), pp. 853–856.
SPL-BOOK-2006-Immonen #architecture #predict #reliability: A Method for Predicting Reliability and Availability at the Architecture Level (AI), pp. 373–422.
WICSA-2005-LiLC #architecture #reliability: Octopus Architecture: A New Attempt to Achieve Reliable OS (HL, XL, PC), pp. 197–198.
WICSA-2005-TekinerdoganSA #analysis #architecture #reliability #using: Software Architecture Reliability Analysis Using Failure Scenarios (BT, HS, MA), pp. 203–204.
DAC-2005-ChenK #embedded #java #reliability #virtual machine: Improving java virtual machine reliability for memory-constrained embedded systems (GC, MTK), pp. 690–695.
DAC-2005-ZykovMJVS #architecture #novel #performance #trade-off: High performance computing on fault-prone nanotechnologies: novel microarchitecture techniques exploiting reliability-delay trade-offs (AVZ, EM, MFJ, GdV, AS), pp. 270–273.
DATE-2005-BolchiniSSP #reliability #self #specification: Reliable System Specification for Self-Checking Data-Paths (CB, FS, DS, LP), pp. 1278–1283.
DATE-2005-HashempourSL #evaluation #reliability #testing: Evaluation of Error-Resilience for Reliable Compression of Test Data (HH, LS, FL), pp. 1284–1289.
DATE-2005-KrishnaswamyVMH #evaluation #matrix #probability #reliability: Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices (SK, GFV, ILM, JPH), pp. 282–287.
DATE-2005-SchianoOLPS #analysis #fault #on the #reliability: 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.
DATE-2005-TosunMAKX #synthesis: Reliability-Centric High-Level Synthesis (ST, NM, EA, MTK, YX), pp. 1258–1263.
FASE-2005-RodriguesRU #component #concurrent #predict #reliability #using: Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems (GNR, DSR, SU), pp. 111–126.
ICSM-2005-ZhaoLCY #reliability #testing: Software Reliability Growth Model from Testing to Operation (JZ, HL, GC, XZY), pp. 691–694.
SAS-2005-ChenKK #execution #memory management #reliability: Memory Space Conscious Loop Iteration Duplication for Reliable Execution (GC, MTK, MK), pp. 52–69.
AdaEurope-2005-AyavooPP #development #embedded #reliability: Observing the Development of a Reliable Embedded System (DA, MJP, SP), pp. 167–179.
ICEIS-v1-2005-AndreouL #analysis #parametricity #reliability: Nonparametric Analysis of Software Reliability: Revealing the Nature of Software Failure Dataseries (ASA, CL), pp. 138–145.
SIGIR-2005-SandersonZ #evaluation #information retrieval #reliability: Information retrieval system evaluation: effort, sensitivity, and reliability (MS, JZ), pp. 162–169.
MoDELS-2005-RodriguesRU #development #modelling #predict #reliability: Reliability Prediction in Model-Driven Development (GNR, DSR, SU), pp. 339–354.
SAC-2005-DaoudM #analysis #mobile #reliability: Reliability analysis of mobile agent-based systems (MD, QHM), pp. 92–93.
SAC-2005-ErradiM #framework #interactive #named #reliability #web #web service: wsBus: a framework for reliable web services interactions (AE, PM), pp. 1739–1740.
SAC-2005-QuagliaR #coordination #persistent #reliability: Reliability in three-tier systems without application server coordination and persistent message queues (FQ, PR), pp. 718–723.
CBSE-2004-ShuklaSC #assessment #component #framework #reliability: A Framework for Reliability Assessment of Software Components (RS, PAS, DAC), pp. 272–279.
DAC-2004-BorkarKD #challenge #design #reliability: Design and reliability challenges in nanometer technologies (SB, TK, VD), p. 75.
DAC-2004-JerkeLS #design #layout: Reliability-driven layout decompaction for electromigration failure avoidance in complex mixed-signal IC designs (GJ, JL, JS), pp. 181–184.
DAC-2004-Micheli #communication #reliability: Reliable communication in systems on chips (GDM), p. 77.
DAC-2004-Shanbhag #design #paradigm #reliability: A communication-theoretic design paradigm for reliable SOCs (NRS), p. 76.
DATE-v1-2004-Fit-FloreaHK #reliability: Enhancing Reliability of Operational Interconnections in FPGAs (AFF, MH, FK), pp. 746–747.
SIGMOD-2004-Gudgin #architecture #reliability #web #web service: Secure, Reliable, Transacted; Innovation in Web Services Architecture (MG), pp. 879–880.
AdaEurope-2004-VergnaudHPK #distributed #middleware #named #reliability: PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications (TV, JH, LP, FK), pp. 106–119.
ICML-2004-FernG #relational #reliability: Relational sequential inference with reliable observations (AF, RG).
ICPR-v4-2004-LoutasNP #correlation #evaluation #metric #normalisation #reliability: 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 #reliability: A Nonparametric Software Reliability Model Based on Kernel Estimator and Optimum Algorithm (HF, QZ, WX), pp. 13–18.
SIGIR-2004-HarmanB #information management #reliability: The NRRC reliable information access (RIA) workshop (DH, CB), pp. 528–529.
SIGIR-2004-Martin #natural language #reliability #verification #web: Reliability and verification of natural language text on the world wide web (abstract only) (MJM), p. 603.
SIGIR-2004-WarrenL #bibliography #feedback #information management #reliability: A review of relevance feedback experiments at the 2003 reliable information access (RIA) workshop (RHW, TL), pp. 570–571.
SAC-2004-AwanY #commit #modelling #protocol #reliability #web: Analytical modelling of priority commit protocol for reliable Web applications (IA, MY), pp. 313–317.
SAC-2004-CarmeliGHNNSV #reliability #throughput: High throughput reliable message dissemination (BC, GG, AH, NN, HN, JS, PV), pp. 322–327.
SAC-2004-DaescuJRS #deployment #multi #reliability: Optimal placement of NAK-suppressing agents for reliable multicast: a partial deployment case (OD, RJ, BR, KS), pp. 334–338.
SAC-2004-SheldonJ #embedded #reliability: Assessing the effect of failure severity, coincident failures and usage-profiles on the reliability of embedded control systems (FTS, KJ), pp. 826–833.
ICSE-2004-Nagappan #metric #reliability #testing #towards: Toward a Software Testing and Reliability Early Warning Metric Suite (NN), pp. 60–62.
ICSE-2004-Rodrigues #approach #modelling #reliability: A Model Driven Approach for Software Systems Reliability (GNR), pp. 30–32.
ICSE-2004-Roshandel #analysis #architecture #modelling #reliability: Calculating Architectural Reliability via Modeling and Analysis (RR), pp. 69–71.
OSDI-2004-GummadiMGLW #internet #reliability: Improving the Reliability of Internet Paths with One-hop Source Routing (PKG, HVM, SDG, HML, DW), pp. 183–198.
OSDI-2004-ParkPPW #named #performance #reliability: CoDNS: Improving DNS Performance and Reliability via Cooperative Lookups (KP, VSP, LLP, ZW), pp. 199–214.
ICDAR-2003-StefanoCM #algorithm #classification #reliability #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 #reliability #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 #reliability #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 #reliability: A reliable storage management layer for distributed information retrieval systems (CLAC, PLT, AQLT, KH, ASC), pp. 207–215.
CIKM-2003-ConradGS #detection #documentation #online #reliability #retrieval: Online duplicate document detection: signature reliability in a dynamic retrieval environment (JGC, XSG, CPS), pp. 443–452.
SAC-2003-FrancescoP #authentication #mobile #protocol #reliability: Authenticity in a Reliable Protocol for Mobile Computing (NDF, MP), pp. 318–324.
ICSE-2003-RaghavachariRJ #configuration management #performance #problem #reliability: The Deployer’s Problem: Configuring Application Servers for Performance and Reliability (MR, DR, RDJ), pp. 484–489.
SOSP-2003-SwiftBL #operating system #reliability: Improving the reliability of commodity operating systems (MMS, BNB, HML), pp. 207–222.
CBSE-2002-Mason #analysis #component #composition #probability #reliability: Probabilistic Analysis for Component Reliability Composition (DM), p. 8.
CBSE-2002-StaffordM #component #predict #reliability: Issues in Predicting the Reliability of Composed Components (JAS, JDM), p. 4.
CBSE-2003-McGregorSC #component #reliability: Measuring Component Reliability (JDM, JAS, IHC), p. 2.
CBSE-2003-MehlitzP #design pattern #reliability #using #verification: Design for Verification: Using Design Patterns to Build Reliable Systems (PCM, JJP), p. 10.
DAC-2002-Shanbhag #energy #reliability: Reliable and energy-efficient digital signal processing (NRS), pp. 830–835.
AdaEurope-2002-BinderL #embedded #execution #java #kernel #reliability #using: Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications (WB, BL), pp. 125–135.
ICPR-v1-2002-CamusW #image #performance #reliability: Reliable and Fast Eye Finding in Close-up Images (TAC, RPW), pp. 389–394.
ICPR-v2-2002-LaiW #image #reliability: Reliable Image Matching Based on Relative Gradients (SHL, SDW), pp. 802–805.
SIGIR-2002-BennettDH #classification #modelling #probability #reliability #using: Probabilistic combination of text classifiers using reliability indicators: models and results (PNB, STD, EH), pp. 207–214.
SAC-2002-LawsonC #metric #reliability: Investigating software measures to improve product reliability (DL, GC), pp. 1031–1035.
SAC-2002-SmithH #analysis #design #reliability: Augmenting descriptive scenario analysis for improvements in human reliability design (SPS, MDH), pp. 739–743.
ICSE-2002-MaysL #approach #realtime #reliability #robust: The cyclefree methodology: a simple approach to building reliable, robust, real-time systems (DM, RJL), pp. 567–575.
ASPLOS-2002-OplingerL #reliability #thread: Enhancing software reliability with speculative threads (JTO, MSL), pp. 184–196.
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.
ISSTA-2002-Bishop #bound #reliability: Rescaling reliability bounds for a new operational profile (PGB), pp. 180–190.
TestCom-2002-Binder #reliability #ubiquitous: Achieving High Reliability for Ubiquitous Information Technology (RVB), p. 75–?.
ASE-2001-ZarrasI #analysis #automation #enterprise #information management #performance #reliability: Automating the Performance and Reliability Analysis of Enterprise Information Systems (AZ, VI), pp. 350–353.
DATE-2001-GiustoMH #embedded #estimation #execution #reliability: Reliable estimation of execution time of embedded software (PG, GM, EAH), pp. 580–589.
FASE-2001-SharyginaBK #analysis #design #object-oriented #reliability #verification: A Formal Object-Oriented Analysis for Software Reliability: Design for Verification (NS, JCB, RPK), pp. 318–332.
ICSM-2001-Schneidewind #maintenance #reliability #requirements: Investigation of the Risk to Software Reliability and Maintainability of Requirements Changes (NFS), p. 127–?.
FME-2001-SharyginaP #approach #reliability #testing #verification: A Combined Testing and Verification Approach for Software Reliability (NS, DP), pp. 611–628.
AdaEurope-2001-Lamsweerde #modelling #reliability #requirements: Building Formal Requirements Models for Reliable Software (AvL), pp. 1–20.
AdaEurope-2001-PinhoV #communication #distributed #reliability: Reliable Communication in Distributed Computer-Controlled Systems (LMP, FV), pp. 136–147.
ICSE-2001-HamletMW #component #reliability: Theory of Software Reliability Based on Components (RGH, DVM, DMW), pp. 361–370.
CBSE-2000-HamletMW #component #reliability: Theory of System Reliability Based on Components (DH, DM, DW), p. 14.
DAC-2000-WilsonD #reliability #simulation #using #verification: Reliable verification using symbolic simulation with scalar values (CW, DLD), pp. 124–129.
DATE-2000-Veelenturf #embedded #reliability #tool support: The Road to Better Reliability and Yield Embedded DfM Tools (KV), pp. 67–68.
AdaEurope-2000-DeshpandeCT #behaviour #object-oriented #reliability #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 #reliability #streaming: On Persistent and Reliable Streaming in Ada (JK, ABR), pp. 82–95.
AdaEurope-2000-MauriS #analysis #embedded #reliability #safety #using: Constructing Reliable Embedded Systems Using the Results of System Safety Analysis (GM, SS), pp. 173–184.
ICPR-v1-2000-Kanatani #3d #analysis #re-engineering #reliability: Gauge-Based Reliability Analysis of 3-D Reconstruction from Two Uncalibrated Perspective Views (KiK), pp. 1076–1079.
ICPR-v1-2000-KimKLK #image #reliability: Stitching Reliability for Estimating Camera Focal Length in Panoramic Image Mosaicing (HSK, HCK, WKL, CHK), pp. 1596–1599.
ICPR-v3-2000-SugiyamaA #detection #reliability: 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 #reliability #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++ #reliability: Constructing Reliable C++ Classes [Abstract] (JK), pp. 501–504.
SAC-2000-Armstrong #email #reliability: Increasing the Reliability of Email Services (JLA), pp. 627–632.
FoSE-2000-LittlewoodS00b #dependence #reliability #roadmap: Software reliability and dependability: a roadmap (BL, LS), pp. 175–188.
FSE-2000-BehrendsS #approach #composition #concurrent #reliability #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 #reliability #tutorial: Software reliability (tutorial session): basic concepts and assessment methods (BL, LS), p. 831.
ICSE-2000-LittlewoodS00a #assessment #design #fault #fault tolerance #reliability #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 #reliability #state of the art: Producing more reliable software: mature software engineering process vs. state-of-the-art technology? (JCW), pp. 88–93.
ASPLOS-2000-BhoedjangVRBH #communication #design #network #performance #reliability: Evaluating Design Alternatives for Reliable Communication on High-Speed Networks (RB, KV, TR, HEB, RFHH), pp. 71–81.
OSDI-2000-JannottiGJKO #multi #named #network #reliability: Overcast: Reliable Multicasting with an Overlay Network (JJ, DKG, KLJ, MFK, JOJ), pp. 197–212.
ISSTA-2000-FranklD #branch #case study #comparison #data flow #reliability #testing: Comparison of delivered reliability of branch, data flow and operational testing: A case study (PGF, YD), pp. 124–134.
DAC-1999-TanSLLY #linear #network #optimisation #sequence: Reliability-Constrained Area Optimization of VLSI Power/Ground Networks via Sequence of Linear Programmings (XDT, CJRS, DL, JCL, LPY), pp. 78–83.
ICSM-1999-DefamieJT #experience #reliability: Experience Paper: Software Reliability: Assumptions, Realities and Data (MD, PJ, JT), pp. 337–345.
SIGAda-1999-Gilchrist #ada: Attitudes to Ada in the UK high-reliability software sector (plenary session) (IG), p. 221.
EDOC-1999-OrvalhoFB #corba #multi #protocol #reliability: Evaluating light-weight reliable multicast protocol extensions to the CORBA event service (JO, LF, FB), pp. 255–261.
SAC-1999-DumitrescuL #coordination #matrix #performance #reliability: Reliable and Efficient Matrix Processing with the Specification-Consistent Coordination Model (RAD, EFAL), pp. 191–193.
ICSE-1999-CookD #component #reliability: Highly Reliable Upgrading of Components (JEC, JAD), pp. 203–212.
ICSE-1999-Rosenberg #modelling #named #reliability #tutorial: Tutorial: A Quick Introduction to Software Reliability Modeling (JR), p. 689.
HPCA-1999-HuYN #named #reliability: RAPID-Cache — A Reliable and Inexpensive Write Cache for Disk I/O Systems (YH, QY, TN), pp. 204–213.
HPDC-1999-VogelsRB #concept #distributed #reliability: Six Misconceptions about Reliable Distributed Computing (WV, RvR, KPB), pp. 213–215.
SOSP-1999-LiuKRHHBC #communication #component #reliability: Building reliable, high-performance communication systems from components (XL, CK, RvR, JH, MH, KPB, RLC), pp. 80–92.
DAC-1998-MalkaZ #analysis #debugging #design #estimation #reliability #statistics: Design Reliability — Estimation through Statistical Analysis of Bug Discovery Data (YM, AZ), pp. 644–649.
PODS-1998-GradelGH #complexity #query #reliability: The Complexity of Query Reliability (EG, YG, CH), pp. 227–234.
ICSM-1998-Schneidewind #maintenance #off the shelf #reliability: Methods for Assessing COTS Reliability, Maintainability, and Availability (NFS), p. 224–?.
FM-1998-MargariaG #approach #flexibility #process #reliability: Flexible and Reliable Process Model Properties: An Integrated Approach (TMS, VG), pp. 213–227.
EDOC-1998-VogelsDPCP #enterprise #reliability #tool support: Quintet, tools for reliable enterprise computing (WV, DD, MP, KC, JP), pp. 274–280.
KDD-1998-Suzuki #database #evaluation #reliability: Simultaneous Reliability Evaluation of Generality and Accuracy for Rule Discovery in Databases (ES), pp. 339–343.
SIGIR-1998-Zobel #how #information retrieval #question #reliability #scalability: How Reliable Are the Results of Large-Scale Information Retrieval Experiments? (JZ), pp. 307–314.
SAC-1998-RussellH #communication #kernel #performance #reliability: Efficient kernel support for reliable communication (RDR, PJH), pp. 541–550.
LCTES-1998-GeorgeM #multi #protocol #reliability: A Uniform Reliable Multicast Protocol with Guaranteed Response Times (LG, PM), pp. 65–82.
ISSTA-1998-MitchellZ #empirical #reliability #testing: An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing (BM, SJZ), pp. 32–41.
ICDAR-1997-OgierMLL #analysis #image #reliability #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 #reliability: Integrating Reliable Memory in Databases (WTN, PMC), pp. 76–85.
ICSM-2000-Schneidewind #maintenance #metric #process #reliability #using: Measuring and evaluating maintenance process using reliability, risk, and test metrics (NFS), p. 232–?.
TRI-Ada-1997-KaiserP #case study #implementation #reliability #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.
EDOC-1997-IidaK #communication #corba #evaluation #reliability: Evaluation of a Method for Reliable Message Transfer Communication in CORBA (KI, JK), pp. 104–110.
KDD-1997-Suzuki #exception #reliability: Autonomous Discovery of Reliable Exception Rules (ES), pp. 259–262.
TOOLS-ASIA-1997-WangZ #architecture #distributed #reliability: An Architecture for Building Reliable Distributed Object-Based Systems (LW, WZ), pp. 260–265.
SAC-1997-MostafaS #collaboration #multi #protocol #reliability: A reliable multicast session protocol for collaborative continuous-feed applications (WM, MS), pp. 35–39.
ICSE-1997-FranklHLS #reliability #testing: Choosing a Testing Method to Deliver Reliability (PGF, RGH, BL, LS), pp. 68–78.
ICSE-1997-Musa #testing #tutorial: Software-Reliability-Engineered Testing Practice (Tutorial) (JDM), pp. 628–629.
ICSE-1997-PodgurskiW #maintenance #reliability: Re-estimation of Software Reliability After Maintenance (AP, EJW), pp. 79–85.
DAC-1996-ChengTDRK #named #reliability: 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 #reliability: Electromigration Reliability Enhancement via Bus Activity Distribution (AD, RK), pp. 353–356.
DAC-1996-DasguptaK96a #order #reliability: Hot-Carrier Reliability Enhancement via Input Reordering and Transistor Sizing (AD, RK), pp. 819–824.
DAC-1996-TengCRK #reliability: Hierarchical Electromigration Reliability Diagnosis for VLSI Interconnects (CCT, YKC, ER, SMK), pp. 752–757.
FME-1996-Hoare #how #proving #question #reliability: How Did Software Get So Reliable Without Proof? (CARH), pp. 1–17.
CSCW-1996-HallMJPR #collaboration #communication #named #reliability #scalability: Corona: A Communication Service for Scalable, Reliable Group Collaboration Systems (RWH, AGM, FJ, AP, CR), pp. 140–149.
AdaEurope-1996-Schneidewind #modelling #reliability #safety: Reliability Modeling for Safety Critical Software (NFS), pp. 17–37.
ICPR-1996-RudshteinL #recognition #reliability: Quantifying the reliability of feature-based object recognition (AR, ML), pp. 35–39.
SEKE-1996-GokhaleMT #modelling #reliability: Important Milestones in Software Reliability Modeling (SSG, PNM, KST), pp. 345–352.
ECOOP-1996-GarbinatoFG #design #distributed #protocol #reliability: Protocol Classes for Designing Reliable Distributed Environments (BG, PF, RG), pp. 316–343.
ICSE-1996-Hoare #how #proving #reliability: The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract) (CARH), pp. 233–234.
ICSE-1996-MitchellZ #reliability #testing: A Reliability Model Combining Representative and Directed Testing (BM, SJZ), pp. 506–514.
HPDC-1996-MalluhiJ #reliability: Approaches for a Reliable High-Performance Distributed-Parallel Storage System (QMM, WEJ), pp. 500–509.
ISSTA-1996-CallahanM #approach #multi #protocol #reliability #validation #verification: An Approach to Verification and Validation of a Reliable Multicasting Protocol (JRC, TLM), pp. 187–194.
PODS-1995-Rougemont #query #reliability: The Reliability of Queries (MdR), pp. 286–291.
STOC-1995-Karger #approximate #network #polynomial #problem #random #reliability: A randomized fully polynomial time approximation scheme for the all terminal network reliability problem (DRK), pp. 11–17.
AdaEurope-1995-Heitz #ada #automation #c++ #code generation #reliability #reuse #using: Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets (MH), pp. 419–438.
CIKM-1995-ElmagarmidJB #algorithm #mobile #performance #reliability #transaction: An Efficient and Reliable Reservation Algorithm for Mobile Transactions (AKE, JJ, OAB), pp. 90–95.
ICML-1995-EngelsonK #reliability: Distilling Reliable Information From Unreliable Theories (SPE, MK), pp. 218–225.
FSE-1995-Weyuker #assessment #reliability #testing #using: Using the Consequence of Failures for Testing and Reliability Assessment (EJW), pp. 81–91.
EDAC-1994-BartelsKSS #reliability #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.
ICALP-1994-NikolestseasPSY #graph #multi #network #random #reliability: Short Vertex Disjoint Paths and Multiconnectivity in Random Graphs: Reliable Network Computing (SEN, KVP, PGS, MY), pp. 508–519.
TRI-Ada-1994-BellBHKKLMOSTWZ #concept #design #reliability #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.
CIKM-1994-LehmannC #integration #prototype #reliability #semantics #using: The EGG/YOLK Reliability Hierarchy : Semantic Data Integration Using Sorts with Prototypes (FL, AGC), pp. 272–279.
SEKE-1994-AzemB #prolog #reliability #source code: Reliability determination of Prolog programs (AA, FB), pp. 422–429.
DAC-1993-HaqueC #analysis #design #distributed #reliability: Analysis and Reliable Design of ECL Circuits with Distributed RLC Interconnections (MH, SC), pp. 697–701.
DAC-1993-PullelaMP #optimisation #reliability #using: Reliable Non-Zero Skew Clock Trees Using Wire Width Optimization (SP, NM, LTP), pp. 165–170.
ICDAR-1993-StefanoTV #reliability #using: Using entropy for drawing reliable templates (CDS, FT, MV), pp. 345–348.
CSM-1993-AbranR #case study #reliability: Reliability of Function Points Productivity Model for Enhancement Projects (A Field Study) (AA, PNR), pp. 80–87.
ICALP-1993-Blum #approach #reliability #source code: Program Result Checking: A New Approach to Making Programs More Reliable (MB), pp. 1–14.
ICALP-1993-ChlebusDP #network #performance #reliability: Sparse Networks Supporting Efficient Reliable Broadcasting (BSC, KD, AP), pp. 388–397.
HCI-ACS-1993-MacGregor #design #maintenance #reliability: Workstation Designs for Reliability Centered Maintenance Decision Support (DGM), pp. 80–85.
CAiSE-1993-VlachantonisHGDCE #approach #information management #reliability #towards: Towards Reliable Information Systems: The KorSo Approach (NV, RH, MG, GD, SC, HDE), pp. 463–482.
SEKE-1993-AzemBJ #prolog #reliability #source code #testing: Implementation-Oriented Testing and Reliability Determination of Prolog Programs (AA, FB, OJ), pp. 526–533.
ICSE-1993-DalalHK #communication #quality #reliability #safety: Reliable Software and Communication: Software Quality, Reliability, and Safety (SRD, JRH, JRK), pp. 425–435.
HPDC-1993-AmerCCD #multi #partial order #reliability: Partial Order Transport Service for Multimedia Applications: Reliable Service (PDA, TJC, CC, MD), pp. 272–280.
HPDC-1993-TripathiKNTKBDN #distributed #reliability: Reliable Management of Distributed Computations in Nexus (ART, SPK, CN, RT, NMK, VB, KD, TN), pp. 298–305.
CAV-1993-WolperL #detection #reliability: Reliable Hashing without Collosion Detection (PW, DL), pp. 59–70.
ISSTA-1993-HamletV #fault #reliability #testing: Faults on Its Sleeve: Amplifying Software Reliability Testing (RGH, JMV), pp. 89–98.
ICALP-1992-DietzfelbingerGMP #polynomial #reliability: Polynomial Hash Functions Are Reliable (Extended Abstract) (MD, JYG, YM, NP), pp. 235–246.
ASPLOS-1992-BakerADOS #file system #memory management #performance #reliability: Non-Volatile Memory for Fast, Reliable File Systems (MB, SA, ED, JKO, MIS), pp. 10–22.
DAC-1991-YountS #design #named #reliability: SIDECAR: Design Support for Reliability (CRY, DPS), pp. 199–204.
ICSE-1991-CarusoD #information management #reliability: Integrating Prior Knowledge with a Software Reliability Growth Model (JMC, DWD), pp. 238–245.
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.
TAV-1991-Podgurski #algorithm #reliability: Reliability, Sampling, and Algorithmic Randomness (AP), pp. 11–20.
SIGMOD-1990-BreitbartST #multi #reliability #transaction: Reliable Transaction Management in a Multidatabase System (YB, AS, GRT), pp. 215–224.
VLDB-1990-GrayHW #array #low cost #reliability #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 #reliability #testing: Application of Software Reliability Modeling to Product Quality and Test Process (WKE, JPS, JRW), pp. 108–116.
DAC-1989-Chowdhury #design #graph #network #reliability: Optimum Design of Reliable IC Power Networks Having General Graph Topologies (SC), pp. 787–790.
DAC-1989-OgiharaMYM #effectiveness #generative #named #reliability #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.
ICSE-1989-NakagawaH #complexity #fault #metric #reliability: An Error Complexity Model for Software Reliability Measurement (YN, SH), pp. 230–236.
ICSE-1989-OhbaC #debugging #question #reliability: Does Imperfect Debugging Affect Software Reliability Growth? (MO, XMC), pp. 237–244.
DAC-1988-BurchNYH #analysis #estimation #independence #reliability: Pattern-Independent Current Estimation for Reliability Analysis of CMOS Circuits (RB, FNN, PY, DEH), pp. 294–299.
ML-1988-Etzioni #approach #learning #reliability: Hypothesis Filtering: A Practical Approach to Reliable Learning (OE), pp. 416–429.
ECOOP-1988-ParringtonS #concurrent #implementation #object-oriented #reliability: Implementing Concurrency Control in Reliable Object-Oriented Systems (GDP, SKS), pp. 233–249.
ICSE-1987-EhrlichE #modelling #reliability #testing: Modeling Software Failures and Reliability Growth During System Testing (WKE, TJE), pp. 72–82.
VLDB-1986-CheineyFMT #clustering #multi #reliability #using: A Reliable Backend Using Multiattribute Clustering and Select-Join Operator (JPC, PF, RM, JMT), pp. 220–227.
PODS-1985-PapadimitriouY #complexity #concurrent #reliability: The Complexity of Reliable Concurrency Control (CHP, MY), pp. 230–234.
STOC-1985-GacsR #3d #array #realtime #reliability: A Simple Three-Dimensional Real-Time Reliable Cellular Array (PG, JHR), pp. 388–395.
SOSP-1985-OkiLS #reliability: Reliable Object Storage to Support Atomic Actions (BMO, BL, RS), pp. 147–159.
SOSP-1985-SpectorDDEP #distributed #reliability #transaction: Distributed Transactions for Reliable Systems (AZS, DSD, DD, JLE, RFP), pp. 127–146.
PODS-1984-GrahamGS #database #reliability #scheduling #transaction: Reliable Scheduling of Database Transactions for Unreliable Systems (MHG, NDG, BST), pp. 300–310.
ICSE-1984-Moawad #comparison #concurrent #modelling #reliability: Comparison of Concurrent Software Reliability Models (RM), pp. 222–229.
ICSE-1984-MusaO #execution #metric #reliability: A Logarithmic Poisson Execution Time Model for Software Reliability Measurement (JDM, KO), pp. 230–238.
PODS-1983-Hadzilacos #database #reliability: An Operational Model for Database System Reliability (VH), pp. 244–257.
STOC-1983-Gacs #automaton #reliability: Reliable Computation with Cellular Automata (PG), pp. 32–41.
SOSP-1983-PowellP #communication #named #reliability: PUBLISHING: A Reliable Broadcast Communication Mechanism (MLP, DLP), pp. 100–109.
ICSE-1982-PotierAFB #complexity #reliability: Experiments with Computer Software Complexity and Reliability (DP, JLA, RF, AB), pp. 94–103.
ILPC-1982-Bruynooghe82a #prolog #reliability #source code: Adding Redundancy to Obtain more Reliable and Readable Prolog Programs (MB), pp. 129–133.
VLDB-1981-Borr #distributed #monitoring #reliability #transaction: Transaction Monitoring in ENCOMPASS: Reliable Distributed Transaction Processing (AJB), pp. 155–165.
ICSE-1981-RichardsonC #analysis #reliability: A Partition Analysis Method to Increase Program Reliability (DJR, LAC), pp. 244–253.
SOSP-1981-PopekWCERT #distributed #named #network #reliability: LOCUS — A Network Transparent, High Reliability Distributed System (GJP, BJW, JMC, DAE, CSK, GR, GT), pp. 169–177.
SOSP-1981-Svobodova #distributed #object-oriented #reliability #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 #reliability: On the Design of a Reliable Storage Component for Distributed Database Management Systems (DAM, OEL), pp. 365–375.
ICSE-1979-Laventhal #approach #reliability: A Constructive Approach to Reliable Synchronization Code (MSL), pp. 194–202.
ICSE-1979-Rault #approach #reliability #towards: France on An Approach Towards Reliable Software (JCR), pp. 220–230.
ICSE-1978-GainerKKM #design #reliability: The Design of a Reliable Applications System (EG, EK, AAK, AM), pp. 132–135.
ICSE-1978-HamiltonM #reliability: Measuring Reliability of Computer Center Software (PAH, JDM), pp. 29–36.
ICSE-1978-Littlewood #how #reliability: How to Measure Software Reliability, and How Not To (BL), pp. 37–45.
ICSE-1978-Miyamoto #effectiveness #evaluation #reliability #towards: Toward an Effective Software Reliability Evaluation (IM), pp. 46–55.
DAC-1976-Freeman #bibliography #design #reliability: Software reliability and design: A survey (PF), pp. 484–494.
ICSE-1976-AndersonK #reliability: Recovery Blocks in Action: A System Supporting High Reliability (TA, RK), pp. 447–457.
ICSE-1976-Denning #flexibility #reliability: Sacificing the Calf of Flexibility on the Altar of Reliability (PJD), pp. 384–386.
ICSE-1976-LewT #programming #reliability: Decision Table Programming and Reliability (AL, DT), pp. 345–349.
ICSE-1976-PimontR #analysis #assessment #behaviour #reliability #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 #reliability: On Reliable Topologies for Computer Networks (IR), pp. 263–267.
ICSE-1976-Shooman #modelling #predict #reliability: Structural Models for Software Reliability Prediction (MLS), pp. 268–280.