|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10183 occurrences of 2874 keywords
|
|
|
|
|
Results
Found 6332 publication records. Showing 6332 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 5 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen |
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.  |
Methods, Models and Tools for Fault Tolerance  |
2009 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development |
| 4 | Elisabeth Ball, Michael Butler |
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction.  |
Methods, Models and Tools for Fault Tolerance  |
2009 |
DBLP DOI BibTeX RDF |
|
| 4 | Pablo F. Castro, T. S. E. Maibaum |
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic.  |
Methods, Models and Tools for Fault Tolerance  |
2009 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, Formal Specification, Software Design, Deontic Logics |
| 4 | Vincenzo De Florio, Chris Blondia |
A survey of linguistic structures for application-level fault tolerance.  |
ACM Comput. Surv.  |
2008 |
DBLP DOI BibTeX RDF |
Language support for software-implemented fault tolerance, reconfiguration and error recovery, separation of design concerns, software fault tolerance |
| 4 | Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora |
FTSyn: a framework for automatic synthesis of fault-tolerance.  |
STTT  |
2008 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance |
| 4 | Hovhannes A. Harutyunyan, Calin D. Morosan |
The global fault-tolerance of interconnection networks.  |
SNPD  |
2006 |
DBLP DOI BibTeX RDF |
global fault-tolerance, faulttolerance of minimum broadcast graphs, fault-tolerance |
| 4 | Sandeep S. Kulkarni, Ali Ebnenasir |
The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance.  |
IEEE Trans. Dependable Sec. Comput.  |
2005 |
DBLP DOI BibTeX RDF |
safety specification, Fault-tolerance, formal methods, program synthesis, automatic addition of fault tolerance |
| 4 | Sandeep S. Kulkarni, Ali Ebnenasir |
Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance.  |
IEEE Trans. Dependable Sec. Comput.  |
2005 |
DBLP DOI BibTeX RDF |
Fault-tolerance, formal methods, distributed programs, program synthesis, automatic addition of fault-tolerance |
| 4 | Sandeep S. Kulkarni, Ali Ebnenasir |
Enhancing The Fault-Tolerance of Nonmasking Programs.  |
ICDCS  |
2003 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis, Automatic addition of fault-tolerance |
| 4 | Vincenzo De Florio, Geert Deconinck |
REL: A Fault Tolerance Linguistic Structure for Distributed Applications. (PDF / PS)  |
ECBS  |
2002 |
DBLP DOI BibTeX RDF |
linguistic support to software fault tolerance, dependability, software fault tolerance, error recovery |
| 4 | Régis Leveugle, R. Cercueil |
High Level Modifications of VHDL Descriptions for On-Line Test or Fault Tolerance. (PDF / PS)  |
DFT  |
2001 |
DBLP DOI BibTeX RDF |
circuit architectures, fault tolerance, VHDL, on-line testing |
| 4 | Abderrahim Doumar, Hideo Ito |
Testing approach within FPGA-based fault tolerant systems.  |
Asian Test Symposium  |
2000 |
DBLP DOI BibTeX RDF |
FPGA-based fault-tolerant systems, FPGA test strategy, configurable logic blocks, functional phase, on-chip configuration data shifting, shifting process control, test application, test observation, fault tolerance management logic, fault tolerance cost, chip functionality, delay overhead, Xilinx FPGA, fault tolerance, field programmable gate arrays, delays, integrated circuit testing, integrated logic circuits, testing time, user data, test phase |
| 4 | Zbigniew Kalbarczyk, Ravishankar K. Iyer, Saurabh Bagchi, Keith Whisnant |
Chameleon: A Software Infrastructure for Adaptive Fault Tolerance.  |
IEEE Trans. Parallel Distrib. Syst.  |
1999 |
DBLP DOI BibTeX RDF |
Adaptive fault tolerance, high availability networked computing, extendible modular architecture, COTS, software-implemented fault tolerance |
| 4 | Daniel Audet, Steve Masson, Yvon Savaria |
Reducing Fault Sensitivity of Microprocessor-Based Systems by Modifying Workload Structure. (PDF / PS)  |
DFT  |
1998 |
DBLP DOI BibTeX RDF |
bit flip, fault-tolerance, memory, microprocessor, fault injection, software fault-tolerance, transient faults |
| 4 | Piyush Maheshwari, Jinsong Ouyang |
Supporting fault-tolerance in heterogeneous distributed applications.  |
Heterogeneous Computing Workshop  |
1997 |
DBLP DOI BibTeX RDF |
heterogeneous distributed applications, reliable distributed heterogeneous computing, run time performance, library prototype, H-Libra, distributed consistent checkpointing, user-level network communication protocol, high-level message-passing interface, parallel processing, interconnection network, programming, software fault tolerance, software fault-tolerance, rollback-recovery, algorithm design, low cost, parallel task scheduling |
| 4 | Tolety Siva Perraju, Satyendra Pal Rana, Susanta P. Sarkar |
Specifying fault tolerance in mission critical systems. (PDF / PS)  |
HASE  |
1996 |
DBLP DOI BibTeX RDF |
fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems |
| 4 | Andrew M. Tyrrell |
Recovery Blocks and Algorithm-Based Fault Tolerance.  |
EUROMICRO  |
1996 |
DBLP DOI BibTeX RDF |
numerical processing, added redundancy, acceptability check, error detection, software fault tolerance, algorithm-based fault tolerance, recovery blocks, time overhead |
| 4 | Hyun C. Kim, V. S. S. Nair |
Application layer software fault tolerance for distributed object-oriented systems. (PDF / PS)  |
COMPSAC  |
1995 |
DBLP DOI BibTeX RDF |
application layer software fault tolerance, object failures, active object replication schemes, common interface, object-oriented programming, distributed processing, software fault tolerance, encapsulation, replicated objects, data encapsulation, distributed object-oriented systems, hardware failures |
| 4 | Luís Moura Silva, João Gabriel Silva, Simon Chapple, Lyndon Clarke |
Fault-tolerance on regular decomposition grid applications.  |
PDP  |
1995 |
DBLP DOI BibTeX RDF |
regular decomposition grid applications, synchronization data partitioning, high-level support, PUL-RD, fault-tolerance, communication, fault tolerant computing, distribution, heterogeneity, checkpointing, synchronisation, software fault tolerance |
| 4 | Annette Lagman, Walid A. Najjar, Pradip K. Srimani |
An Analysis of Edge Fault Tolerance in Recursively Decomposable Regular Networks.  |
IEEE Trans. Computers  |
1994 |
DBLP DOI BibTeX RDF |
edge fault tolerance, recursively decomposable, edge failures, fault tolerance measures, restricted resilience, probabilistic fault tolerance measures, reliability, interconnection networks, fault tolerant computing, multiprocessor interconnection networks, network topology, network topologies, resilience, topological properties, regular networks, probabilistic measures, large scale multiprocessor |
| 3 | Gabriela Schütz, Noélia S. C. Correia |
A multi-objective optimization approach for fault-tolerance provisioning in multi-radio hybrid wireless-optical broadband access networks.  |
SAC  |
2010 |
DBLP DOI BibTeX RDF |
wireless-optical, fault-tolerance, heuristic, multi-objective optimization, access networks |
| 3 | Danilo Pani, Simone Secchi, Luigi Raffo |
Self organization on a swarm computing fabric: a new way to look at fault tolerance.  |
Conf. Computing Frontiers  |
2010 |
DBLP DOI BibTeX RDF |
fault tolerance, reconfiguration, self organization, swarm intelligence |
| 3 | Chiu-Ching Tuan, Yi-Chao Wu, Wei-Shiou Chang, Wen-Tzeng Huang |
Fault Tolerance by Quartile Method in Wireless Sensor and Actor Networks.  |
CISIS  |
2010 |
DBLP DOI BibTeX RDF |
communication link fault tolerance, sensing fault tolerance, quartile method, data discreteness, wireless sensor and actor networks |
| 3 | Jiin-Chiou Cheng, Chi-Sung Laih |
Conference key agreement protocol with non-interactive fault-tolerance over broadcast network.  |
Int. J. Inf. Sec.  |
2009 |
DBLP DOI BibTeX RDF |
Conference key agreement, Modified Weil pairing, Fault-tolerance, Elliptic curve |
| 3 | Ben Reichardt |
Error-Detection-Based Quantum Fault-Tolerance Threshold.  |
Algorithmica  |
2009 |
DBLP DOI BibTeX RDF |
Quantum fault tolerance, Noise threshold, Postselection, Error detection |
| 3 | Marek Chrobak, Mathilde Hurand, Jiri Sgall |
Algorithms for testing fault-tolerance of sequenced jobs.  |
J. Scheduling  |
2009 |
DBLP DOI BibTeX RDF |
Scheduling, Fault-tolerance, Real-time systems, Algorithms |
| 3 | Mingqiang Li, Jiwu Shu, Weimin Zheng |
GRID codes: Strip-based erasure codes with high fault tolerance for storage systems.  |
TOS  |
2009 |
DBLP DOI BibTeX RDF |
unrecoverable sector error, fault tolerance, storage system, erasure code, Disk failure |
| 3 | Habib M. Ammari, Sajal K. Das |
Fault tolerance measures for large-scale wireless sensor networks.  |
TAAS  |
2009 |
DBLP DOI BibTeX RDF |
k-covered wireless sensor networks, fault tolerance, connectivity, coverage |
| 3 | Demid Borodin, Ben H. H. Juurlink, Said Hamdioui, Stamatis Vassiliadis |
Instruction-Level Fault Tolerance Configurability.  |
Signal Processing Systems  |
2009 |
DBLP DOI BibTeX RDF |
Instruction-level configurability, Fault tolerance, Performance, Reliability, Energy consumption |
| 3 | Cristian Tapus, Jason Hickey |
Distributed speculative execution for reliability and fault tolerance: an operational semantics.  |
Distributed Computing  |
2009 |
DBLP DOI BibTeX RDF |
Fault tolerance, Distributed systems, Transactions, Operational semantics, Speculations |
| 3 | Andrey Berlizev, Nicolas Guelfi |
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process.  |
Methods, Models and Tools for Fault Tolerance  |
2009 |
DBLP DOI BibTeX RDF |
fault-tolerant systems development, Semi-formal methodology, UML, MDE, integrated approaches, deviations |
| 3 | Görschwin Fey, André Sülflow, Rolf Drechsler |
Computing bounds for fault tolerance using formal techniques.  |
DAC  |
2009 |
DBLP DOI BibTeX RDF |
fault tolerance, formal verification, SAT |
| 3 | Jonathan Ezekiel, Alessio Lomuscio |
Combining fault injection and model checking to verify fault tolerance in multi-agent systems.  |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
fault tolerance, model checking, fault injection, epistemic logic |
| 3 | Alexei Iliasov, Budi Arief, Alexander Romanovsky |
Step-Wise Development of Resilient Ambient Campus Scenarios.  |
Methods, Models and Tools for Fault Tolerance  |
2009 |
DBLP DOI BibTeX RDF |
|
| 3 | Divakar Yadav, Michael Butler |
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B.  |
Methods, Models and Tools for Fault Tolerance  |
2009 |
DBLP DOI BibTeX RDF |
|
| 3 | Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn |
Design and Verification of Fault-Tolerant Components.  |
Methods, Models and Tools for Fault Tolerance  |
2009 |
DBLP DOI BibTeX RDF |
Fault-tolerance, model checking, abstraction, real-time embedded systems |
| 3 | Qaisar A. Malik, Johan Lilius, Linas Laibinis |
Model-Based Testing Using Scenarios and Event-B Refinements.  |
Methods, Models and Tools for Fault Tolerance  |
2009 |
DBLP DOI BibTeX RDF |
|
| 3 | Tolga Ayav, Pascal Fradet, Alain Girault |
Implementing fault-tolerance in real-time programs by automatic program transformations.  |
ACM Trans. Embedded Comput. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
Fault-tolerance, program transformations, checkpointing, correctness proofs, heartbeating |
| 3 | Pilar Reyes, Pedro Reviriego, Juan Antonio Maestro, Oscar Ruano |
Fault Tolerance Analysis of Communication System Interleavers: the 802.11a Case Study.  |
Signal Processing Systems  |
2008 |
DBLP DOI BibTeX RDF |
single event upsets (SEUs), multiple bit upsets (MBUs), fault tolerance, redundancy, soft errors, interleaving |
| 3 | Nils Müllner, Abhishek Dhama, Oliver E. Theel |
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation.  |
Annual Simulation Symposium  |
2008 |
DBLP DOI BibTeX RDF |
Simulation, Fault Tolerance, Reliability, Availability, Self-Stabilization |
| 3 | Lavanya Ramakrishnan, Daniel A. Reed |
Performability modeling for scheduling and fault tolerance strategies for scientific workflows.  |
HPDC  |
2008 |
DBLP DOI BibTeX RDF |
grid/cloud resource management, fault tolerance, workflow scheduling |
| 3 | Oriana Riva, Josiane Nzouonta, Cristian Borcea |
Context-aware fault tolerance in migratory services.  |
MobiQuitous  |
2008 |
DBLP DOI BibTeX RDF |
context-aware fault tolerance, migratory services, mobile ad hoc networks |
| 3 | Raimund Ubar, Sergei Devadze, Maksim Jenihhin, Jaan Raik, Gert Jervan, Peeter Ellervee |
Hierarchical Calculation of Malicious Faults for Evaluating the Fault-Tolerance.  |
DELTA  |
2008 |
DBLP DOI BibTeX RDF |
high-level decision diagrams, fault tolerance, fault simulation |
| 3 | Gopi Kandaswamy, Anirban Mandal, Daniel A. Reed |
Fault Tolerance and Recovery of Scientific Workflows on Computational Grids.  |
CCGRID  |
2008 |
DBLP DOI BibTeX RDF |
fault tolerance and recovery, resilient scientific workflows, scheduling, Computational grids |
| 3 | Daniel Díaz, Xoán C. Pardo, María J. Martín, Patricia González |
Application-Level Fault-Tolerance Solutions for Grid Computing.  |
CCGRID  |
2008 |
DBLP DOI BibTeX RDF |
CPPC, fault tolerance, grid computation, parallel computation, checkpointing, Globus |
| 3 | Thomas Ropars, Christine Morin |
Fault Tolerance in Cluster Federations with O2P-CF.  |
CCGRID  |
2008 |
DBLP DOI BibTeX RDF |
Cluster federation, message passing application, fault tolerance, message logging |
| 3 | Alessandro de Luna Almeida, Samir Aknine, Jean-Pierre Briot |
Dynamic resource allocation heuristics for providing fault tolerance in multi-agent systems.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
fault tolerance, multi-agent systems, adaptation, resource allocation, replication |
| 3 | Carlos Arthur Lang Lisbôa, Costas Argyrides, Dhiraj K. Pradhan, Luigi Carro |
Algorithm Level Fault Tolerance: A Technique to Cope with Long Duration Transient Faults in Matrix Multiplication Algorithms.  |
VTS  |
2008 |
DBLP DOI BibTeX RDF |
radiation effects, long transients, recomputation granularity, fault tolerance |
| 3 | Kyung-Deok Moon, Jun Hee Park, K. H. (Kane) Kim, Liangchen Zheng, Qian Zhou |
Fault-Tolerance in Universal Middleware Bridge.  |
ISORC  |
2008 |
DBLP DOI BibTeX RDF |
UMB, PSTR, Fault-tolerance, TMO, TMOSM |
| 3 | Manoj Kumar Goparaju, Ashok Kumar Palaniswamy, Spyros Tragoudas |
A Fault Tolerance Aware Synthesis Methodology for Threshold Logic Gate Networks.  |
DFT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 3 | Nilanjan Banerjee, Charles Augustine, Kaushik Roy |
Fault-Tolerance with Graceful Degradation in Quality: A Design Methodology and Its Application to Digital Signal Processing Systems.  |
DFT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 3 | Geoffroy Vallée, Kulathep Charoenpornwattana, Christian Engelmann, Anand Tikotekar, Chokchai Leangsuksun, Thomas Naughton, Stephen L. Scott |
A Framework for Proactive Fault Tolerance.  |
ARES  |
2008 |
DBLP DOI BibTeX RDF |
proactive fault tolerance, clustering, adaptation |
| 3 | Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi |
A Uniform Approach to Security and Fault-Tolerance Specification and Analysis.  |
WADS  |
2008 |
DBLP DOI BibTeX RDF |
Software Architecture Formal Analysis, Security, Fault Tolerance |
| 3 | Thomas Huining Feng, Edward A. Lee |
Real-Time Distributed Discrete-Event Execution with Fault Tolerance.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2008 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed system, real time, discrete event |
| 3 | Jürgen Hofer, Thomas Fahringer |
Synthesizing Byzantine Fault-Tolerant Grid Application Wrapper Services.  |
CCGRID  |
2008 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Grid, HPC, Byzantine Fault Tolerance |
| 3 | Ilir Gashi, Peter T. Popov, Lorenzo Strigini |
Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers.  |
IEEE Trans. Dependable Sec. Comput.  |
2007 |
DBLP DOI BibTeX RDF |
Error processing, fault records, non-crash failures, database availability, Fault tolerance, Reliability, Relational databases, experimental results, design diversity, availability and serviceability, COTS software |
| 3 | Stephan Bohacek, João Pedro Hespanha, Junsoo Lee, Chansook Lim, Katia Obraczka |
Game Theoretic Stochastic Routing for Fault Tolerance and Security in Computer Networks.  |
IEEE Trans. Parallel Distrib. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
Stochastic Routing, Fault Tolerance, Game Theory, Network Security, Multi-path Routing |
| 3 | Alexander Romanovsky |
A looming fault tolerance software crisis?  |
ACM SIGSOFT Software Engineering Notes  |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, software engineering |
| 3 | Smriti Agrawal, Rama Shankar Yadav, Nabanita Das |
Multiple Fault Tolerance Patterns for Systems with Arbitrary Deadline.  |
ICIT  |
2007 |
DBLP DOI BibTeX RDF |
scheduling, fault tolerance, real time systems, checkpointing, Arbitrary deadline |
| 3 | Hong-Wei Chen, Ying-Ping Chen |
Introducing fault tolerance to XCS.  |
GECCO  |
2007 |
DBLP DOI BibTeX RDF |
XCS/FT, data mining, fault tolerance, XCS, LCS |
| 3 | Ruben Alexandersson, Peter Öhman |
Implementing Fault Tolerance Using Aspect Oriented Programming.  |
LADC  |
2007 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Aspect Oriented Programming |
| 3 | Maria Chtepen, Filip H. A. Claeys, Bart Dhoedt, Filip De Turck, Peter A. Vanrolleghem, Piet Demeester |
Providing Fault-Tolerance in Unreliable Grid Systems Through Adaptive Checkpointing and Replication.  |
International Conference on Computational Science  |
2007 |
DBLP DOI BibTeX RDF |
adaptive checkpointing, fault-tolerance, Grid computing, task replication |
| 3 | Ali Ebnenasir |
Diconic addition of failsafe fault-tolerance.  |
ASE  |
2007 |
DBLP DOI BibTeX RDF |
addition of fault-tolerance, formal methods, satisfiability, divide and conquer |
| 3 | Ali Ebnenasir, Betty H. C. Cheng |
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML.  |
HASE  |
2007 |
DBLP DOI BibTeX RDF |
FormalMethods, Fault-Tolerance, UML, Requirements Analysis, Detector |
| 3 | Gabriel Rodríguez, Patricia González, María J. Martín, Juan Touriño |
Enhancing Fault-Tolerance of Large-Scale MPI Scientific Applications.  |
PaCT  |
2007 |
DBLP DOI BibTeX RDF |
Fault tolerance, MPI, checkpointing, parallel applications |
| 3 | Linzhi Ning, Wenbin Yao, Jun Ni, Nianmin Yao |
Fault-Tolerance CMP Architecture based on SMT Technology.  |
IMSCCS  |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, CMP, thread, SMT |
| 3 | Arun Babu Nagarajan, Frank Mueller, Christian Engelmann, Stephen L. Scott |
Proactive fault tolerance for HPC with Xen virtualization.  |
ICS  |
2007 |
DBLP DOI BibTeX RDF |
proactive fault tolerance, virtualization, high-performance computing |
| 3 | Katia Potiron, Patrick Taillibert, Amal El Fallah-Seghrouchni |
A Step Towards Fault Tolerance for Multi-Agent Systems.  |
LADS  |
2007 |
DBLP DOI BibTeX RDF |
Fault tolerance, autonomy, Fault classification, MAS design |
| 3 | Yuan Zhang, Youren Wang, Shanshan Yang, Min Xie |
Design of a Cell in Embryonic Systems with Improved Efficiency and Fault-Tolerance.  |
ICES  |
2007 |
DBLP DOI BibTeX RDF |
Embryonic systems, Two-level self-repair, Extended hamming code, Fault tolerance of configuration memory, Cellular arrays |
| 3 | Qingjian Ji, Youren Wang, Min Xie, Jiang Cui |
Research on Fault-Tolerance of Analog Circuits Based on Evolvable Hardware.  |
ICES  |
2007 |
DBLP DOI BibTeX RDF |
EHW, FPACA, Amplifier circuit, Fault-tolerance, Evolutionary algorithm |
| 3 | Nuno Laranjeiro, Marco Vieira |
Towards fault tolerance in web services compositions.  |
EFTS  |
2007 |
DBLP DOI BibTeX RDF |
web services, fault tolerance, composition, diversity |
| 3 | Jian-Jia Chen, Chuan-Yue Yang, Tei-Wei Kuo, Shau-Yin Tseng |
Real-Time Task Replication for Fault Tolerance in Identical Multiprocessor Systems.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2007 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Multiprocessor Systems, Real-Time Task Scheduling, Task Replication |
| 3 | George A. Reis, Jonathan Chang, David I. August |
Automatic Instruction-Level Software-Only Recovery.  |
IEEE Micro  |
2007 |
DBLP DOI BibTeX RDF |
software-only fault tolerance, fault tolerance, reliability, fault recovery |
| 3 | María Engracia Gómez, Nils Agne Nordbotten, Jose Flich, Pedro López, Antonio Robles, José Duato, Tor Skeie, Olav Lysne |
A Routing Methodology for Achieving Fault Tolerance in Direct Networks.  |
IEEE Trans. Computers  |
2006 |
DBLP DOI BibTeX RDF |
bubble flow control, Fault tolerance, adaptive routing, virtual channels, direct networks |
| 3 | Matthew Woitaszek, Henry M. Tufo |
Fault Tolerance of Tornado Codes for Archival Storage.  |
HPDC  |
2006 |
DBLP DOI BibTeX RDF |
distributed data stewarding system, Tornado code graph, low density parity check, LDPC erasure code, archival storage system, parity-based RAID system, fault tolerance |
| 3 | Hong-Wei Chen, Ying-Ping Chen |
FTXI: fault tolerance XCS in integer.  |
GECCO  |
2006 |
DBLP DOI BibTeX RDF |
integer representation, data mining, fault tolerance, classification, XCS |
| 3 | Tolga Ayav, Pascal Fradet, Alain Girault |
Implementing fault-tolerance in real-time systems by automatic program transformations.  |
EMSOFT  |
2006 |
DBLP DOI BibTeX RDF |
fault-tolerance, program transformations, checkpointing, heartbeating |
| 3 | Shmuel Katz |
Rigorous Fault Tolerance Using Aspects and Formal Methods.  |
RODIN Book ![In: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], pp. 226-240, 2006, Springer, 3-540-48265-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, formal methods, aspect orientation |
| 3 | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
Achieving Fault Tolerance by a Formally Validated Interaction Policy.  |
RODIN Book ![In: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], pp. 133-152, 2006, Springer, 3-540-48265-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Integrity policies, fault tolerance, model checking, process algebras |
| 3 | Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad |
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance.  |
RE  |
2006 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, Formal Methods, Safety, Use Case Modeling |
| 3 | Maíra A. de C. Gatti, Gustavo R. de Carvalho, Rodrigo B. de Paes, Carlos José Pereira de Lucena, Jean-Pierre Briot |
On Fault Tolerance in Law-Governed Multi-agent Systems.  |
SELMAS ![In: Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006]., pp. 1-20, 2006, Springer, 978-3-540-73130-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Law-Governed Approach, Dependability of Open Systems, Fault Tolerance, Multi-Agent Systems, Reliability, Requirements, Availability, Open Systems, Criticality |
| 3 | Indranil Saha, Debapriyay Mukhopadhyay, Satyajit Banerjee |
Designing Reliable Architecture for Stateful Fault Tolerance.  |
PDCAT  |
2006 |
DBLP DOI BibTeX RDF |
Stateful Failover, k-Fault Tolerance, Harary Graph, Load Balance, Network Topology |
| 3 | Lushan Liu, Ramalingam Sridhar, Shambhu J. Upadhyaya |
A 3-port Register File Design for Improved Fault Tolerance on Resistive Defects in Core-Cells.  |
DFT  |
2006 |
DBLP DOI BibTeX RDF |
|
| 3 | Khaled Barbaria, Laurent Pautet, Isabelle Perseil |
Schizophrenic middleware support for fault tolerance.  |
SIGAda  |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, software architecture, middleware, Ada, CORBA |
| 3 | Habib M. Ammari, Sajal K. Das |
On computing conditional fault-tolerance measures for k-covered wireless sensor networks.  |
MSWiM  |
2006 |
DBLP DOI BibTeX RDF |
k-covered WSNs, conditional connectivity, conditional coverage, conditional fault-tolerance, forbidden faulty set |
| 3 | Habib M. Ammari, Sajal K. Das |
Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks.  |
SSS  |
2006 |
DBLP DOI BibTeX RDF |
kCWSN, fault tolerance, measures, connectivity, coverage |
| 3 | Tadayoshi Horita, Takurou Murata, Itsuo Takanami |
A Multiple-Weight-and-Neuron-Fault Tolerant Digital Multilayer Neural Network.  |
DFT  |
2006 |
DBLP DOI BibTeX RDF |
weight fault, neuron fault, fault tolerance, FPGA, VHDL, multilayer neural network |
| 3 | Cung Nguyen, G. Robert Redinbo |
Fault Tolerance Design in JPEG 2000 Image Compression System.  |
IEEE Trans. Dependable Sec. Comput.  |
2005 |
DBLP DOI BibTeX RDF |
Fault-tolerant source coding, JPEG 2000 standard, hardware reliability, weighted sum parity, data compression, Discrete Wavelet Transform (DWT), Soft errors, concurrent error detection, Huffman coding, error control codes, algorithm-based fault tolerance, error-checking |
| 3 | George A. Reis, Jonathan Chang, Neil Vachharajani, Ram Rangan, David I. August, Shubhendu S. Mukherjee |
Software-controlled fault tolerance.  |
TACO  |
2005 |
DBLP DOI BibTeX RDF |
Software-controlled fault tolerance, reliability, fault detection |
| 3 | Zbigniew Kalbarczyk, Ravishankar K. Iyer, Long Wang |
Application Fault Tolerance with Armor Middleware.  |
IEEE Internet Computing  |
2005 |
DBLP DOI BibTeX RDF |
high-dependability services, middleware, failure recovery, software-implemented fault tolerance |
| 3 | Deepti Srivastava, Priya Narasimhan |
Architectural support for mode-driven fault tolerance in distributed applications.  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
COTS systems, fault tolerance, distributed systems, software architecture, CORBA, replication, modes |
| 3 | Jerker Hammarberg, Simin Nadjm-Tehrani |
Formal verification of fault tolerance in safety-critical reconfigurable modules.  |
STTT  |
2005 |
DBLP DOI BibTeX RDF |
Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel |
| 3 | Antonio Pullini, Federico Angiolini, Davide Bertozzi, Luca Benini |
Fault tolerance overhead in network-on-chip flow control schemes.  |
SBCCI  |
2005 |
DBLP DOI BibTeX RDF |
fault tolerance, network on chip, error correction, flow control |
| 3 | Patrick Rogers, Andy J. Wellings |
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95.  |
Ada-Europe  |
2005 |
DBLP DOI BibTeX RDF |
Ada, Reflection, conversations, software fault tolerance, atomic actions, recovery blocks, backward error recovery |
| 3 | Brahim Hamid, Mohamed Mosbah |
A Formal Model for Fault-Tolerance in Distributed Systems.  |
SAFECOMP  |
2005 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Distributed systems, Local computations, Graph rewriting systems |
| 3 | Sandeep S. Kulkarni, Ali Ebnenasir |
Adding Fault-Tolerance Using Pre-synthesized Components.  |
EDCC  |
2005 |
DBLP DOI BibTeX RDF |
Formal methods, Distributed programs, Detectors, Correctors, Automatic addition of fault-tolerance |
| 3 | Chang N. Zhang, Chunren Lai, Honglan Zhong |
An Efficient Authentication Scheme with Fault Tolerance for Database Systems.  |
ICITA  |
2005 |
DBLP DOI BibTeX RDF |
fault tolerance, authentication, digital signature, error detection, error correction |
| 3 | Brian T. Gold, Jangwoo Kim, Jared C. Smolens, Eric S. Chung, Vasileios Liaskovitis, Eriko Nurvitadhi, Babak Falsafi, James C. Hoe, Andreas Nowatzyk |
TRUSS: A Reliable, Scalable Server Architecture.  |
IEEE Micro  |
2005 |
DBLP DOI BibTeX RDF |
and Fault-Tolerance, and Fault-Tolerance, Reliability, Reliability, Reliability, Testing, Testing, Testing and Fault-Tolerance, Performance Analysis and Design Aids |
| 3 | Yoshihiro Tohma |
Incorporating Fault Tolerance into an Autonomic-Computing Environment.  |
IEEE Distributed Systems Online  |
2004 |
DBLP DOI BibTeX RDF |
Centralized system management, fault tolerance, information systems |
| 3 | Wendy Bartlett, Lisa Spainhower |
Commercial Fault Tolerance: A Tale of Two Systems.  |
IEEE Trans. Dependable Sec. Comput.  |
2004 |
DBLP DOI BibTeX RDF |
fault tolerance, high availability, Computer systems implementation |
Displaying result #1 - #100 of 6332 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|