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
fault tolerance
Google fault tolerance

Tag #fault tolerance

328 papers:

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

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.