BibSLEIGH — fault tolerance tag

fault tolerance

fault tolerance

Tag #fault tolerance

328 papers:

ASPLOS-2020-KatsarakisGKJDG #named #performance #protocol #replication: Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol (AK, VG, MRSK, AJ, AD, BG, VN), pp. 201–217.
ICML-2019-QiaoAZX #machine learning: Fault Tolerance in Iterative-Convergent Machine Learning (AQ, BA, BZ, EPX), pp. 5220–5230.
ICML-2019-XieKG #distributed #named #probability: Zeno: Distributed Stochastic Gradient Descent with Suspicion-based Fault-tolerance (CX, SK, IG), pp. 6893–6901.
ICML-2019-ZhuSLHB #graph #learning: Improved Dynamic Graph Learning through Fault-Tolerant Sparsification (CJZ, SS, KyL, SH, JB), pp. 7624–7633.
OOPSLA-2019-MogkDSM #distributed #interactive #programming: A fault-tolerant programming model for distributed interactive applications (RM, JD, GS, MM), p. 29.
CASE-2019-WuPZ #algorithm #heuristic #network: A heuristic pathfinding algorithm for dynamic fault tolerance in manufacturing networks (YW, GP, HZ), pp. 1580–1585.
CAV-2019-GiannarakisBMW #network #performance #refinement #verification: Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement (NG, RB, RM, DW), pp. 305–323.
ICFP-2018-Perez #functional #programming: Fault tolerant functional reactive programming (functional pearl) (IP0), p. 30.
ECOOP-2018-MogkBSFM #distributed #programming: Fault-tolerant Distributed Reactive Programming (RM, LB, GS, BF, MM), p. 26.
OOPSLA-2018-BostonGC #execution #hardware #modelling #named #programmable #verification: Leto: verifying application-specific hardware fault tolerance with programmable execution models (BB, ZG, MC), p. 30.
ESOP-2018-RahliVVV #coq #named #protocol: Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq (VR, IV, MV, PJEV), pp. 619–650.
CIKM-2017-DingLHM #performance #recommendation #using: Efficient Fault-Tolerant Group Recommendation Using alpha-beta-core (DD, HL, ZH0, NM), pp. 2047–2050.
POPL-2017-KonnovLVW #algorithm #distributed #liveness #safety #verification: A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (IVK0, ML, HV, JW), pp. 719–734.
VMCAI-2017-KonnovWSS #abstraction #algorithm #distributed: Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms (IVK0, JW, FS, LS), pp. 347–366.
AdaEurope-2016-GabsiZJ #reliability: Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance (WG, BZ, MJ), pp. 129–144.
POPL-2016-DragoiHZ #algorithm #distributed #named: PSync: a partially synchronous language for fault-tolerant distributed algorithms (CD, TAH, DZ), pp. 400–415.
QoSA-2015-AlzahraniP #aspect-oriented #modelling #reuse: Modeling Fault Tolerance Tactics with Reusable Aspects (NAMA, DCP), pp. 43–52.
SIGMOD-2015-SalamaBKZ #cost analysis #parallel: Cost-based Fault-tolerance for Parallel Data Processing (AS, CB, TK, EZ), pp. 285–297.
VLDB-2015-WangBH #datalog #evaluation #recursion: Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines (JW, MB, DH), pp. 1542–1553.
CASE-2015-ShinarTG #robust: Fault-tolerant robust capture zone with respect to two faults (JS, VT, VYG), pp. 1036–1041.
CASE-2015-ZakharovZYJ #algorithm #configuration management #distributed #optimisation #performance #predict: A performance optimization algorithm for controller reconfiguration in fault tolerant distributed model predictive control (AZ, EZ, MY, SLJJ), pp. 886–891.
DAC-2015-PalerD #quantum: An introduction into fault-tolerant quantum computing (AP, SJD), p. 6.
DATE-2015-HanFNQ #energy #multi #platform #scheduling: Energy minimization for fault tolerant scheduling of periodic fixed-priority applications on multiprocessor platforms (QH, MF, LN, GQ), pp. 830–835.
DATE-2015-NowosielskiGBVB #design #named: FLINT: layout-oriented FPGA-based methodology for fault tolerant ASIC design (RN, LG, SB, GPV, HB), pp. 297–300.
PDP-2015-Danilecki #delivery #order: Marching Band: Fault-Tolerance with Replicable Message Delivery Order (AD), pp. 43–47.
PDP-2015-SchleyR: Fault Tolerant Routing for Hierarchically Organized Networks-on-Chip (GS, MR), pp. 379–386.
PDP-2015-SilveiraMCBFM #configuration management #performance #preprocessor: Preprocessing of Scenarios for Fast and Efficient Routing Reconfiguration in Fault-Tolerant NoCs (JS, CAMM, PC, GCB, JMF, RM), pp. 404–411.
TACAS-2015-DemasiCRMA #named #source code #specification: syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications (RD, PFC, NR, TSEM, NA), pp. 188–193.
VLDB-2014-ZhangLTYTX #internet #named #resource management #scheduling: Fuxi: a Fault-Tolerant Resource Management and Job Scheduling System at Internet Scale (ZZ, CL, YT, RY, HT, JX), pp. 1393–1404.
ICALP-v2-2014-ChalopinDLP #network: Fault-Tolerant Rendezvous in Networks (JC, YD, AL, AP), pp. 411–422.
SEFM-2014-BeckerSAB #analysis #constraints #deployment #formal method: A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems (KB, BS, MA, CB), pp. 205–219.
SFM-2014-GmeinerKSVW #algorithm #distributed #model checking #tutorial: Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (AG, IK, US, HV, JW), pp. 122–171.
AdaEurope-2014-LopatkinR #development: Rigorous Development of Fault-Tolerant Systems through Co-refinement (IL, AR), pp. 11–26.
SAC-2014-Guimaraes #architecture #composition #distributed: A fault-tolerant architecture for decentralized compositions of services in the wild (FPG), pp. 1255–1256.
DAC-2014-GottschoBDNG #capacity #energy #scalability: Power / Capacity Scaling: Energy Savings With Simple Fault-Tolerant Caches (MG, AB, ND, AN, PG), p. 6.
DAC-2014-HuangYT #on the #scheduling: On the Scheduling of Fault-Tolerant Mixed-Criticality Systems (PH, HY, LT), p. 6.
DAC-2014-KangYKBHT: Static Mapping of Mixed-Critical Applications for Fault-Tolerant MPSoCs (SHK, HY, SK, IB, SH, LT), p. 6.
DAC-2014-RenMRZ #network #using: Fault-tolerant Routing for On-chip Network Without Using Virtual Channels (PR, QM, XR, NZ), p. 6.
DATE-2014-FarbehM #architecture #low cost #memory management #named: PSP-Cache: A low-cost fault-tolerant cache memory architecture (HF, SGM), pp. 1–4.
DATE-2014-GaoGWP #energy #fault #framework #in the cloud #scheduling: An energy-aware fault tolerant scheduling framework for soft error resilient cloud computing systems (YG, SKG, YW, MP), pp. 1–6.
DATE-2014-ImhofW #architecture: Bit-Flipping Scan — A unified architecture for fault tolerance and offline test (MEI, HJW), pp. 1–6.
DATE-2014-KauerSGCA #distributed #embedded #synthesis #verification: Fault-tolerant control synthesis and verification of distributed embedded systems (MK, DS, DG, SC, AMA), pp. 1–6.
DATE-2014-PalerDNP #quantum: Software-based Pauli tracking in fault-tolerant quantum circuits (AP, SJD, KN, IP), pp. 1–4.
HPCA-2014-DiTomasoKL #architecture #named #power management: QORE: A fault tolerant network-on-chip architecture with power-efficient quad-function channel (QFC) buffers (DD, AKK, AL), pp. 320–331.
HPDC-2014-BestaH #memory management #modelling #programming: Fault tolerance for remote memory access programming models (MB, TH), pp. 37–48.
PDP-2014-GarzonGGLD #named #performance: FT-RUFT: A Performance and Fault-Tolerant Efficient Indirect Topology (DBG, CGR, MEG, PL, JD), pp. 405–409.
STOC-2014-Solomon #metric: From hierarchical partitions to hierarchical covers: optimal fault-tolerant spanners for doubling metrics (SS), pp. 363–372.
WRLA-2014-SunM #specification: Formal Specification of Button-Related Fault-Tolerance Micropatterns (MS, JM), pp. 263–279.
CBSE-2013-YusufS #design pattern: Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings (IIY, HWS), pp. 121–130.
SIGMOD-2013-AnanthanarayananBDGJQRRSV #data type #named #scalability: Photon: fault-tolerant and scalable joining of continuous data streams (RA, VB, SD, AG, HJ, TQ, AR, DR, MS, SV), pp. 577–588.
SIGMOD-2013-FernandezMKP #using: Integrating scale out and fault tolerance in stream processing using operator state management (RCF, MM, EK, PP), pp. 725–736.
VLDB-2013-AkidauBBCHLMMNW #internet #named: MillWheel: Fault-Tolerant Stream Processing at Internet Scale (TA, AB, KB, SC, JH, RL, SM, DM, PN, SW), pp. 1033–1044.
ICSM-2013-Kwon #automation #distributed #energy #execution #re-engineering: Automated S/W Reengineering for Fault-Tolerant and Energy-Efficient Distributed Execution (YWK), pp. 582–585.
IFM-2013-DemasiCMA #simulation: Characterizing Fault-Tolerant Systems by Means of Simulation Relations (RD, PFC, TSEM, NA), pp. 428–442.
POPL-2013-RamalingamV: Fault tolerance via idempotence (GR, KV), pp. 249–262.
ASE-2013-Demasi #logic #source code #specification: Synthesizing fault-tolerant programs from deontic logic specifications (RD), pp. 750–753.
SAC-2013-MartinsLSN #framework #middleware #platform #realtime: Stheno, a real-time fault-tolerant P₂P middleware platform for light-train systems (RM, LMBL, FMAS, PN), pp. 431–438.
ASPLOS-2013-KadavRS #fine-grained #using: Fine-grained fault tolerance using device checkpoints (AK, MJR, MMS), pp. 473–484.
CASE-2013-McInroy #robust: Robustly fault tolerant Gough-Stewart platforms (JEM), pp. 38–44.
DATE-2013-AmpaduZS #energy #manycore: Breaking the energy barrier in fault-tolerant caches for multicore systems (PA, MZ, VS), pp. 731–736.
DATE-2013-BanaiyanMofradDG #analysis #distributed #modelling: Modeling and analysis of fault-tolerant distributed memories for networks-on-chip (AB, ND, GG), pp. 1605–1608.
DATE-2013-EbrahimiDP #3d #algorithm #using: Fault-tolerant routing algorithm for 3D NoC using Hamiltonian path strategy (ME, MD, JP), pp. 1601–1604.
DATE-2013-GaoGB #scheduling #using: Using explicit output comparisons for fault tolerant scheduling (FTS) on modern high-performance processors (YG, SKG, MAB), pp. 927–932.
DATE-2013-MushtaqAB #approach #manycore #performance #platform: Efficient software-based fault tolerance approach on multicore platforms (HM, ZAA, KB), pp. 921–926.
DATE-2013-RienerFF: Improving fault tolerance utilizing hardware-software-co-synthesis (HR, SF, GF), pp. 939–942.
DATE-2013-WachterEAM: Topology-agnostic fault-tolerant NoC routing method (EW, AE, AMA, FM), pp. 1595–1600.
DATE-2013-WangJSZ #framework #scheduling: A work-stealing scheduling framework supporting fault tolerance (YW, WJ, FS, QZ), pp. 695–700.
PDP-2013-EbrahimiDP #algorithm #manycore #performance: High Performance Fault-Tolerant Routing Algorithm for NoC-Based Many-Core Systems (ME, MD, JP), pp. 462–469.
PPoPP-2013-Chen #algorithm #detection #fault #named #online: Online-ABFT: an online algorithm based fault tolerance scheme for soft error detection in iterative methods (ZC), pp. 167–176.
PPoPP-2013-DiouriGLC #energy #protocol #towards: Towards an energy estimator for fault tolerance protocols (MeMD, OG, LL, FC), pp. 313–314.
PPoPP-2013-LifflanderMK #detection #protocol #termination: Adoption protocols for fanout-optimal fault-tolerant termination detection (JL, PM, LVK), pp. 13–22.
SOSP-2013-ZahariaDLHSS #scalability #streaming: Discretized streams: fault-tolerant streaming computation at scale (MZ, TD, HL, TH, SS, IS), pp. 423–438.
SIGMOD-2012-ShuteOEHRSVWCJLT #distributed #named: F1: the fault-tolerant distributed RDBMS supporting google’s ad business (JS, MO, SE, BH, ER, BS, RV, CW, XC, BJ, KL, PT), pp. 777–778.
ICALP-v1-2012-ChanLN #bound #metric: Sparse Fault-Tolerant Spanners for Doubling Metrics with Bounded Hop-Diameter or Degree (THHC, ML, LN), pp. 182–193.
ICALP-v2-2012-ChandranGO #network: Edge Fault Tolerance on Sparse Networks (NC, JAG, RO), pp. 452–463.
SEKE-2012-FitchX #petri net: A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage (DFF, HX), pp. 333–339.
MoDELS-2012-Wu0SZ #component #modelling: Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System (YW, GH, HS, YZ), pp. 514–530.
SAC-2012-ReisM #named: FTRMI: fault-tolerant transparent RMI (DR, HMM), pp. 511–518.
SAC-2012-TeymooriKY #network #realtime: A real-time data aggregation method for fault-tolerant wireless sensor networks (PT, MK, NY), pp. 605–612.
CGO-2012-ZhangGHLMA #runtime: Runtime asynchronous fault tolerance via speculation (YZ, SG, JH, JWL, SAM, DIA), pp. 145–154.
DAC-2012-HuangHRBK #detection #embedded #towards: Towards fault-tolerant embedded systems with imperfect fault detection (JH, KH, AR, CB, AK), pp. 188–196.
HPDC-2012-KutluAK #algorithm #data-driven #parallel: Fault tolerant parallel data-intensive algorithms (MK, GA, OK), pp. 133–134.
PDP-2012-MakassikisVW #approach #named #parallel #towards: FT-GReLoSSS: A Skeletal-Based Approach towards Application Parallelization and Low-Overhead Fault Tolerance (CM, SV, XW), pp. 237–244.
PPoPP-2012-DuBBHD #matrix: Algorithm-based fault tolerance for dense matrix factorizations (PD, AB, GB, TH, JD), pp. 225–234.
QoSA-ISARCS-2011-BroschBKR #architecture #predict #reliability: Reliability prediction for fault-tolerant software architectures (FB, BB, HK, RHR), pp. 75–84.
QoSA-ISARCS-2011-YusufSP #architecture #grid: Architecture-based fault tolerance support for grid applications (IIY, HWS, IDP), pp. 177–182.
SIGMOD-2011-UpadhyayaKB #latency #online #parallel #query: A latency and fault-tolerance optimizer for online parallel query plans (PU, YK, MB), pp. 241–252.
ICALP-v2-2011-Chechik #graph: Fault-Tolerant Compact Routing Schemes for General Graphs (SC), pp. 101–112.
SEFM-2011-CastroKAA #branch #logic #named #verification: dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification (PFC, CK, AA, NA), pp. 106–121.
SAC-2011-AhnAHS #component #framework: Fault tolerant framework and techniques for component-based autonomous robot systems (HA, SCA, JH, SYS), pp. 566–572.
SAC-2011-ManyD #analysis #evaluation #scheduling: Fault tolerance evaluation and schedulability analysis (FM, DD), pp. 729–734.
DAC-2011-LungSHSC #3d #network: Fault-tolerant 3D clock network (CLL, YSS, SHH, YS, SCC), pp. 645–651.
DAC-2011-TsaiZCH #bidirectional #using: A fault-tolerant NoC scheme using bidirectional channel (WCT, DYZ, SJC, YHH), pp. 918–923.
DATE-2011-ChaixAZN #adaptation #concurrent: A fault-tolerant deadlock-free adaptive routing for on chip interconnects (FC, DA, NEZ, MN), pp. 909–912.
DATE-2011-HaronH #hybrid #low cost: Cost-efficient fault-tolerant decoder for hybrid nanoelectronic memories (NZH, SH), pp. 265–268.
DATE-2011-KlobedanzK0 #approach #configuration management #network: A reconfiguration approach for fault-tolerant FlexRay networks (KK, AK, WM), pp. 82–87.
PDP-2011-AliKGP #approach #communication #modelling #programming #scalability: A Redundant Communication Approach to Scalable Fault Tolerance in PGAS Programming Models (NA, SK, NG, BJP), pp. 24–31.
PDP-2011-GaltierMV #distributed #framework #performance: A Javaspace-Based Framework for Efficient Fault-Tolerant Master-Worker Distributed Applications (VG, CM, SV), pp. 272–276.
PDP-2011-YangSMKS #protocol: Comparing and Refining Gossip Protocols for Fault Tolerance in Wireless P2P Systems (JY, TS, CM, DK, KUS), pp. 595–599.
VMCAI-2011-ChengRKB #embedded #game studies #synthesis #theory and practice #using: Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (CHC, HR, AK, CB), pp. 118–133.
ICALP-v2-2010-ChandranGO #network: Improved Fault Tolerance and Secure Computation on Sparse Networks (NC, JAG, RO), pp. 249–260.
SIGAda-2010-LiYBWZL #ada #manycore #monitoring: Extending Ada to support multi-core based monitoring and fault tolerance (YL, LY, LB, LW, JZ, XL), pp. 53–62.
SAC-2010-SchutzC #approach #hybrid #multi #network #optimisation: A multi-objective optimization approach for fault-tolerance provisioning in multi-radio hybrid wireless-optical broadband access networks (GS, NSCC), pp. 635–640.
SAC-2010-YiKMKS #adaptation #named #reliability: ART: adaptive, reliable, and fault-tolerant task management for computational grids (SY, JYK, HM, BK, COS), pp. 238–239.
DAC-2010-ThomptoH #verification: Verification for fault tolerance of the IBM system z microprocessor (BWT, BH), pp. 525–530.
DATE-2010-LiuLW #energy #performance #realtime #scheduling: Scheduling for energy efficiency and fault tolerance in hard real-time systems (YL, HL, KW), pp. 1444–1449.
DATE-2010-SubramanyanSSL #execution #multi #performance: Multiplexed redundant execution: A technique for efficient fault tolerance in chip multiprocessors (PS, VS, KKS, EL), pp. 1572–1577.
ESOP-2010-MeolaW #logic #reasoning #source code: Faulty Logic: Reasoning about Fault Tolerant Programs (MLM, DW), pp. 468–487.
CBSE-2009-LiCHMC #component #model checking: Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support (JL, XC, GH, HM, FC), pp. 69–86.
WICSA-ECSA-2009-BritoRL #architecture #verification: Verifying architectural variabilities in software fault tolerance techniques (PHSB, CMFR, RdL), pp. 231–240.
LATA-2009-GlasserPT #np-hard #problem: The Fault Tolerance of NP-Hard Problems (CG, AP, SDT), pp. 374–385.
FM-2009-JeffordsHAL #composition #formal method #refinement #using: A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition (RDJ, CLH, MA, EIL), pp. 173–189.
KDD-2009-PoernomoG09a #mining #performance #towards: Towards efficient mining of proportional fault-tolerant frequent itemsets (AKP, VG), pp. 697–706.
SIGAda-2009-DinhB #design pattern #distributed: Distributed container: a design pattern for fault tolerance and high speed data exchange (TD, SB), pp. 115–118.
ASE-2009-MunkbyS #predict #type inference: Type Inference for Soft-Error Fault-Tolerance Prediction (GM, SS), pp. 65–75.
CGO-2009-YuGS #named: ESoftCheck: Removal of Non-vital Checks for Fault Tolerance (JY, MJG, MS), pp. 35–46.
DAC-2009-FeySD #bound #using: Computing bounds for fault tolerance using formal techniques (GF, AS, RD), pp. 190–195.
DATE-2009-FickDCBSB #algorithm: A highly resilient routing algorithm for fault-tolerant NoCs (DF, AD, GKC, VB, DS, DB), pp. 21–26.
DATE-2009-IzosimovPPEP #analysis #embedded #optimisation: Analysis and optimization of fault-tolerant embedded systems with hardened processors (VI, IP, PP, PE, ZP), pp. 682–687.
DATE-2009-VayrynenSL #execution #multi #optimisation: Fault-tolerant average execution time optimization for general-purpose multi-processor system-on-chips (MV, VS, EL), pp. 484–489.
PDP-2009-BuiFR #distributed: Fully Distributed and Fault Tolerant Task Management Based on Diffusions (AB, OF, CR), pp. 355–360.
PDP-2009-EngelmannVNS #migration #using: Proactive Fault Tolerance Using Preemptive Migration (CE, GV, TN, SLS), pp. 252–257.
PDP-2009-PatooghyM #algorithm #named #network #performance: XYX: A Power & Performance Efficient Fault-Tolerant Routing Algorithm for Network on Chip (AP, SGM), pp. 245–251.
STOC-2009-ChechikLPR #graph: Fault-tolerant spanners for general graphs (SC, ML, DP, LR), pp. 435–444.
TestCom-FATES-2009-NunesHM #automation #data flow #generative #named #testing: OConGraX — Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems (PRFN, SH, ACVdM), pp. 229–234.
ECSA-2008-BritoLR #abstraction #architecture #development: Development of Fault-Tolerant Software Systems Based on Architectural Abstractions (PHSB, RdL, CMFR), pp. 131–147.
VLDB-2008-KwonBG #distributed #file system #using: Fault-tolerant stream processing using a distributed, replicated file system (YK, MB, AGG), pp. 574–585.
ICALP-A-2008-KempeRUW #bound #quantum: Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing (JK, OR, FU, RdW), pp. 845–856.
SEFM-2008-XavierHM #source code #using #verification: Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs (KSX, SH, ACVdM), pp. 181–190.
SEKE-2008-DasguptaEFKSV #design #grid #standard #using: Design of a Fault-tolerant Job-flow Manager for Grid Environments Using Standard Technologies, Job-flow Patterns, and a Transparent Proxy (GD, OE, LF, SK, SMS, BV), pp. 814–819.
SAC-2008-LunaAAB #heuristic #multi #resource management: Dynamic resource allocation heuristics for providing fault tolerance in multi-agent systems (AdLA, SA, JPB), pp. 66–70.
SAC-2008-PaesHY: Extending RUP to develop fault tolerant software (CEdBP, CMH, ETY), pp. 783–790.
SAC-2008-SridharanBRA #architecture #implementation #network: Implementing an autonomic architecture for fault-tolerance in a wireless sensor network testbed for at-scale experimentation (MS, SB, RR, AA), pp. 1670–1676.
SAC-2008-ZengLL #mining: Mining fault-tolerant frequent patterns efficiently with powerful pruning (JJZ, GL, CCL), pp. 927–931.
DAC-2008-ZhangGT #2d #algorithm #configuration management: A reconfigurable routing algorithm for a fault-tolerant 2D-Mesh Network-on-Chip (ZZ, AG, ST), pp. 441–446.
DATE-2008-ElesIPP #embedded #synthesis: Synthesis of Fault-Tolerant Embedded Systems (PE, VI, PP, ZP), pp. 1117–1122.
DATE-2008-GhoshNR #adaptation #novel #using: A Novel Low Overhead Fault Tolerant Kogge-Stone Adder Using Adaptive Clocking (SG, PN, KR), pp. 366–371.
DATE-2008-IzosimovPEP #constraints #embedded #scheduling: Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints (VI, PP, PE, ZP), pp. 915–920.
DATE-2008-NessL #design #statistics: Guiding Circuit Level Fault-Tolerance Design with Statistical Methods (DCN, DJL), pp. 348–353.
DATE-2008-RaoO #parallel #towards: Towards fault tolerant parallel prefix adders in nanoelectronic systems (WR, AO), pp. 360–365.
DATE-2008-SterponeATG #design #on the #safety: On the design of tunable fault tolerant circuits on SRAM-based FPGAs for safety critical applications (LS, MAA, JNT, HGM), pp. 336–341.
HPDC-2008-HupfeldKSHCMM #named #scalability: FaTLease: scalable fault-tolerant lease negotiation with paxos (FH, BK, JS, MH, TC, JM, JM), pp. 1–10.
HPDC-2008-RamakrishnanR #modelling #scheduling #workflow: Performability modeling for scheduling and fault tolerance strategies for scientific workflows (LR, DAR), pp. 23–34.
HPDC-2008-ShiPRJJ #adaptation #grid #named #safety #using: Dynasa: adapting grid applications to safety using fault-tolerant methods (XS, JLP, ER, HJ, HJ), pp. 237–238.
TACAS-2008-FismanKL #distributed #on the #protocol #verification: On Verifying Fault Tolerance of Distributed Protocols (DF, OK, YL), pp. 315–331.
WICSA-2007-MucciniPR #architecture: Architecting Fault Tolerant Systems (HM, PP, AR), p. 43.
SEFM-2007-CastroM #logic #reasoning: An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers (PFC, TSEM), pp. 151–160.
PLDI-2007-PerryMRLAW #assembly: Fault-tolerant typed assembly language (FP, LWM, GAR, JL, DIA, DW), pp. 42–53.
ASE-2007-Ebnenasir: Diconic addition of failsafe fault-tolerance (AE), pp. 44–53.
DATE-2007-AngioliniJABM #design #interactive: Interactive presentation: Improving the fault tolerance of nanometric PLA designs (FA, MHBJ, DA, LB, GDM), pp. 570–575.
DATE-2007-EjlaliARM #energy #network #performance: Joint consideration of fault-tolerance, energy-efficiency and performance in on-chip networks (AE, BMAH, PMR, SGM), pp. 1647–1652.
DATE-2007-RaoOK #interactive #logic: Interactive presentation: Logic level fault tolerance approaches targeting nanoelectronics PLAs (WR, AO, RK), pp. 865–869.
HPCA-2007-LiY #correctness: Application-Level Correctness and its Impact on Fault Tolerance (XL, DY), pp. 181–192.
HPCA-2007-PascualGAD #architecture #protocol: A Low Overhead Fault Tolerant Coherence Protocol for CMP Architectures (RFP, JMG, MEA, JD), pp. 157–168.
HPDC-2007-GadgilFPP #architecture #scalability: Scalable, fault-tolerant management in a service oriented architecture (HG, GF, SP, MEP), pp. 235–236.
HPDC-2007-ZhengVT #replication #scheduling: Fault-tolerant scheduling for differentiated classes of tasks with low replication cost in computational grids (QZ, BV, CKT), pp. 239–240.
PDP-2007-DuarteRL #architecture #functional #testing: Functional Tests of the RADIC Fault Tolerance Architecture (AD, DR, EL), pp. 278–287.
PDP-2007-GonzalezV #on the #parallel #programming #search-based: On the Intrinsic Fault-Tolerance Nature of Parallel Genetic Programming (DLG, FFdV), pp. 450–458.
PDP-2007-MourinoMGD: Fault-tolerant solutions for a MPI compute intensive application (JCM, MJM, PG, RD), pp. 246–253.
PPoPP-2007-TapusH #named #parallel #performance: Speculations: providing fault-tolerance and improving performance of parallel applications (CT, JH), pp. 152–153.
PPoPP-2007-ZhuCA #grid #streaming: Supporting fault-tolerance in streaming grid applications (QZ, LC, GA), pp. 156–157.
SOSP-2007-HendricksGR: Low-overhead byzantine fault-tolerant storage (JH, GRG, MKR), pp. 73–86.
SOSP-2007-KotlaADCW #named: Zyzzyva: speculative byzantine fault tolerance (RK, LA, MD, AC, ELW), pp. 45–58.
ESOP-2007-FrancalanzaH #bisimulation #proving: A Fault Tolerance Bisimulation Proof for Consensus (AF, MH), pp. 395–410.
ICALP-v1-2006-Reichardt #quantum: Fault-Tolerance Threshold for a Distance-Three Quantum Code (BR), pp. 50–61.
EDOC-2006-ZuoLW #transaction: A Fault-Tolerant Scheme for Complex Transaction Patterns in J2EE (LZ, SL, JW), pp. 165–174.
SIGAda-2006-BarbariaPP #middleware: Schizophrenic middleware support for fault tolerance (KB, LP, IP), pp. 51–60.
RE-2006-EbnenasirCK #analysis #case study #modelling: Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance (AE, BHCC, SK), pp. 336–337.
SAC-2006-BessaniFL #named #tuple: BTS: a Byzantine fault-tolerant tuple space (ANB, JdSF, LCL), pp. 429–433.
ASPLOS-2006-ReddyRP #comprehension #predict #thread: Understanding prediction-based partial redundant threading for low-overhead, high- coverage fault tolerance (VKR, ER, SP), pp. 83–94.
CASE-2006-ZhangYZ: Sliding Mode Control with Sensor Fault Tolerant for Electronic Throttle (PZ, CY, JZ), pp. 568–573.
DAC-2006-MuraliABM #delivery #multi #network: A multi-path routing strategy with guaranteed in-order packet delivery and fault-tolerance for networks on chip (SM, DA, LB, GDM), pp. 845–848.
DAC-2006-ZhuQ #multi #prototype #runtime: Prototyping a fault-tolerant multiprocessor SoC with run-time fault recovery (XZ, WQ), pp. 53–56.
DATE-2006-BhaduriSCTGG #analysis #architecture #design #framework #hybrid: A hybrid framework for design and analysis of fault-tolerant architectures (DB, SKS, DC, VET, PSG, MG), pp. 335–336.
DATE-2006-IzosimovPEP #distributed #embedded #performance #synthesis #trade-off: Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems (VI, PP, PE, ZP), pp. 706–711.
DATE-DF-2006-CarvalhoPJF #algorithm #implementation: A practical implementation of the fault-tolerant daisy-chain clock synchronization algorithm on CAN (FCC, CEP, ETSJ, EPdF), pp. 189–194.
HPDC-2006-WoitaszekT: Fault Tolerance of Tornado Codes for Archival Storage (MW, HMT), pp. 83–92.
OSDI-2006-CowlingMLRS #hybrid #protocol #replication: HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance (JAC, DSM, BL, RR, LS), pp. 177–190.
FoSSaCS-2006-FrancalanzaH: A Theory for Observational Fault Tolerance (AF, MH), pp. 16–31.
SIGMOD-2005-BalazinskaBMS #distributed: Fault-tolerance in the Borealis distributed stream processing system (MB, HB, SM, MS), pp. 13–24.
IFM-2005-BostromW #development #distributed #grid #using: Development of Fault Tolerant Grid Applications Using Distributed B (PB, MAW), pp. 167–186.
EDOC-2005-SantosLM #framework #named #web #web service: FTWeb: A Fault Tolerant Infrastructure for Web Services (GTS, LCL, CM), pp. 95–105.
ICEIS-v4-2005-TosicZ: Generic Fault-Tolerant Layer Supporting Publish/Subscribe Messaging (MT, ABZ), pp. 111–118.
AdaEurope-2005-LundqvistSG: Non-intrusive System Level Fault-Tolerance (KL, JS, SG), pp. 156–166.
AdaEurope-2005-RogersW #ada #using: The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95 (PR, AJW), pp. 236–247.
SAC-2005-JafariDBS #adaptation #monitoring: Adaptive and fault tolerant medical vest for life-critical medical monitoring (RJ, FD, PB, MS), pp. 272–279.
SAC-2005-KanedaTET #object-oriented #transaction: Transactional agent model for fault-tolerant object systems (TK, YT, TE, MT), pp. 1133–1138.
SAC-2005-ZorzoM: An agent model for fault-tolerant systems (AFZ, FRM), pp. 60–65.
CGO-2005-ReisCVRA #named: SWIFT: Software Implemented Fault Tolerance (GAR, JC, NV, RR, DIA), pp. 243–254.
DATE-2005-IzosimovPEP #design #distributed #embedded #optimisation: Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems (VI, PP, PE, ZP), pp. 864–869.
DATE-2005-Marculescu #bound #design #energy: Energy Bounds for Fault-Tolerant Nanoscale Designs (DM), pp. 74–79.
DATE-2005-SuC #configuration management #design: Design of Fault-Tolerant and Dynamically-Reconfigurable Microfluidic Biochips (FS, KC), pp. 1202–1207.
HPDC-2005-BatsakisB #clustering: Cluster delegation: high-performance, fault-tolerant data sharing in NFS (AB, RCB), pp. 100–109.
PDP-2005-CalderonCCPS #file system #implementation #parallel #using: A Fault Tolerant MPI-IO Implementation using the Expand Parallel File System (AC, FGC, JC, JMP, LMS), pp. 274–281.
PPoPP-2005-ChenFGLABD #approach #performance: Fault tolerant high performance computing by a coding approach (ZC, GEF, EG, JL, TA, GB, JD), pp. 213–223.
SOSP-2005-Abd-El-MalekGGRW: Fault-scalable Byzantine fault-tolerant services (MAEM, GRG, GRG, MKR, JJW), pp. 59–74.
SOSP-2005-AiyerACDMP: BAR fault tolerance for cooperative services (ASA, LA, AC, MD, JPM, CP), pp. 45–58.
SIGMOD-2004-ShahHB #parallel: Highly-Available, Fault-Tolerant, Parallel Dataflows (MAS, JMH, EAB), pp. 827–838.
SEFM-2004-LaibinisT #architecture #specification: Fault Tolerance in a Layered Architecture: A General Specification Pattern in B (LL, ET), pp. 346–355.
ECIR-2004-Esser #information retrieval #multi: Fault-Tolerant Fulltext Information Retrieval in Digital Multilingual Encyclopedias with Weighted Pattern Morphing (WME), pp. 338–352.
ICPR-v3-2004-HanJ #image #parallel: From Massively Parallel Image Processors to Fault-Tolerant Nanocomputers (JH, PJ), pp. 2–7.
LOPSTR-2004-KulkarniBE #automation #source code #synthesis #verification: Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs (SSK, BB, AE), pp. 36–52.
SAC-2004-Al-SadiA #algorithm #performance #using: Efficient fault-tolerant routing algorithm for OTIS-cube using unsafety vectors (JAS, AMA), pp. 1426–1430.
DAC-2004-ZhangDC #distributed #embedded #energy #realtime: Energy-aware deterministic fault tolerance in distributed real-time embedded systems (YZ, RPD, KC), pp. 550–555.
DATE-v2-2004-HuangTL #programmable: Fault Tolerance of Programmable Switch Blocks (JH, MBT, FL), pp. 1358–1359.
DATE-v2-2004-PinelloCS #deployment #embedded #realtime: Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications (CP, LPC, ALSV), pp. 1164–1169.
DATE-v2-2004-Stanley-MarbellM #adaptation: Local Decisions and Triggering Mechanisms for Adaptive Fault-Tolerance (PSM, DM), pp. 968–973.
DATE-v2-2004-ZhangC #analysis #embedded #realtime #scalability: Task Feasibility Analysis and Dynamic Voltage Scaling in Fault-Tolerant Real-Time Embedded Systems (YZ, KC), pp. 1170–1175.
FATES-2004-ArtsCS #development #erlang #protocol: Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang (TA, KC, HS), pp. 140–154.
SEKE-2003-DingZSA #architecture #specification #validation: Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model (HD, CZ, LS, GA), pp. 458–466.
AdaEurope-2003-Kienzle #overview #perspective: Software Fault Tolerance: An Overview (JK), pp. 45–67.
AdaEurope-2003-Patinno-MartinezJR #transaction: Transactions and Groups as Generic Building Blocks for Software Fault Tolerance (MPM, RJP, ABR), pp. 208–219.
ESEC-FSE-2003-GuerraRRL #architecture: A fault-tolerant software architecture for COTS-based software systems (PAdCG, CMFR, ABR, RdL), pp. 375–378.
ICSE-2003-SmeikalG #case study #distributed: Fault-tolerance in a Distributed Management System: a Case Study (RS, KMG), pp. 478–483.
DAC-2003-LimaCR #design: Designing fault tolerant systems into SRAM-based FPGAs (FL, LC, RAdLR), pp. 650–655.
HPCA-2003-ChristodoulopoulouAB #approach #clustering #memory management #replication: Dynamic Data Replication: An Approach to Providing Fault-Tolerant Shared Memory Clusters (RC, RA, AB), pp. 203–214.
PDP-2003-GarciaCCPF #file system #parallel: A Parallel and Fault Tolerant File System Based on NFS Servers (FG, AC, JC, JMP, JF), p. 83–?.
SOSP-2003-YinMVAD #execution: Separating agreement from execution for byzantine fault tolerant services (JY, JPM, AV, LA, MD), pp. 253–267.
SAC-2002-Al-SadiDO #algorithm #probability: Probability vectors: a new fault-tolerant routing algorithm for k-ary n-cubes (JAS, KD, MOK), pp. 830–834.
SAC-2002-Moreau #mobile #pointer: A fault-tolerant directory service for mobile agents based on forwarding pointers (LM), pp. 93–100.
PDP-2002-YangD #multi #scheduling: A Fault-Tolerant Reservation-Based Strategy for Scheduling Aperiodic Tasks in Multiprocessor Systems (CY, GD), pp. 319–326.
WICSA-2001-Sotirovski #architecture #towards: Towards Fault-tolerant Software Architectures (DMS), pp. 7–13.
RE-2001-GobboM #case study #re-engineering #requirements #specification: Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems (DDG, AM), pp. 236–247.
PDP-2001-DimaGLS #realtime #scheduling: Off-Line Real-Time Fault-Tolerant Scheduling (CD, AG, CL, YS), pp. 410–417.
PDP-2001-FlorioDL #approach: The Recovery Language Approach for Software-Implemented Fault Tolerance (VDF, GD, RL), p. 418–?.
PDP-2001-Latif-ShabgahiBB #algorithm #novel: History-Based Weighted Average Voter: A Novel Software Voting Algorithm for Fault-Tolerant Computer Systems (GLS, JMB, SB), pp. 402–409.
SOSP-2001-RodriguesCL #abstraction #named #using: BASE: Using Abstraction to Improve Fault Tolerance (RR, MC, BL), pp. 15–28.
TOOLS-USA-2000-PolzeSM #automation #generative: Automatic Generation of Fault-Tolerant CORBA-Services (AP, JS, MM), p. 205–?.
ICSE-2000-LittlewoodS00a #assessment #design #fault #reliability #tutorial: Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment (BL, LS), p. 835.
ASPLOS-2000-SundaramoorthyPR #performance: Slipstream Processors: Improving both Performance and Fault Tolerance (KS, ZP, ER), pp. 257–268.
LCTES-2000-JeonKHK #corba #embedded: A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems (GJ, THK, SH, SK), pp. 114–133.
OSDI-2000-CastroL: Proactive Recovery in a Byzantine-Fault-Tolerant System (MC, BL), pp. 273–288.
PDP-2000-BottiFDLCDBKKTV #approach #reuse: The TIRAN approach to reusing software implemented fault tolerance (OB, VDF, GD, RL, FC, SD, AB, AK, HK, EMT, EV), pp. 325–332.
PDP-2000-Rowstron #distributed #memory management #using: Using agent wills to provide fault-tolerance in distributed shared memory systems (AITR), pp. 317–324.
FASE-2000-DondossolaB #formal method #specification: System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches (GD, OB), pp. 82–96.
STOC-2000-DamMMS #quantum #self #set: Self-testing of universal and fault-tolerant sets of quantum gates (WvD, FM, MM, MS), pp. 688–696.
ICEIS-1999-AlexandrovichNC #design #framework #simulation: The Integrated Framework for Fault-Tolerant System Simulation and Design (AEA, RMN, VOC), p. 771.
TOOLS-ASIA-1999-ZhaoCX #framework #object-oriented: An Object-Oriented Developing Framework of Fault-Tolerance System (XZ, DC, LX), pp. 232–238.
AdaEurope-1999-RogersW #incremental: An Incremental RecoveryCache Supporting Sotware Fault Tolerance (PR, AJW), pp. 385–396.
AdaEurope-1999-WolfS #ada #distributed #replication: Fault Tolerance by Transparent Replication for Distributed Ada 95 (TW, AS), pp. 412–424.
ASE-1999-MiliCXA: Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model (AM, BC, TX, RBA), p. 137–?.
SAC-1999-Al-OmariM #using: Fault-Tolerant Routing in Hypercubes Using Masked Interval Routing Scheme (MAO, MM), pp. 481–485.
SAC-1999-CaoD #multi #network: Fault-Tolerant Routing and Multicasting in Butterfly Networks (FC, DZD), pp. 455–460.
HPDC-1999-AgbariaF #clustering #named #source code: Starfish: Fault-Tolerant Dynamic MPI Programs on Clusters of Workstations (AA, RF), pp. 167–176.
HPDC-1999-Weissman #grid #question #what: Fault Tolerant Computing on the Grid: What are My Options? (JBW), pp. 351–352.
OSDI-1999-CastroL: Practical Byzantine Fault Tolerance (MC, BL), pp. 173–186.
PDP-1999-DeconinckTFRLB #embedded #framework #parallel: A framework backbone for software fault tolerance in embedded parallel applications (GD, MT, VDF, WR, RL, RB), pp. 189–195.
CADE-1999-Hickey #distributed #proving #theorem proving: Fault-Tolerant Distributed Theorem Proving (JH), pp. 227–231.
AdaEurope-1998-Patino-MartinezJA #ada #transaction: Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada (MPM, RJP, SA), pp. 78–89.
SIGAda-1998-PinhoV #ada #architecture #multi #named #realtime: Multi-μ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems (LMP, FV), pp. 52–60.
SIGAda-1998-TardieuP #distributed #multi #using: Building Fault Tolerant Distributed Systems Using IP Multicast (ST, LP), pp. 45–51.
ICRE-1998-SchneiderECH #model checking #requirements #using #validation: Validating Requirements for Fault Tolerant Systems using Model Checking (FS, SME, JRC, GJH), pp. 4–13.
PDP-1998-FlorioDTRL #distributed #embedded #hypermedia #injection #monitoring #parallel #source code: A hypermedia distributed application for monitoring and fault-injection in embedded fault-tolerant parallel programs (VDF, GD, MT, WR, RL), pp. 349–355.
PDP-1998-JanikK #algorithm #configuration management #multi #optimisation: An algorithm for optimization of reconfiguration of fault tolerant multiprocessor systems (PJ, MK), pp. 342–348.
STOC-1998-LevcopoulosNS #algorithm #geometry #performance: Efficient Algorithms for Constructing Fault-Tolerant Geometric Spanners (CL, GN, MHMS), pp. 186–195.
ICDAR-1997-WongMX #recognition: A Chinese Bank Check Recognition System Based on the Fault Tolerant Technique (SW, FM, SX), pp. 1038–1042.
EDOC-1997-FujisakiHK #distributed #network #scalability #using: A Scalable Fault-Tolerant Network Management System Built Using Distributed Object Technology (TF, MH, KK), pp. 140–148.
TOOLS-ASIA-1997-Exton #distributed #interface #specification #using: Distributed Fault Tolerance Specification through the use of Interface Definitions (CE), pp. 254–259.
AdaEurope-1997-GuerraMAA #ada #distributed #library: An Ada Library to Program Fault-Tolerant Distributed Applications (FGS, FJMG, AA, SA), pp. 230–243.
TRI-Ada-1997-QuirosGC #approach #distributed #programming: Programming Distributed Fault Tolerant Systems: The replicAda Approach (PdlHQ, JMGB, JCG), pp. 21–29.
PDP-1997-JanikK #multi #optimisation #performance #process: Process performance optimization in fault-tolerant multiprocessor systems after a fault occurrence (PJ, MK), pp. 100–107.
STOC-1997-AharonovB #constant #quantum: Fault-Tolerant Quantum Computation With Constant Error (DA, MBO), pp. 176–188.
SIGMOD-1996-OzdenRSS #architecture: Fault-tolerant Architectures for Continuous Media Servers (BÖ, RR, PJS, AS), pp. 79–90.
FME-1996-SeguinW #approach #category theory #logic #using #validation: Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems (CS, VW), pp. 347–366.
ICPR-1996-FaymanRM #realtime: Real-time active vision with fault tolerance (JAF, ER, DM), pp. 279–283.
AdaEurope-1996-GuerraouiS #distributed #replication: Fault-Tolerance by Replication in Distributed Systems (RG, AS), pp. 38–57.
AdaEurope-1996-MirandaAAG #ada #distributed #named: Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications (FJMG, AA, SA, FGS), pp. 235–246.
TRI-Ada-1996-KermarrecNP #ada #distributed: Providing Fault-Tolerant Services to Distributed Ada 95 Applications (YK, LN, LP), pp. 39–47.
HPCA-1996-ChalasaniB #multi: Fault-Tolerance with Multimodule Routers (SC, RVB), pp. 201–210.
HPCA-1996-Libeskind-HadasWH #multi: Fault-Tolerant Multicast Routing in the Mesh with No Virtual Channels (RLH, KW, TH), pp. 180–190.
PDP-1996-DaliborHH #evaluation #multi: Application-Dependent Performability Evaluation of Fault-Tolerant Multiprocessors (SD, AH, WH), pp. 310–318.
STOC-1996-Ma #network #sorting: An O(n log n)-Size Fault-Tolerant Sorting Network (YM), pp. 266–275.
SIGMOD-1995-BersonGM #design #multi: Fault Tolerant Design of Multimedia Servers (SB, LG, RRM), pp. 364–375.
SIGMOD-1995-Shyy #database #replication: VERSANT Replication: Supporting Fault-Tolerant Object Databases (YMS, HSAY, CPC), pp. 441–442.
AdaEurope-1995-DavidPCC #ada #realtime: Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems (PD, TP, AC, JFC), pp. 21–50.
SAC-1995-BhattM #distributed #process: A front-end process for fault tolerant distributed systems (PB, RAM), pp. 411–414.
HPCA-1995-CunninghamA #2d #adaptation: Fault-Tolerant Adaptive Routing for Two-Dimensional Meshes (CMC, DRA), pp. 122–131.
HPCA-1995-Libeskind-HadasB: Origin-Based Fault-Tolerant routing in the Mesh (RLH, EB), pp. 102–111.
HPDC-1995-BaratlooDK #distributed #named #novel #parallel #platform: CALYPSO: A Novel Software System for Fault-Tolerant Parallel Processing on Distributed Platforms (AB, PD, ZMK), pp. 122–129.
PDP-1995-AltmannB #multi #programming: Algorithm-based fault-tolerant programming in scientific computation on multiprocessors (JA, AB), pp. 374–382.
PDP-1995-ClematisADGL #approach #object-oriented: An object oriented approach to fault tolerant software (AC, TA, GD, VG, MLBL), pp. 383–391.
PDP-1995-SilvaSCC #composition #grid: Fault-tolerance on regular decomposition grid applications (LMS, JGS, SC, LC), pp. 358–365.
SOSP-1995-BressoudS: Hypervisor-based Fault-tolerance (TCB, FBS), pp. 1–11.
TAGT-1994-DerkD #configuration management #graph grammar #parallel: Reconfiguration Graph Grammar for Massively Parallel, Fault Tolerant Computers (MDD, LSD), pp. 185–195.
AdaEurope-1994-RogersP #ada #distributed: The AECSS Fault Tolerant Distributed Ada Testbed and Application (PR, MP), pp. 43–59.
TRI-Ada-1994-BrelandRBN #ada #distributed: Transparent Fault Tolerance for Distributed Ada Applications (MAB, SAR, GPB, KLN), pp. 446–457.
HPDC-1994-ChiuC #distributed #performance: Process-Replication Technique for Fault Tolerance and Performance Improvement in Distributed Computing Systems (JFC, GMC), pp. 236–243.
PDP-1994-BauchMM #algorithm #distributed #scheduling: A Distributed Algorithm For Fault-tolerant Dynamic Task Scheduling (AB, EM, FJM), pp. 309–316.
PDP-1994-BestaouiDT #communication: The SCEPTRE2 Communication Service In A Fault Tolerance Context (SB, AMD, YT), pp. 196–201.
PDP-1994-NixonICM #agile #parallel #prototype: Rapid Prototyping Of Parallel Fault Tolerant Systems (PN, CIB, PRC, DGM), pp. 202–209.
PDP-1994-Tyrrell94a #evaluation #parallel: Evaluation Of Fault Tolerant Structures For Parallel Systems (AMT), pp. 134–140.
STOC-1994-KalyanasundaramP #scheduling: Fault-tolerant scheduling (BK, KP), pp. 115–124.
STOC-1994-KarlinNT #on the: On the fault tolerance of the butterfly (ARK, GN, HT), pp. 125–133.
ICALP-1993-Hemachandra #complexity: Fault-Tolerance and Complexity (LAH), pp. 189–202.
FME-1993-Butterfield #towards: A VDM Study of Fault-Tolerant Stable Storage — Towards a Computer Engineering Mathematics (AB), pp. 216–234.
FME-1993-CauR #refinement #using: Using Relative Refinement for Fault Tolerance (AC, WPdR), pp. 19–41.
FME-1993-OwreRSH #architecture #lessons learnt #verification: Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned (SO, JMR, NS, FWvH), pp. 482–500.
SEKE-1993-ChangPFYE #design #distributed #information management #object-oriented #realtime: The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics (SKC, AP, JCAdF, BY, WDE), pp. 36–45.
TRI-Ada-1993-RogersOPL #ada #distributed: Demonstrable Fault Tolerance for Distributed Ada (PR, SO, MP, KL), pp. 180–188.
SAC-1993-ClematisG #source code: A Hierarchical Structure for Fault Tolerant Reactive Programs (AC, VG), pp. 208–214.
SAC-1993-PattersonTH #distributed: Construction of a Fault-Tolerant Distributed Tuple-Space (LIP, RST, RMH), pp. 279–285.
DAC-1993-Leveugle: Optimized State Assignment of single fault Tolerant FSMs Based on SEC Codes (RL), pp. 14–18.
PDP-1993-PramanikDBF #adaptation #communication: A communication structure for supporting fault-tolerant and adaptive wormhole routing in a binary n-cube (PP, PKD, AKB, DQMF), pp. 418–425.
PDP-1993-WuWF #approach #hardware: A uniform approach to software and hardware fault tolerance (JW, YMW, EBF), pp. 409–416.
PODS-1992-RabinovichL #commit #database #protocol: A Fault-Tolerant Commit Protocol for Replicated Databases (MR, EDL), pp. 139–148.
SIGMOD-1992-RabinovichL #protocol: Improving Fault Tolerance and Supporting Partial Writes in Structured Coterie Protocols for Replicated Objects (MR, EDL), pp. 226–235.
TOOLS-EUROPE-1992-RomanovskySV #design #object-oriented #programming: Designing Fault-Tolerant Objects in Object-Oriented Programming (ABR, IVS, VRV), pp. 199–205.
TRI-Ada-C-1992-CramerD #ada #using: The Use of Ada to Achieve Fault Tolerance in AAS (RSC, JDD), pp. 545–552.
DAC-1992-ChakradharKA #finite #state machine #synthesis: Finite State Machine Synthesis with Fault Tolerant Test Function (STC, SK, VDA), pp. 562–567.
DAC-1992-KarriO #synthesis: Transformation-Based High-Level Synthesis of Fault-Tolerant ASICs (RK, AO), pp. 662–665.
IWMM-1992-PlainfosseS #distributed #experience #garbage collection: Experience with a Fault-Tolerant Garbage Collector in a Distributed List System (DP, MS), pp. 116–133.
STOC-1992-ChoyS #algorithm #distributed #performance #resource management: Efficient Fault Tolerant Algorithms for Resource Allocation in Distributed Systems (MC, AKS), pp. 593–602.
STOC-1992-Lin #communication #network: Fault Tolerant Planar Communication Networks (GL), pp. 133–139.
VLDB-1991-SullivanS #data type #database #using: Using Write Protected Data Structures To Improve Software Fault Tolerance in Highly Available Database Management Systems (MS, MS), pp. 171–180.
SOSP-1989-GrayC #consistency #distributed #named #performance: Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency (CGG, DRC), pp. 202–210.
STOC-1988-Ben-OrGW #distributed #theorem: Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation (MBO, SG, AW), pp. 1–10.
STOC-1988-BermanS #network: Investigations of Fault-Tolerant Networks of Computers (PB, JS), pp. 66–77.
STOC-1986-DworkPPU #bound #network: Fault Tolerance in Networks of Bounded Degree (CD, DP, NP, EU), pp. 370–379.
PODS-1985-AbbadiSC #data transformation #performance #protocol: An Efficient, Fault-Tolerant Protocol for Replicated Data Management (AEA, DS, FC), pp. 215–229.
SOSP-1985-Birman #replication: Replication and Fault-Tolerance in the ISIS System (KPB), pp. 79–86.
CSE-1985-LevesonS #petri net #safety #using: Analyzing Safety and Fault Tolerance Using Time Petri Nets (NGL, JLS), pp. 339–355.
STOC-1985-Feldman #network: Fault Tolerance of Minimal Path Routings in a Network (PF), pp. 327–334.
STOC-1984-BroderDFS #network #performance: Efficient Fault Tolerant Routings in Networks (AZB, DD, MJF, BS), pp. 536–541.
STOC-1984-DolevHSS #network: A New Look at Fault Tolerant Network Routing (DD, JYH, BS, HRS), pp. 526–535.
SOSP-1983-BorgBG: A Message System Supporting Fault Tolerance (AB, JB, SG), pp. 90–99.
ICSE-1978-BoiM #design: Design and Principles of a Fault Tolerant System (LB, PM), pp. 207–214.
ICSE-1976-WensleyGLS #analysis #design #verification: The Design, Analysis, and Verification of the SIFT Fault-Tolerant System (JHW, MWG, KNL, RES), pp. 458–469.
DAC-1976-PaulT #concept #evaluation #named #simulation: SEGMA — A simulation package for conception aid and fault tolerance evaluation of computing systems (JLP, RT), pp. 278–284.