|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7993 occurrences of 2481 keywords
|
|
|
Results
Found 14452 publication records. Showing 14452 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Clara Benac Earle, Lars-Åke Fredlund, John Derrick |
Verifying fault-tolerant Erlang programs. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
code verification, fault-tolerance, concurrency |
30 | Panagiotis Katsaros, Constantine Lazos |
Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Jie Wu 0001 |
Fault-Tolerant Adaptive and Minimal Routing in Mesh-Connected Multicomputers Using Extended Safety Levels. |
IEEE Trans. Parallel Distributed Syst. |
2000 |
DBLP DOI BibTeX RDF |
Fault tolerance, minimal routing, mesh-connected multicomputers |
30 | Koichi Wada 0001, Wei Chen 0003 |
Optimal Fault-Tolerant Routings for k-Connected Graphs with Smaller Routing Tables. |
WG |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Fayçal Bessayah, Ana R. Cavalli, Eliane Martins |
A formal approach for specification and verification of fault injection process. |
ICIS |
2009 |
DBLP DOI BibTeX RDF |
fault specification, formal methods, fault injection, trace analysis, security testing, time specification |
29 | Sandeep S. Kulkarni, Ali Ebnenasir |
The Complexity of Adding Failsafe Fault-Tolerance. |
ICDCS |
2002 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis |
29 | Sun-Yuan Hsieh |
Path Embedding on Folded Hypercubes. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Ching-Wen Chen, Chung-Ping Chung |
Designing A Disjoint Paths Interconnection Network with Fault Tolerance and Collision Solving. |
J. Supercomput. |
2005 |
DBLP DOI BibTeX RDF |
gamma interconnection networks, rerouting hops, collision ratio, multistage interconnection networks, disjoint paths, dynamic rerouting |
29 | Wing Lok Yeung, Steve A. Schneider |
Design and Verification of Distributed Recovery Blocks with CSP. |
Formal Methods Syst. Des. |
2003 |
DBLP DOI BibTeX RDF |
distributed recovery block scheme, timewise refinement, fault-tolerance, real-time systems, CSP, formal specification and verification |
29 | Elizabeth Borowsky, Eli Gafni, Nancy A. Lynch, Sergio Rajsbaum |
The BG distributed simulation algorithm. |
Distributed Comput. |
2001 |
DBLP DOI BibTeX RDF |
Simulation, Fault-tolerance, Distributed computing, Consensus, Set-agreement |
29 | Reuven Bar-Yehuda, Dror Rawitz |
Efficient Algorithms for Integer Programs with Two Variables per Constraint. |
Algorithmica |
2001 |
DBLP DOI BibTeX RDF |
Well-separated pairs, Fault-tolerance, Computational geometry, Spanners |
29 | Diego Del Gobbo, Ali Mili 0001 |
Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems. |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Yu Wang 0003, Lijuan Cao, Teresa A. Dahlberg, Fan Li 0001, Xinghua Shi |
Self-organizing fault-tolerant topology control in large-scale three-dimensional wireless networks. |
ACM Trans. Auton. Adapt. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Three-dimensional wireless networks, fault tolerance, topology control, power efficiency |
29 | Miaomiao Zhang, Zhiming Liu 0001, 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 |
29 | Lingfu Xie, Du Xu, Qing Yao, Lei Song |
A New Fault-Tolerant Wormhole Routing Scheme in Tori with Convex Faults. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Abdul-Rahman Mawlood-Yunis |
Fault-tolerant semantic mappings among heterogeneous and distributed local ontologies. |
ONISW |
2008 |
DBLP DOI BibTeX RDF |
consensus reaching, heterogeneous information sources, semantic conflicts, temporal faults, interoperability, ontology mapping, emergent semantics |
29 | Petru Eles, Viacheslav Izosimov, Paul Pop, Zebo Peng |
Synthesis of Fault-Tolerant Embedded Systems. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Peter Gaspar, Zoltán Szabó 0002, Jozsef Bokor |
Design of reconfigurable and fault-tolerant suspension systems based on LPV methods. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Salvatore Distefano |
Investigating fault tolerant computing systems reliability. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Yu Wang 0003, Lijuan Cao, Teresa A. Dahlberg |
Efficient Fault Tolerant Topology Control for Three-Dimensional Wireless Networks. |
ICCCN |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Chandrasekhar Radhakrishnan, William Kenneth Jenkins |
Special Fault Tolerant properties of FFT-based transform domain Adaptive Filters. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna |
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
29 | José Carlos Mouriño, María J. Martín, Patricia González, Ramon Doallo |
Fault-tolerant solutions for a MPI compute intensive application. |
PDP |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Congfeng Jiang, Cheng Wang, Xiaohu Liu, Yinghui Zhao |
A Fuzzy Logic Approach for Secure and Fault Tolerant Grid Job Scheduling. |
ATC |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Hyuck Han, Jai Wug Kim, Jongpil Lee, Youngjin Yu, Kiyoung Kim, Heon Young Yeom |
Practical Fault-Tolerant Framework for eScience Infrastructure. |
e-Science |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Markus Ferringer, Gottfried Fuchs, Andreas Steininger, Gerald Kempf |
VLSI Implementation of a Fault-Tolerant Distributed Clock Generation. |
DFT |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Xingwei Wang 0001, Shuxiang Cai, Nan Gao, Min Huang 0001 |
A Hybrid Intelligent Preventive Fault-Tolerant QoS Unicast Routing Scheme in IP over DWDM Optical Internet. |
ISPA |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng |
Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication. |
DELTA |
2006 |
DBLP DOI BibTeX RDF |
|
29 | John Sum, Andrew Chi-Sing Leung, Kevin Ho |
Prediction Error of a Fault Tolerant Neural Network. |
ICONIP (1) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Ding-Li Yu, Thoonkhin Chang, Ding-Wen Yu |
Fault tolerant control of multivariable processes using auto-tuning PID controller. |
IEEE Trans. Syst. Man Cybern. Part B |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Yi Zou, Krishnendu Chakrabarty |
Fault-Tolerant Self-organization in Sensor Networks. |
DCOSS |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Song Peng, Rajit Manohar |
Fault Tolerant Asynchronous Adder through Dynamic Self-reconfiguration. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Mei Yang, Yingtao Jiang, Tao Li, Yulu Yang |
Fault-Tolerant Routing Schemes in RDT(2, 2, 1)/a-Based Interconnection Network for Networks-on-Chip Designs. |
ISPAN |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Bernd Thallner, Heinrich Moser |
Topology Control for Fault-Tolerant Communication in Highly Dynamic Wireless Networks. |
WISES |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Michael G. Merideth, Arun Iyengar, Thomas A. Mikalsen, Stefan Tai, Isabelle Rouvellou, Priya Narasimhan |
Thema: Byzantine-Fault-Tolerant Middleware forWeb-Service Applications. |
SRDS |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Michael K. Reiter, Asad Samar, Chenxi Wang |
Distributed Construction of a Fault-Tolerant Network from a Tree. |
SRDS |
2005 |
DBLP DOI BibTeX RDF |
|
29 | SungJin Choi, MaengSoon Baik, Chong-Sun Hwang, Joon-Min Gil, Heon-Chang Yu |
Volunteer Availability based Fault Tolerant Scheduling Mechanism in Desktop Grid Computing Environment. |
NCA |
2004 |
DBLP DOI BibTeX RDF |
|
29 | María Engracia Gómez, José Duato, José Flich, Pedro López 0001, Antonio Robles, Nils Agne Nordbotten, Tor Skeie, Olav Lysne |
A New Adaptive Fault-Tolerant Routing Methodology for Direct Networks. |
HiPC |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Jie Han 0001, Pieter Jonker |
From Massively Parallel Image Processors to Fault-Tolerant Nanocomputers. |
ICPR (3) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Chen-Liang Fang, De-Ron Liang, Chyouhwa Chen, PuSan Lin |
A Redundant Nested Invocation Suppression Mechanism for Active Replication Fault-Tolerant Web Service. |
EEE |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Wolfram M. Esser |
Fault-Tolerant Fulltext Information Retrieval in Digital Multilingual Encyclopedias with Weighted Pattern Morphing. |
ECIR |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Jenn-Wei Lin, Hung-Yu Liu |
An Efficient Fault-Tolerant Approach for MPLS Network Systems. |
ISPA |
2004 |
DBLP DOI BibTeX RDF |
|
29 | S. M. Rezazad, Hamid Sarbazi-Azad |
Fault-Tolerant Routing in the Star Graph. |
AINA (2) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | SungJin Choi, MaengSoon Baik, HongSoo Kim, JunWeon Yoon, Jin Gon Shon, Chong-Sun Hwang |
Region-based Stage Construction Protocol for Fault tolerant Execution of Mobile Agent. |
AINA (2) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Loh Peter, Xinhua Zhang |
A Fault-tolerant Routing Strategy for Gaussian Cube Using Gaussian Tree. |
ICPP Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
29 | John P. Hayes |
Fault-Tolerant Quantum Computers. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Meine van der Meulen |
Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Daniel C. Bünzli, Mathieu S. Capcarrère |
Fault-Tolerant Structures: Towards Robust Self-Replication in a Probabilistic Environment. |
ECAL |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Andrea E. F. Clementi, Angelo Monti, Riccardo Silvestri |
Round Robin Is Optimal for Fault-Tolerant Broadcasting on Wireless Networks. |
ESA |
2001 |
DBLP DOI BibTeX RDF |
|
29 | YunHee Kang, Ho-sang Ham, Chong-Sun Hwang |
A Fault-Tolerant Scheme of Multi-agent System for Worker Agents. |
Active Media Technology |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Nobuo Tsuda |
Fault-Tolerant Ring- and Toroidal Mesh-Connected Processor Arrays Able to Enhance Emulation of Hypercubes. |
DFT |
2000 |
DBLP DOI BibTeX RDF |
fault tolerance, hypercube, mesh, emulation, ring, massively parallel computer |
29 | Jiandong Huang, Sejun Song, L. Li, P. Kappler, R. Freimark, J. Gustin, T. Kozlik |
An open solution to fault-tolerant Ethernet: design, prototyping, and evaluation. |
IPCCC |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Jinsoo Kim 0005, Jaehyung Park, Jung Wan Cho, Hyunsoo Yoon |
Fault-Tolerant Multicasting in Multistage Interconnection Networks. |
ICPP |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Alan A. Bertossi, Andrea Fusiello, Luigi V. Mancini |
Fault-Tolerant Deadline-Monotonic Algorithm for Scheduling Hard-Real-Time Tasks. |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno |
A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols. |
ICECCS |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Maode Ma, Babak Hamidzadeh |
A Fault-tolerant Strategy for Real-time Task Scheduling on Multiprocessor System. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
Multiprocessor computer, Chunk Self-Scheduling, Simulation, Fault tolerance, Real-time system |
29 | Christine Morin, Alain Gefflaut, Michel Banâtre, Anne-Marie Kermarrec |
COMA: An Opportunity for Building Fault-Tolerant Scalable Shared Memory Multiprocessors. |
ISCA |
1996 |
DBLP DOI BibTeX RDF |
Scalable Shared, fault-tolerance, coherence protocol, backward error recovery |
29 | Binh Vien Dao, José Duato, Sudhakar Yalamanchili |
Configurable Flow Control Mechanisms for Fault-Tolerant Routing. |
ISCA |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Matti A. Hiltunen, Richard D. Schlichting |
A Model for Adaptive Fault-Tolerant Systems. |
EDCC |
1994 |
DBLP DOI BibTeX RDF |
|
29 | Paris C. Kanellakis, Dimitrios Michailidis, Alexander A. Shvartsman |
Controlling Memory Access Concurrency in Efficient Fault-Tolerant Parallel Algorithms (Extended Abstract). |
WDAG |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira, Eliane Martins |
Architecting Fault Tolerance with Exception Handling: Verification and Validation. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
fault-tolerant software architecture, model checking, exception handling, model-based test, software verification and validation |
28 | Pablo Neira Ayuso, Rafael Martinez Gasca, Laurent Lefèvre |
FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls. |
PDP |
2008 |
DBLP DOI BibTeX RDF |
fault tolerant, firewall, stateful |
28 | Rudolf Ahlswede, Harout K. Aydinian |
Sparse Asymmetric Connectors in Communication Networks. |
GTIT-C |
2006 |
DBLP DOI BibTeX RDF |
fault–tolerant connector, connector, rearrangeable network |
28 | Jong-Phil Yang, Kyung Hyune Rhee, Kouichi Sakurai |
A Proactive Secret Sharing for Server Assisted Threshold Signatures. |
HPCC |
2006 |
DBLP DOI BibTeX RDF |
Fault tolerant and Distributed Computing, Secret sharing |
28 | Arash Reyhani-Masoleh, M. Anwarul Hasan |
Error Detection in Polynomial Basis Multipliers over Binary Extension Fields. |
CHES |
2002 |
DBLP DOI BibTeX RDF |
polynomial basis multiplier, fault tolerant computing, Finite fields, error detection |
28 | Yaroslav Domaratsky, Maxim Perevozchikov, Alexander Ingulets, Alexander Alkhovik |
Back-End Software for Highly Dependable Real-Time Control Systems. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
highly dependable, TTOS, FTCom, TTP, fault-tolerant, real-time, TDMA, automotive, RTOS, safety critical, Time-triggered, FlexRay, OS |
28 | Scott Johnson 0002, Farnam Jahanian, Sunondo Ghosh, Brian Van Voorst, Nicholas Weininger |
Experiences with Group Communication Middleware. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
distributed systems, middleware, group communication, fault-tolerant communication |
28 | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |
Formal Modeling and Analysis of Atomic Commitment Protocols. |
ICPADS |
2000 |
DBLP DOI BibTeX RDF |
real-time, formal specification, distributed databases, PVS, fault-tolerant systems, mechanical verification, atomic commitment protocols |
28 | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic |
28 | Jan Peleska 0001, Bettina Buth |
Formal Methods for the International Space Station ISS. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
Byzantine AgreementProtocol, Generalised Stochastic Petri Nets, Hardware-in-the-loop Test, International Space Station, Model Checking, Formal Verification, CSP, Fault-Tolerant Systems, Test Automation |
28 | W. Lynn Gallagher, Earl E. Swartzlander Jr. |
Error-Correcting Goldschmidt Dividers Using Time Shared TMR. |
DFT |
1998 |
DBLP DOI BibTeX RDF |
Goldschmidt's algorithm, time shared TMR, TSTMR fault tolerance, fault tolerant arithmetic, division |
28 | Michele Favalli, Cecilia Metra |
Low-level error recovery mechanism for self-checking sequential circuits. |
DFT |
1997 |
DBLP DOI BibTeX RDF |
low-level error recovery mechanism, self-checking sequential circuits, reliability requirements, small embedded systems, sequential circuits, design methodology, transient faults, delay faults, fault tolerant capabilities, crosstalk faults |
28 | Érica de Lima Gallindo, Francisco Vilar Brasileiro, Vladimir Soares Catão |
Reliable Processing on the Seljuk-Amoeba Operating Environment. |
SCCC |
1997 |
DBLP DOI BibTeX RDF |
reliable processing, Seljuk-Amoeba operating environment, Amoeba distributed operating system, processing service, memory availability, CPU speed, fault tolerant processing service, Amoeba system, controlled failure semantics, per process basis, load balancing, network operating systems |
28 | Charles Changli Chin, Shang-Rong Tsai |
Transparency in a Replicated Network File System. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
replicated network file system, centralized data sharing, storage stations, modern network environments, high-performance services, Sun NFS protocol, replication transparency, failure transparency, fault-tolerant service, simple primary-backup model, mostly-read environment, high-performance file service, data integrity, transparency, data replication, data consistency, file server |
28 | Isaac Yi-Yuan Lee, Sheng-De Wang |
Ring-Connected Networks and Their Relationship to Cubical Ring Connected Cycles and Dynamic Redundancy Networks. |
IEEE Trans. Parallel Distributed Syst. |
1995 |
DBLP DOI BibTeX RDF |
multiple-fault tolerant, ring-connected network, interconnection network, hypercubic networks, Butterfly, circulant graph, cube-connected cycle, graph automorphism |
28 | Jonathan Ezekiel, Alessio Lomuscio |
Combining fault injection and model checking to verify fault tolerance in multi-agent systems. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
fault tolerance, model checking, fault injection, epistemic logic |
28 | Farshad Safaei, Ahmad Khonsari, Aresh Dadlani, Mohamed Ould-Khaoua |
A Probabilistic Characterization of Fault Rings in Adaptively-Routed Mesh Interconnection Networks. |
ISPAN |
2008 |
DBLP DOI BibTeX RDF |
Fault Rings, Fault-tolerance, Interconnection Networks, Mesh, Adaptive Routings |
28 | Marek Chrobak, Mathilde Hurand, Jirí Sgall |
Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines. |
RTSS |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Michael Nicolaidis, Yervant Zorian |
Scaling Deeper to Submicron: On-Line Testing to the Rescue. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Jang-Ping Sheu, Yuh-Shyan Chen |
Tolerating Faults in Faulty Hypercubes Using Maximal Fault-Free Subcube-Ring. |
Euro-Par |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Özalp Babaoglu |
Report on the Fourth ACM SIGOPS European Workshop: Fault Tolerance Support in Distributed Systems. |
ACM SIGOPS Oper. Syst. Rev. |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Arvind Gupta, Ján Manuch, Ladislav Stacho |
Fault Tolerant Forwarding and Optical Indexes: A Design Theory Approach. |
SIROCCO |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Boris Koldehofe |
Buffer Management in Probabilistic Peer-to-Peer Communication Protocols. |
SRDS |
2003 |
DBLP DOI BibTeX RDF |
multipeer communication, evaluation, networking, gossiping, peer-to-peer communication, fault tolerant protocols, fault tolerant communication |
28 | Alex Orailoglu |
Graceful Degradation in Synthesis of VLSI ICs. |
DFT |
1998 |
DBLP DOI BibTeX RDF |
permanent fault resilience, high level synthesis of fault-tolerant ICs, Safety Critical Systems, graceful degradation, Fault-tolerant microarchitectures |
28 | Shay Kutten, David Peleg |
Tight Fault Locality (Extended Abstract). |
FOCS |
1995 |
DBLP DOI BibTeX RDF |
fault local mending, deterministic mending algorithm, global functions, tightly fault local algorithm, computational complexity, complexity, fault tolerant computing, system recovery, fault tolerant algorithms |
28 | Rasool Jalili, Frans A. Henskens |
Using directed graphs to describe entity dependency in stable distributed persistent stores. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
entity dependency, distributed persistent stores, roll-back, stability, fault tolerant computing, dependency, object-oriented databases, checkpoint, directed graphs, directed graphs, database theory, fault-tolerant systems, persistent systems, persistent object store |
28 | Hosame Abu-Amara, Jahnavi Lokre |
Election in Asynchronous Complete Networks with Intermittent Link Failures. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
fault-tolerant leader election, asynchronous complete networks, intermittent link failures, fully-connected distributed networks, reliable processors, communication channel failures, algorithm execution, faulty channels, processor identifier set cardinality, undetectable faults, reliability, distributed algorithms, fault tolerant computing, communication complexity, failure analysis, message complexity, telecommunication channels, telecommunication network management |
28 | Gianfranco Ciardo, Christoph Lindemann |
Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets". |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
self-stabilizing clock synchronization, deterministic and stochastic Petri net, fault-tolerant clock synchronisation systems, clocking modules, software package DSPNexpress, performance evaluation, Petri nets, fault tolerant computing, synchronisation, stochastic processes, stochastic Petri nets, steady-state analysis |
28 | David A. Hoelzeman, Saïd Bettayeb |
On the Genus of Star Graphs. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
genus of star graphs, symmetry properties, fault-tolerant characteristics, maximum vertex degree, reliability, fault tolerant computing, hypercube, hypercube networks |
28 | John C. Ramirez, Rami G. Melhem |
Computational Arrays with Flexible Redundancy. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
flexible redundancy, computational arrays, processor/switch array, redundant arrays, Markov chain techniques, probability arguments, fault tolerant arrays, defect avoidance, parallel processing, fault tolerant computing, reconfiguration, redundancy, redundancy, embedding, logic design, fault detection, correction, fault masking, faulty processors, reconfiguration algorithms |
28 | Phillip F. Chimento Jr., Kishor S. Trivedi |
The Completion Time of Programs on Processors Subject to Failure and Repair. |
IEEE Trans. Computers |
1993 |
DBLP DOI BibTeX RDF |
server behavior, nonexponential repair-time distributions, job completion time, Laplace-Stieltjes transform, failure-repair models, multistate computer systems, performance evaluation, fault tolerant computing, Markov processes, fault-tolerant system, preemptions, semi-Markov process, computer performance, Laplace transforms, closed-form expression |
28 | Edwin Hsing-Mean Sha, Kenneth Steiglitz |
Reconfigurability and Reliability of Systolic/Wavefront Arrays. |
IEEE Trans. Computers |
1993 |
DBLP DOI BibTeX RDF |
wavefront arrays, fault-tolerant redundant structures, reliable arrays, application graph, finitely reconfigurable, locally reconfigurable, reliability, lower bound, fault tolerant computing, reconfigurability, time complexity, systolic arrays, systolic arrays, reconfigurable architectures, dynamic graphs, bounded-degree graphs |
28 | Kang G. Shin, Chih-Che Chou |
A Simple Distributed Loop-Free Routing Strategy for Computer Communication Networks. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
loadchanges, distributed adaptive routing, distributed loop-free routing, network delay tables, routingmessages, fault tolerant computing, computer networks, computer networks, correctness, network routing, fault-tolerant routing, ARPANET, loop-free, routing strategy, component failures, computer communication networks |
28 | Robert Geist, A. Jefferson Offutt, Frederick C. Harris Jr. |
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis. |
IEEE Trans. Computers |
1992 |
DBLP DOI BibTeX RDF |
real-time software reliability, numerical estimates, synchronization structure, correlated sampling, module execution times, planetary lander control software, mutation-tested code, fault-tolerant software systems, simulation, computational complexity, Petri nets, fault tolerant computing, dependencies, software reliability, stochastic Petri net, mutation testing, software faults, mutation analysis, NASA |
28 | Guu-chang Yang, Thomas E. Fuja |
The Reliability of Systems with Two Levels of Fault Tolerance: The Return of the "Birthday Surprise". |
IEEE Trans. Computers |
1992 |
DBLP DOI BibTeX RDF |
chip level coding, hierarchical levels, random access memory systems, board-level coding, fault-tolerant systolic arrays, fault tolerance, reliability, fault tolerant computing, encoding, systolic arrays, random-access storage, two-dimensional array |
28 | Amitava Majumdar 0002, Cauligi S. Raghavendra, Melvin A. Breuer |
Fault Tolerance in Linear Systolic Arrays Using Time Redundancy. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
triple time redundancy, gracefully degradable mode, fault tolerant computing, logic testing, reconfiguration, throughput, interconnection, switching, performance metrics, cellular arrays, running time, reliability analysis, control structures, fault-tolerant capabilities, linear systolic arrays |
28 | Meiliu Lu, Du Zhang, Tadao Murata |
Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
self stabilising clock synchronisation, fault tolerant clock synchronisation, statistical self-diagnosis, SPN software package, Petri nets, fault tolerant computing, distributed processing, Markov processes, self-stability, Markov model, synchronisation, stochastic Petri nets |
28 | Chien-Chun Su, Hao-Yung Lo |
An Algorithm for Scaling and Single Residue Error Correction in Residue Number Systems. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
single residue digit error correction, mixed radix conversion, redundant digits, scaling error, error-correction circuit with scaling, fault tolerant computing, digital signal processing, digital arithmetic, error correction, residue number systems, RNS, fault-tolerant systems, digital signal processing chips, number theory, lookup table |
28 | Fred J. Meyer, Dhiraj K. Pradhan |
Modeling Defect Spatial Distribution. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
defect spatial distribution modelling, center-satellite model, wafers, redundancy techniques, cluster, VLSI, fault tolerant computing, circuit CAD, fault-tolerant designs, yield models, WSI |
28 | James T. Blake, Kishor S. Trivedi |
Multistage Interconnection Network Reliability. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
unique-path multistage interconnection network, fault-tolerant scheme, time-dependent reliability, shuffle-exchange multistage interconnection networks, SENs, SEN+, component-lifetime distributions, tight reliability lower bound, computational complexity, fault tolerant computing, multiprocessor interconnection networks, system reliability, circuit reliability |
Displaying result #601 - #700 of 14452 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|