BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
reliability
Google reliability

Tag #reliability

598 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.