Search results for "fault propagation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Haining Chen, Yongbin Zhou, Wenling Wu, Na Wang	Fault Propagation Pattern Based DFA on Feistel Ciphers, with Application to Camellia.	CIT	2010	DBLP DOI BibTeX RDF	Fault Propagation Pattern, Fault Propagation Path, Camellia, Feistel Cipher, Differential Fault Analysis
3	Nageswara S. V. Rao	On Parallel Algorithms for Single-Fault Diagnosis in Fault Propagation Graph Systems.	IEEE Trans. Parallel Distrib. Syst.	1996	DBLP DOI BibTeX RDF	fault propagation graph, operative diagnosis, CREW PRAM and hypercube, Fault diagnosis, single fault
2	Xin Feng, David Lorge Parnas, T. H. Tse	Fault Propagation in Tabular Expression-Based Specifications.	COMPSAC	2008	DBLP DOI BibTeX RDF	test case constraint, specification table, description table, fault-based testing, tabular expression, Fault propagation
2	Meiko Jensen	A Fault Propagation Approach for Highly Distributed Service Compositions.	IEEE SCC	2008	DBLP DOI BibTeX RDF	Web Services, service composition, exception handling, fault handling
2	Tanya L. Crenshaw, Elsa L. Gunter, Craig L. Robinson, Lui Sha, P. R. Kumar	The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures.	RTSS	2007	DBLP DOI BibTeX RDF
2	Frantz Iwu, Ian Toyn	Modelling and Analysing Fault Propagation in Safety-Related Systems.	SEW	2003	DBLP DOI BibTeX RDF
2	Huy Nguyen, Rabindra K. Roy, Abhijit Chatterjee	Partial Reset Methodology and Experiments for Improving Random-Pattern Testability and BIST of Sequential Circuits.	J. Electronic Testing	1999	DBLP DOI BibTeX RDF	sequential circuit BIST, built0in self-test, fault propagation analysis, BIST, partial reset
2	Viral Shah, Sourav Bhattacharya	Fault propagation analysis based variable length checkpoint placement for fault-tolerant parallel and distributed systems. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	fault propagation analysis based variable length checkpoint placement, fault tolerant parallel systems, optimal checkpoint placement strategies, failure propagation analysis, distributed rollback recovery system, FPA based checkpoint placement strategy, task grouping/allocation, loop stabilization aspects, message communication instructions, checkpoint placement strategy, message send/receive regions, FPA process, checkpoint placement strategies, cyclic relationship, distributed systems, parallel algorithm, fast Fourier transform, FFT, recursion, distributed programs, task allocation, system recovery, link failures
2	Yusen Lin, Sourav Bhattacharya	Impact of rollback recovery to program locality of reference and page replacement policies.	FTDCS	1997	DBLP DOI BibTeX RDF	page replacement policies, cache block replacement policies, fault-triggered rollback, simulation, fault tolerance, performance, memory management, checkpointing, research, system recovery, rollback recovery, locality of reference, fault propagation
2	Chen-Pin Kung, Chun-Jieh Huang, Chen-Shang Lin	Fast fault simulation for BIST applications.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	signature computation, BIST applications, combinational fault simulation, BISTSIM, demand-driven logic simulation algorithm, fault propagation methods, bit-array computation, parallel-pattern sequential simulation, speedup ratio, VLSI, VLSI, logic testing, built-in self test, integrated circuit testing, combinational circuits, digital simulation, circuit analysis computing, aliasing, test patterns, MISR
2	Nageswara S. V. Rao	Computational Complexity Issues in Operative Diagnosis of Graph-Based Systems.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	graph-based systems, alarm placement, fault propagation time, alarm placement problem, computational complexity, computational complexity, fault diagnosis, fault tolerant computing, NP-complete, fault propagation
2	Byung S. So, Charles R. Kime	A fault simulation method: Parallel pattern critical path tracing.	J. Electronic Testing	1993	DBLP DOI BibTeX RDF	parallel pattern simulation, single fault propagation, fault simulation, Critical path tracing
1	Xin-jie Zhao, Tao Wang, Shize Guo	Fault-propagation Pattern Based DFA on SPN Structure Block Ciphers using Bitwise Permutation, with Application to PRESENT and PRINTcipher.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Luis Ribeiro, José Barata, Bruno Alves, João Ferreira	Diagnosis in Networks of Mechatronic Agents: Validation of a Fault Propagation Model and Performance Assessment.	DoCEIS	2011	DBLP DOI BibTeX RDF
1	Agnieszka Betkowska Cavalcante, Monika Grajzer	Fault Propagation Model for Ad Hoc Networks.	ICC	2011	DBLP DOI BibTeX RDF
1	Iman Faraji, Moslem Didehban, Hamid R. Zarandi	Analysis of Transient Faults on a MIPS-Based Dual-Core Processor.	ARES	2010	DBLP DOI BibTeX RDF	Dual-core microprocessor, Microprocessor without Interlocked Pipeline Stages (MIPS), simulation-based fault injection, vulnerability analysis, fault propagation
1	Michael A. Kochte, Marcel Schaal, Hans-Joachim Wunderlich, Christian G. Zoellin	Efficient fault simulation on many-core processors.	DAC	2010	DBLP DOI BibTeX RDF	PPSFP, parallel fault simulation, many-core processors
1	Natasa Miskov-Zivanov, Diana Marculescu	Formal modeling and reasoning for reliability analysis.	DAC	2010	DBLP DOI BibTeX RDF	reliability, SER, symbolic techniques
1	S. Krishna Kumar, S. Kaundinya, Subhadip Kundu, Santanu Chattopadhyay	Customizing pattern set for test power reduction via improved X-identification and reordering.	ISLPED	2010	DBLP DOI BibTeX RDF	don't care bits, runtime leakage power, vector reordering, x-fill, dynamic power
1	Fan Yang, Sirish L. Shah, Deyun Xiao	SDG model-based analysis of fault propagation in control systems.	CCECE	2009	DBLP DOI BibTeX RDF
1	Fan Zhang, Xingshe Zhou, Yunwei Dong, Junwen Chen	Consider of fault propagation in architecture-based software reliability analysis.	AICCSA	2009	DBLP DOI BibTeX RDF
1	Lianzhong Liu, Chunfang Li, Yanping Zhang	A Business-Oriented Fault Localization Approach Using Digraph.	ISPA	2009	DBLP DOI BibTeX RDF	security auditing, fault propagation model, fault localization, transitive closure
1	Kunal P. Ganeshpure, Sandip Kundu	An ILP Based ATPG Technique for Multiple Aggressor Crosstalk Faults Considering the Effects of Gate Delays.	VLSI Design	2009	DBLP DOI BibTeX RDF
1	Chi-Shih Chao, Szu-Pei Lu	Towards Fault Isolation in WDM Mesh Networks.	APNOMS	2009	DBLP DOI BibTeX RDF	alarm clustering, passive probing, diagnostic power, SRLG, dependency matrix
1	Nikhil Saluja, Kanupriya Gulati, Sunil P. Khatri	SAT-based ATPG using multilevel compatible don't-cares.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Boolean satisfiabilty (SAT), testing, Automatic test pattern generation (ATPG), don't cares
1	Cheng Zhang, Jianxin Liao, Xiaomin Zhu	Probabilistic Event-Driven Heuristic Fault Localization using Incremental Bayesian Suspected Degree.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Edward Flanigan, Arkan Abdulrahman, Spyros Tragoudas	Sequential Path Delay Fault Identification Using Encoded Delay Propagation Signatures.	ISQED	2008	DBLP DOI BibTeX RDF
1	Cheng Zhang, Jianxin Liao, Xiaomin Zhu	SWPM: An Incremental Fault Localization Algorithm Based on Sliding Window with Preprocessing Mechanism.	PDCAT	2008	DBLP DOI BibTeX RDF
1	Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke	FPTC: Automated Safety Analysis for Domain-Specific Languages.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF
1	Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou	Triage: diagnosing production run failures at the user's site.	SOSP	2007	DBLP DOI BibTeX RDF	onsite, debugging, diagnosis
1	Fan Yang, Deyun Xiao	Sensor location problem for large-scale complex systems in the framework of the dynamic Signed Directed Graph.	SMC	2007	DBLP DOI BibTeX RDF
1	Kinji Mori	Autonomous Decentralized System for Service Assurance and Its Application.	ISAS	2007	DBLP DOI BibTeX RDF	Service Assurance, real-time, high-performance, Autonomous Community, Autonomous Decentralized System
1	Vinh Vi Lam, William H. Sanders, Peter Buchholz	A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs.	DSN	2006	DBLP DOI BibTeX RDF
1	Kinji Mori	Autonomous Decentralized System and its Applications in Ubiquitous Computing.	SUTC	2006	DBLP DOI BibTeX RDF
1	George Xenoulis, Mihalis Psarakis, Dimitris Gizopoulos, Antonis M. Paschalis	Testability Analysis and Scalable Test Generation for High-Speed Floating-Point Units.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	testability conditions, datapath testing, floating-point unit testing, Test generation, processor testing
1	Malcolm Wallace	Modular Architectural Representation and Analysis of Fault Propagation and Transformation.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Xijiang Lin, Janusz Rajski	Propagation delay fault: a new fault model to test delay faults.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	George Xenoulis, Mihalis Psarakis, Dimitris Gizopoulos, Antonis M. Paschalis	Test Generation Methodology for High-Speed Floating Point Adders.	IOLTS	2005	DBLP DOI BibTeX RDF
1	Girish Chafle, Sunil Chandra, Pankaj Kankar, Vijay Mann	Handling Faults in Decentralized Orchestration of Composite Web Services.	ICSOC	2005	DBLP DOI BibTeX RDF
1	Khaled El-Fakih, Nina Yevtushenko	Fault Propagation by Equation Solving.	FORTE	2004	DBLP DOI BibTeX RDF
1	Dan Alexandrescu, Lorena Anghel, Michael Nicolaidis	Simulating Single Event Transients in VDSM ICs for Ground Level Radiation.	J. Electronic Testing	2004	DBLP DOI BibTeX RDF	single fault propagation, fault simulation, soft-errors, single event upsets
1	Kinji Mori	Trend of Autonomous Decentralized Systems.	FTDCS	2004	DBLP DOI BibTeX RDF
1	Yi-Feng Wang, Chuei-Tin Chang	A hierarchical approach to construct Petri nets for modeling the fault propagation mechanisms in sequential operations.	Computers & Chemical Engineering	2003	DBLP DOI BibTeX RDF
1	Martin Omaña, Giacinto Papasso, Daniele Rossi, Cecilia Metra	A Model for Transient Fault Propagation in Combinatorial Logic.	IOLTS	2003	DBLP DOI BibTeX RDF
1	Alan Fedoruk, Ralph Deters	Using dynamic proxy agent replicate groups to improve fault-tolerance in multi-agent systems.	AAMAS	2003	DBLP DOI BibTeX RDF	agent replication, fault-tolerance, dependability
1	Hamid R. Zarandi, Seyed Ghassem Miremadi, Ali Reza Ejlali	Dependability Analysis Using a Fault Injection Tool Based on Synthesizability of HDL Models.	DFT	2003	DBLP DOI BibTeX RDF
1	Weining Gu, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Zhen-Yu Yang	Characterization of Linux Kernel Behavior under Errors.	DSN	2003	DBLP DOI BibTeX RDF
1	Upkar Varshney, Alisha D. Malloy	Multilevel Fault-tolerance for Designing Dependable Wireless Networks. (PDF / PS)	HICSS	2003	DBLP DOI BibTeX RDF
1	Marie-Lise Flottes, Christian Landrault, A. Petitqueux	A Unified DFT Approach for BIST and External Test.	J. Electronic Testing	2003	DBLP DOI BibTeX RDF	BIST, DFT, test point insertion, partial reset
1	Yiannis Papadopoulos	Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model.	SAFECOMP	2002	DBLP DOI BibTeX RDF
1	Alan Fedoruk, Ralph Deters	Improving fault-tolerance by replicating agents.	AAMAS	2002	DBLP DOI BibTeX RDF	FIPA-OS, replicating agents, fault-tolerance
1	Jin-Fu Li, Cheng-Wen Wu	Efficient FFT network testing and diagnosis schemes.	IEEE Trans. VLSI Syst.	2002	DBLP DOI BibTeX RDF
1	Malgorzata Steinder, Adarshpal S. Sethi	Distributed Fault Localization in Hierarchically Routed Networks.	DSOM	2002	DBLP DOI BibTeX RDF
1	Ramesh C. Tekumalla, Premachandran R. Menon	Identification of primitive faults in combinational and sequentialcircuits.	IEEE Trans. on CAD of Integrated Circuits and Systems	2001	DBLP DOI BibTeX RDF
1	John M. Rushby	Bus Architectures for Safety-Critical Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Piotr Gawkowski, Janusz Sosnowski	Experimental Evaluation of Fault Handling Mechanisms.	SAFECOMP	2001	DBLP DOI BibTeX RDF
1	K. B. Lakshmanan, Daniel J. Rosenkrantz, S. S. Ravi	Alarm placement in systems with fault propagation.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
1	Hussain Al-Asaad, John P. Hayes	ESIM: A Multimodel Design Error and Fault Simulator for Logic Circuits.	VTS	2000	DBLP DOI BibTeX RDF	error and fault simulation, error modeling, Design validation, critical path tracing
1	Mourad Elhadef, Béchir el Ayeb, Nageswara S. V. Rao	Operative Diagnosis Algorithms for Single-Fault in Graph-Based Systems.	IEA/AIE	2000	DBLP DOI BibTeX RDF
1	Zhide Zeng, Jihua Chen, Hefeng Cao	Research and Implementation of a High Speed Test Generation for Ultra Large Scale Combinational Circuits.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	finite backtracking test pattern generation, n to 1 tightly coupled integration mode, parallel-pattern, single-fault propagation, ultra large scale combinational circuit (ULSCC
1	Firas Khadour, Xiaoling Sun	Fast Signature Simulation for PPSFP Simulators. (PDF / PS)	DFT	1999	DBLP DOI BibTeX RDF
1	Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao	Hierarchical Simulation Approach to Accurate Fault Modeling for System Dependability Evaluation.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Hierarchical simulation, accurate fault modeling, dependability evaluation, fault dictionaries
1	K. Van Doorselaere, Kris Struyve, Carlo Brianza, Piet Demeester	Time analysis of fault propagation in SDH-based ATM networks.	Broadband Communications	1998	DBLP BibTeX RDF
1	Peter Dahlgren	Switch-level bridging fault simulation in the presence of feedbacks.	ITC	1998	DBLP DOI BibTeX RDF
1	Jeffrey M. Voas	Software testability measurement for intelligent assertion placement.	Software Quality Journal	1997	DBLP DOI BibTeX RDF	testing, observability, testability, failure, fault, assertions, fault propagation
1	Cristiana Bolchini, Giacomo Buonanno, M. Cozzini, Donatella Sciuto, Renato Stefanelli	Designing Ad-Hoc Codes for the Realization of Fault Tolerant CMOS Networks. (PDF / PS)	DFT	1997	DBLP DOI BibTeX RDF
1	Huy Nguyen, Abhijit Chatterjee, Rabindra K. Roy	Impact of Partial Reset on Fault Independent Testing and BIST.	VLSI Design	1997	DBLP DOI BibTeX RDF
1	Kuen-Jong Lee, Jing-Jou Tang, Tsung-Chu Huang, Cheng-Liang Tsai	Combination Of Automatic Test Pattern Generation And Built-In Intermediate Voltage Sensing For Detecting CMOS Bridging Faults.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	CMOS bridging faults detection, ATPG system, built-in intermediate voltage sensing, BIFEST system, PODEM-like process, PPSFP-based process, logic monitoring, gate threshold ranges, Byzantine General's Command Problem, feedback bridging faults, parallel pattern single fault propagation, fault modelling, fault simulation, fault coverage, greedy algorithm, CMOS logic circuits
1	Jeffrey M. Voas, Keith W. Miller	The Avalanche Paradigm: An Experimental Software Programming Technique for Improving Fault-tolerance.	ECBS	1996	DBLP DOI BibTeX RDF	static error flow analysis, fault-tolerance, fault, assertions, propagation, software safety, hazard
1	Hyung Ki Lee, Dong Sam Ha	HOPE: an efficient parallel fault simulator for synchronous sequential circuits.	IEEE Trans. on CAD of Integrated Circuits and Systems	1996	DBLP DOI BibTeX RDF
1	Mandyam-Komar Srinivas, James Jacob, Vishwani D. Agrawal	Functional test generation for synchronous sequential circuits.	IEEE Trans. on CAD of Integrated Circuits and Systems	1996	DBLP DOI BibTeX RDF
1	Raimund Ubar, Marina Brik	Multi-Level Test Generation and Fault Diagnosis for Finite State Machines.	EDCC	1996	DBLP DOI BibTeX RDF
1	Wolfgang Meyer, Raul Camposano	Active timing multilevel fault-simulation with switch-level accuracy.	IEEE Trans. on CAD of Integrated Circuits and Systems	1995	DBLP DOI BibTeX RDF
1	Timothy K. Tsai, Ravishankar K. Iyer	Measuring Fault Tolerance with the FTAPE Fault Injection Tool.	MMB	1995	DBLP DOI BibTeX RDF	fault tolerance measurement, stress-based injection, fault injection, workload generator
1	Prathima Agrawal, Vishwani D. Agrawal, Sharad C. Seth	Generating Tests for Delay Faults in Nonscan Circuits.	IEEE Design & Test of Computers	1993	DBLP DOI BibTeX RDF
1	Wei-lun Kao, Ravishankar K. Iyer, Dong Tang	FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	FINE, fault injection and monitoring environment, UNIX system behavior, hardware-induced software errors, fault injector, analysis utilities, SunOS 4.1.2, transient Markov reward analysis, bus faults, CPU faults, pointer faults, software tools, Unix, program testing, system monitoring, software faults, software monitor, workload generator
1	Thomas M. Niermann, Wu-Tung Cheng, Janak H. Patel	PROOFS: a fast, memory-efficient sequential circuit fault simulator.	IEEE Trans. on CAD of Integrated Circuits and Systems	1992	DBLP DOI BibTeX RDF
1	Hyung Ki Lee, Dong Sam Ha	An Efficient, Forward Fault Simulation Algorithm Based on the Parallel Pattern Single Fault Propagation.	ITC	1991	DBLP DOI BibTeX RDF
1	Ramachandra P. Kunda, Jacob A. Abraham, Bharat Deep Rathi, Prakash Narain	Speed Up of Test Generation Using High-Level Primitives.	DAC	1990	DBLP DOI BibTeX RDF
1	Thomas M. Niermann, Wu-Tung Cheng, Janak H. Patel	Proofs: A Fast, Memory Efficient Sequential Circuit Fault Simulator.	DAC	1990	DBLP DOI BibTeX RDF
1	Wu-Tung Cheng, Janak H. Patel	PROOFS: a super fast fault simulator for sequential circuits.	EURO-DAC	1990	DBLP DOI BibTeX RDF
1	Nagisa Ishiura, Masayuki Ito, Shuzo Yajima	Dynamic two-dimensional parallel simulation technique for high-speed fault simulation on a vector processor.	IEEE Trans. on CAD of Integrated Circuits and Systems	1990	DBLP DOI BibTeX RDF
1	Xaiolin Wang, Fredrick J. Hill, Zhengkin Mi	A Sequential Circuit Fault Simulation by Surrogate Fault Propagation.	ITC	1989	DBLP DOI BibTeX RDF
1	Wu-Tung Cheng, Meng-Lin Yu	Differential Fault Simulation - a Fast Method Using Minimal Memory.	DAC	1989	DBLP DOI BibTeX RDF
1	F. E. Norrod	An Automatic Test Generation Algorithm for Hardware Description Languages.	DAC	1989	DBLP DOI BibTeX RDF
1	Fredrick J. Hill, Eltayeb Abuelyamen, Wei-Kang Huang, Guo-Qiang Shen	A New Two Task Algorithm for Clock Mode Fault Simulation in Sequential Circuits.	DAC	1988	DBLP BibTeX RDF
1	Yutaka Miyabe, Csaba Biegl, Kazuhiko Kawamura	Methodologies for a Real-Time Intelligent Supervisory System for a Hot Strip Mill Finisher.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF
1	Jacob Savir, William H. McAnney, Salvatore R. Vecchio	Fault Propagation Through Embedded Multiport Memories.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	logic testing, Markov chain, fault detection, self-testing, embedded memory, Detection probability, random access memory, random patterns
1	John A. Waicukauski, Eric Lindbloom, Vijay S. Iyengar, Barry K. Rosen	Transition Fault Simulation by Parallel Pattern Single Fault Propagation.	ITC	1986	DBLP BibTeX RDF
1	Premachandran R. Menon, Stephen G. Chappell	Deductive Fault Simulation with Functional Blocks.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	fault lists, simulation, functional, faults, Deductive, functional faults, fault propagation