Search results for "PMC model"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Cheng-Kuan Lin, Tzu-Liang Kung, Jimmy J. M. Tan	Conditional-Fault Diagnosability of Multiprocessor Systems with an Efficient Local Diagnosis Algorithm under the PMC Model.	IEEE Trans. Parallel Distrib. Syst.	2011	DBLP DOI BibTeX RDF	reliability, Fault diagnosis, diagnosability, PMC model, diagnosis algorithm
2	Guey-Yun Chang	Conditional ({t}, k)-Diagnosis under the PMC Model.	IEEE Trans. Parallel Distrib. Syst.	2011	DBLP DOI BibTeX RDF	Conditional fault, (t,k)-diagnosis, fault-tolerance, multiprocessor system, system-level diagnosis, PMC model, sequential diagnosis
2	Sun-Yuan Hsieh, Tsung-Yen Chuang	The Strong Diagnosability of Regular Networks and Product Networks under the PMC Model.	IEEE Trans. Parallel Distrib. Syst.	2009	DBLP DOI BibTeX RDF
2	Miroslav Manik, Elena Gramatová	Diagnosis of faulty units in regular graphs under the PMC model.	DDECS	2009	DBLP DOI BibTeX RDF
2	Miroslav Manik, Elena Gramatová	Boolean Formalisation of the PMC Model for Faulty Units Diagnosis in Regular Multi-Processor Systems.	DDECS	2008	DBLP DOI BibTeX RDF
2	Xiaofan Yang, Yuan Yan Tang	Efficient Fault Identification of Diagnosable Systems under the Comparison Model.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	comparison model, Multicomputer, system-level diagnosis, PMC model, diagnosis algorithm, diagnosable system
2	Guo-Huang Hsu, Jimmy J. M. Tan	A Local Diagnosability Measure for Multiprocessor Systems.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	local diagnosability, strong local diagnosability property, PMC model
2	Pao-Lien Lai, Jimmy J. M. Tan, Chien-Ping Chang, Lih-Hsing Hsu	Conditional Diagnosability Measures for Large Multiprocessor Systems.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	t{hbox{-}}{rm diagnosable}, strongly t{hbox{-}}{rm diagnosable}, conditional faulty set, conditional diagnosability, diagnosability, PMC model
2	Guey-Yun Chang, Gerard J. Chang, Gen-Huey Chen	Diagnosabilities of Regular Networks.	IEEE Trans. Parallel Distrib. Syst.	2005	DBLP DOI BibTeX RDF	diagnosis by comparison, pessimistic diagnosis strategy, precise diagnosis strategy, hypercube, Diagnosis, multiprocessor system, PMC model
2	Hans Toetenel, R. F. Lutje Spelberg, G. Bandini	Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.	RTCSA	2000	DBLP DOI BibTeX RDF	IEEE 1394a standard, Root Contention protocol, LPMC, PMC model checker, parameter relations, real-time model checking, parameter timing intervals, real-time systems, protocols, formal verification, randomization, telecommunication standards, linear constraints, IEEE standards, parametric verification
1	Nai-Wen Chang, Sun-Yuan Hsieh	Conditional Diagnosability of Augmented Cubes under the PMC Model.	IEEE Trans. Dependable Sec. Comput.	2012	DBLP DOI BibTeX RDF
1	Tseng-Kuei Li, Chang-Hsiung Tsai, Hong-Chun Hsu	A fast fault-identification algorithm for bijective connection graphs using the PMC model.	Inf. Sci.	2012	DBLP DOI BibTeX RDF
1	Shuming Zhou, Jian Wang, Xirong Xu, Jun-Ming Xu	Conditional Fault Diagnosis of Bubble Sort Graphs under the PMC Model	CoRR	2012	DBLP BibTeX RDF
1	Erjie Yang, Xiaofan Yang, Qiang Dong, Jing Li	Conditional diagnosability of hypermesh optical multiprocessor systems under the PMC model.	Int. J. Comput. Math.	2011	DBLP DOI BibTeX RDF
1	Cheng-Kuan Lin, Tzu-Liang Kung, Shao-Lun Peng, Jimmy J. M. Tan, Lih-Hsing Hsu	The Diagnosability of g-good-neighbor Conditional-Faulty Hypercube under PMC Model.	PDPTA	2010	DBLP BibTeX RDF
1	Li Jun, Tan Xuegong	The Diagnosability of Augmented Cubes under PMC Model.	PDCAT	2010	DBLP DOI BibTeX RDF
1	Min Xu, Krishnaiyan Thulasiraman, Xiao-Dong Hu	Conditional Diagnosability of Matching Composition Networks Under the PMC Model.	IEEE Trans. on Circuits and Systems	2009	DBLP DOI BibTeX RDF
1	Qiang Zhu	On conditional diagnosability and reliability of the BC networks.	The Journal of Supercomputing	2008	DBLP DOI BibTeX RDF	BC networks, Super connectivity, Conditional diagnosability, PMC model
1	Hui Yang, Mourad Elhadef, Amiya Nayak, Xiaofan Yang	Network Fault Diagnosis: An Artificial Immune System Approach.	ICPADS	2008	DBLP DOI BibTeX RDF
1	Antonio Caruso, Stefano Chessa, Piero Maestrini	Worst-Case Diagnosis Completeness in Regular Graphs under the PMC Model.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	isoperimeter, Fault tolerance, Graph Theory, parallel architectures, fault diagnosis, system-level diagnosis
1	Mourad Elhadef, Amiya Nayak, Ni Zeng	Ants vs. faults: A swarm intelligence approach for diagnosing distributed computing networks.	ICPADS	2007	DBLP DOI BibTeX RDF
1	Mark Lanus	Fault Tolerant Schemes for Hot-Swappable and Non Hot-Swappable Mezzanine Cards.	ISAS	2007	DBLP DOI BibTeX RDF	Fault Management Model, Advanced Mezzanine Card, AMC, AMC Carrier, PCI Mezzanine Card, PMC, PMC Carrier, Availability Model
1	Guey-Yun Chang, Gen-Huey Chen	c-Step Diagnosis.	PDCAT	2006	DBLP DOI BibTeX RDF	one-step diagnosis, multiprocessor system, Diagnosability, PMC model, sequential diagnosis
1	Guey-Yun Chang, Gen-Huey Chen, Gerard J. Chang	(t, k)-Diagnosis for Matching Composition Networks.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	matching composition network, precise diagnosis strategy, (t,k){hbox{-}}{rm diagnosis}, multiprocessor system, Diagnosability, PMC model, sequential diagnosis
1	Vinod B. Prasad	Parallel Processors and an Approach to the Development of Inference Engine.	SNPD	2005	DBLP DOI BibTeX RDF
1	Toru Araki, Yukio Shibata	(t, k)-Diagnosable System: A Generalization of the PMC Models.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	one-step t-diagnosis, sequential t-diagnosis, Fault diagnosis, diagnosability, PMC model, Cartesian product
1	Antonio Caruso, Stefano Chessa, Piero Maestrini, Paolo Santi	Evaluation of a Diagnosis Algorithm for Regular Structures.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	wafer-scale testing, Fault tolerance, multiprocessor systems, system-level diagnosis, PMC model
1	Stefano Chessa, Piero Maestrini	Correct and Almost Complete Diagnosis of Processor Grids.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	processor grids, constant-degree diagnosis, System-level diagnosis, PMC model, diagnosis algorithm
1	Ann E. Kelley Sobel, Richard C. Linger	Advances in Software Specification and Verification - Minitrack Introduction. (PDF / PS)	HICSS	2001	DBLP DOI BibTeX RDF
1	Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel	Transformation of UML Specification to XTG.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
1	Fred J. Meyer, Fabrizio Lombardi, Jun Zhao	Good Processor Identification in Two-Dimensional Grids. (PDF / PS)	DFT	1999	DBLP DOI BibTeX RDF	regular array, repair, PMC model, sequential diagnosis, homogeneous system
1	Jae-Kwon Suh, Heok-Joung Kwon, Chung-Sei Rhee	An parallel diagnosis method for an optimal fault-tolerant network. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF	parallel diagnosis method, optimal fault-tolerant network, multiprocessor network architecture, adaptive diagnosis approach, binary cube, hypercube, multiprocessor interconnection networks, diagnosable system
1	Xiaofan Yang, Tinghuai Chen, Zehan Cao, Zhongshi He, Hongqing Cao	A New Scheme For The Fault Diagnosis Of Multiprocessor Systems.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	system-level probabilistic diagnosis, K-Step-Voting algorithm, generalised Majority-Voting algorithm, BGM model, pessimistic model, fault tolerance, fault diagnosis, high-performance computing, multiprocessing systems, fault model, multiprocessor systems, computer simulations, random graphs, PMC model, diagnosis algorithm, connection assignment, hypercube systems
1	Judy Stephens, Vijaj Raghavan	On Single-Fault Set Diagnosability in the PMC Model.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF
1	Vijay V. Raghavan, Anand R. Tripathi	Sequential Diagnosability is Co-NP Complete.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	graph theory model, weighted model, co-NP complete, sequential diagnosability number, BGM models, computational complexity, graph theory, fault diagnosis, fault tolerant computing, software reliability, planar graphs, decision problem, PMC model
1	Henryk Krawczyk, Wojciech E. Kozlowski	On the Diagnosability of Multicomputer Systems with Homogeneous and Incomplete Tests.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	homogeneous tests, system level fault diagnosis models, incomplete tests, generalized PMC model, visible faults, t/sub v/-diagnosable systems, O(mod T mod) diagnosis algorithm, computational complexity, multiprocessing systems, automatic testing, fault location, diagnosability, sufficient condition, multicomputer systems, computer testing, necessary conditions, connection assignment, fault identification