|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 271 occurrences of 126 keywords
|
|
|
Results
Found 717 publication records. Showing 717 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
167 | Guo-Huang Hsu, Jimmy J. M. Tan |
A Local Diagnosability Measure for Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(5), pp. 598-607, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
local diagnosability, strong local diagnosability property, PMC model |
138 | Pao-Lien Lai, Jimmy J. M. Tan, Chien-Ping Chang, Lih-Hsing Hsu |
Conditional Diagnosability Measures for Large Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(2), pp. 165-175, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
t{hbox{-}}{rm diagnosable}, strongly t{hbox{-}}{rm diagnosable}, conditional faulty set, conditional diagnosability, diagnosability, PMC model |
132 | Chieh-Feng Chiang, Jimmy J. M. Tan |
Using Node Diagnosability to Determine t-Diagnosability under the Comparison Diagnosis Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 58(2), pp. 251-259, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
120 | Dajin Wang |
Diagnosability of Hypercubes and Enhanced Hypercubes under the Comparison Diagnosis Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 48(12), pp. 1369-1374, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
diagnosis by comparison, interconnection network, graph theory, hypercube, Diagnosability |
110 | Mukund Sivaraman, Andrzej J. Strojwas |
A diagnosability metric for parametric path delay faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 316-323, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
diagnosability metric, parametric path delay faults, test vector pairs, chip failure, fabrication process parameter variations, diagnosis framework, ISCAS'89 benchmark circuits, VLSI, fault diagnosis, logic testing, delays, timing, integrated circuit testing, failure analysis, diagnosability, delay fault testing, test set |
102 | Fuchun Liu, Daowen Qiu |
Diagnosability of Fuzzy Discrete-Event Systems: A Fuzzy Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 17(2), pp. 372-384, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
102 | Louise Travé-Massuyès, Teresa Escobet, Xavier Olive |
Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 36(6), pp. 1146-1160, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
102 | Pao-Lien Lai, Jimmy J. M. Tan, Chang-Hsiung Tsai, Lih-Hsing Hsu |
The Diagnosability of the Matching Composition Network under the Comparison Diagnosis Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(8), pp. 1064-1069, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
102 | YuanLin Wen, MuDer Jeng |
Diagnosability of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (5) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 4891-4896, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
92 | Jianxi Fan, Xiaola Lin |
The t/k-Diagnosability of the BC Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(2), pp. 176-184, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
precise diagnosis strategy, pessimistic diagnosis strategy, t/k-diagnosis strategy, BC graph, Möbius cube, hypercube, Diagnosis, diagnosability, crossed cube, twisted cube |
92 | Chien-Ping Chang, Pao-Lien Lai, Jimmy J. M. Tan, Lih-Hsing Hsu |
Diagnosability of t-Connected Networks and Product Networks under the Comparison Diagnosis Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(12), pp. 1582-1590, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
comparison diagnosis model, t-diagnosable, order graph, connectivity, Diagnosability, product networks |
88 | YuanLin Wen, MuDer Jeng, Li-Der Jeng, Pei-Shu Fan |
An Intelligent Technique Based on Petri Nets for Diagnosability Enhancement of Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part II, pp. 879-887, 2006, Springer, 3-540-46537-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
88 | JiangJing Pan, Shahin Hashtrudi-Zad |
Diagnosability Test for Timed Discrete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 13-15 November 2006, Arlington, VA, USA, pp. 63-72, 2006, IEEE Computer Society, 0-7695-2728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
87 | Joo-Kang Lee, Jon T. Butler |
A Characterization of t/s-Diagnosability an Sequential t-Diagnosability in Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(10), pp. 1298-1304, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
t/s-diagnosability, sequential t-diagnosability, characterization theorem, single-loop system, designs, fault tolerant computing, multiprocessing system, multiprocessing systems, nodes, diagnosability, sufficient condition, faulty processors |
76 | Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis |
Diagnosis of Intermittent Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 14(2), pp. 171-202, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fault diagnosis, fault detection, diagnosability, intermittent faults |
73 | Sun-Yuan Hsieh, Tsung-Yen Chuang |
The Strong Diagnosability of Regular Networks and Product Networks under the PMC Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 20(3), pp. 367-378, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
73 | Andrea Paoli, Stéphane Lafortune |
Diagnosability Analysis of a Class of Hierarchical State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 18(3), pp. 385-413, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hierarchical finite state machines, Fault diagnosis, Statecharts, Discrete event systems, Diagnoser |
73 | Stefano Bocconi, Claudia Picardi, Xavier Pucel, Daniele Theseider Dupré, Louise Travé-Massuyès |
Model-Based Diagnosability Analysis for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings, pp. 24-35, 2007, Springer, 978-3-540-74781-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
73 | Lee Barford |
Diagnosis and Design for Diagnosability for Internet Routers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 7th International Symposium on Quality of Electronic Design (ISQED 2006), 27-29 March 2006, San Jose, CA, USA, pp. 761-768, 2006, IEEE Computer Society, 0-7695-2523-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
73 | Irith Pomeranz, Srikanth Venkataraman, Sudhakar M. Reddy |
Z-DFD: Design-for-Diagnosability Based on the Concept of Z-Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings 2004 International Test Conference (ITC 2004), October 26-28, 2004, Charlotte, NC, USA, pp. 489-497, 2004, IEEE Computer Society, 0-7803-8581-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
72 | Wenbin Qiu, Ratnesh Kumar 0001 |
Distributed Diagnosis Under Bounded-Delay Communication of Immediately Forwarded Local Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(3), pp. 628-643, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
72 | Jun Zhao 0005, Fred J. Meyer, Nohpill Park, Fabrizio Lombardi |
Sequential diagnosis of processor array systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 53(4), pp. 487-498, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
63 | Qiang Zhu 0003 |
On conditional diagnosability and reliability of the BC networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 45(2), pp. 173-184, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
BC networks, Super connectivity, Conditional diagnosability, PMC model |
63 | Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis |
Diagnosability of Discrete Event Systems with Modular Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 16(1), pp. 9-37, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Common events, Distributed systems, Modularity, Diagnosability |
63 | Jianxi Fan |
Diagnosability of Crossed Cubes under the Comparison Diagnosis Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 13(10), pp. 1099-1104, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
comparison diagnosis model, hypercube, diagnosis, multiprocessor system, Diagnosability, crossed cube |
63 | Jianxi Fan |
Diagnosability of Crossed Cubes under the Comparison Diagnosis Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 13(7), pp. 687-692, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
comparison diagnosis model, hypercube, diagnosis, multiprocessor system, Diagnosability, crossed cube |
63 | Jianxi Fan |
Diagnosability of the Möbius Cubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(9), pp. 923-928, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
The Möbius cube, hypercube, diagnosis, multiprocessor system, diagnosability |
61 | Toru Araki, Yukio Shibata |
(t, k)-Diagnosable System: A Generalization of the PMC Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(7), pp. 971-975, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
one-step t-diagnosis, sequential t-diagnosis, Fault diagnosis, diagnosability, PMC model, Cartesian product |
59 | Sun-Yuan Hsieh, Chia-Wei Lee |
Diagnosability of Two-Matching Composition Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 14th Annual International Conference, COCOON 2008, Dalian, China, June 27-29, 2008, Proceedings, pp. 478-486, 2008, Springer, 978-3-540-69732-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
59 | Fei Xue, Da-Zhong Zheng |
Diagnosability for discrete event systems based on Petri net language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 2111-2116, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Sun-Yuan Hsieh, Yu-Shu Chen |
Strongly Diagnosable Product Networks Under the Comparison Diagnosis Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(6), pp. 721-732, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Fault tolerance, modeling, evaluation, Reliability, Measurement, Graph Theory, Graph Theory, Discrete Mathematics, Discrete Mathematics, On-chip interconnection networks, Testing and Fault-Tolerance, Mathematics of Computing, Mathematics of Computing, simulation of multiple-processor systems, Network problems |
57 | Alireza Kavianpour, Arthur D. Friedman |
Tradeoffs in system level diagnosis of multiprocessor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1984 National Computer Conference, 9-12 July 1984, Las Vegas, Nevada, USA, pp. 173-181, 1984, AFIPS Press, 0-88283-043-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
53 | Arun K. Somani, Vinod K. Agarwal, David Avis |
On the Complexity of Single Fault Set Diagnosability and Diagnosis Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 38(2), pp. 195-201, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
single fault set diagnosability, diagnosis problems, symmetric invalidation models, polynomial time-complexity algorithm, t-diagnosability, computational complexity, complexity, fault tolerant computing |
49 | Vishal Suthar, Shantanu Dutt |
High-diagnosability online built-in self-test of FPGAs via iterative bootstrapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, Chicago, Illinois, USA, April 17-19, 2005, pp. 78-83, 2005, ACM, 1-59593-057-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
built-in self-tester (BISTer), roving tester (ROTE), FPGAs, functional testing, on-line testing, diagnosability |
49 | Chung-Sei Rhee, Heok-Jung Kwon, Young-Tak Kwon, Byung-Whan Choi |
On the real time diagnosability of multiprocessor systems by comparison approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 154-161, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
real time diagnosability, comparison approach, multiprocessing systems, multiprocessor systems, polynomial time algorithm, faulty processors |
48 | Qiang Zhu 0003, Guodong Guo, Dajin Wang |
Relating Diagnosability, Strong Diagnosability and Conditional Diagnosability of Strong Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 63(7), pp. 1847-1851, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | Christopher P. Fuhrman, Henri J. Nussbaumer |
Comparison Diagnosis in Large Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 5th Asian Test Symposium (ATS '96), November 20-22, 1996, Hsinchu, Taiwan, pp. 244-, 1996, IEEE Computer Society, 0-8186-7478-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Chwa/Hakimi symmetric comparison model, Malek asymmetric model, characterization of one-step diagnosability, System-level diagnosis |
45 | Laura Brandán Briones, Alexander Lazovik, Philippe Dague |
Optimizing the System Observability Level for Diagnosability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 815-830, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo |
Diagnosability of hybrid automata with measurement uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 1042-1047, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo |
Diagnosability Verification for Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings, pp. 684-687, 2007, Springer, 978-3-540-71492-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Larbi Sekhri, Armand Toguyéni, Etienne Craye |
Diagnosability of automated production systems using Petri net based models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (6) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 5091-5096, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Sita Ramakrishnan |
VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, pp. 236-251, 2003, Springer, 3-540-20894-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel |
Robustness and Diagnosability of OO Systems Designed by Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 7th IEEE International Software Metrics Symposium (METRICS 2001), 4-6 April 2001, London, England, UK, pp. 272-284, 2001, IEEE Computer Society, 0-7695-1043-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
43 | YuanLin Wen, Pei-Shu Fan, MuDer Jeng |
Diagnosable discrete event systems design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 1357-1362, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Katherine Shu-Min Li, Chauchin Su, Yao-Wen Chang, Chung-Len Lee 0001, Jwu E. Chen |
IEEE Standard 1500 Compatible Interconnect Diagnosis for Delay and Crosstalk Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(11), pp. 2513-2525, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel |
Design by Contract to Improve Software Vigilance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(8), pp. 571-586, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
programming by contract, metrics, diagnostics, Object-oriented design methods |
43 | Katherine Shu-Min Li, Yao-Wen Chang, Chauchin Su, Chung-Len Lee 0001, Jwu E. Chen |
IEEE standard 1500 compatible interconnect diagnosis for delay and crosstalk faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006, pp. 366-371, 2006, IEEE, 0-7803-9451-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Yannick Pencolé |
Assistance for the Design of a Diagnosable Component-Based System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China, pp. 549-556, 2005, IEEE Computer Society, 0-7695-2488-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Elvia Ruiz-Beltrán, Antonio Ramírez-Treviño, Ernesto López-Mellado |
Building diagnosable Petri net models for distributed fault location of DES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (5) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 4929-4934, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Mukund Sivaraman, Andrzej J. Strojwas |
Path delay fault diagnosis and coverage-a metric and an estimationtechnique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(3), pp. 440-457, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
43 | Yinong Chen, Winfried Bücken, Klaus Echtle |
Efficient Algorithms for System Diagnosis with Both Processor and Comparator Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(4), pp. 371-381, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
processor faults, comparison-based self-diagnosis, multiprocessorsystems, comparator faults, O(mod E mod)/sup 2/ algorithm, computational complexity, fault tolerant computing, multiprocessing systems, system diagnosis |
36 | Udi Manber |
System Diagnosis with Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 29(10), pp. 934-937, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
t/s diagnosability, Diagnosability with repair, graph model of system diagnosis, fault detection, multiple faults, digital systems, self checking |
36 | Luca Simoncini, F. Saheban, Arthur D. Friedman |
Design of Self-Diagnosable Multiprocessor Systems with Concurrent Computation and Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 29(6), pp. 540-546, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
Concurrent one-step t-fault diagnosability, concurrent sequential t-fault diagnosability, optimal connections, system level diagnosis |
36 | S. Karunanithi, Arthur D. Friedman |
Analysis of Digital Systems Using a New Measure of System Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 28(2), pp. 121-133, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
ts diagnosability, D, new measure of diagnosability, optimal system designs, single-loop systems, digital systems, system level diagnosis, self-diagnosis |
34 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 22(10), pp. 1669-1680, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
reliability, Fault diagnosis, diagnosability, PMC model, diagnosis algorithm |
34 | Shuming Zhou |
The Conditional Diagnosability of Twisted Cubes under the Comparison Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2009, Chengdu, Sichuan, China, 10-12 August 2009, pp. 696-701, 2009, IEEE Computer Society, 978-0-7695-3747-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
conditional diagnosability, comparison diagnosis model, twisted-cubes |
34 | Vijay Raghavan 0002, Anand R. Tripathi |
Sequential Diagnosability is Co-NP Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(5), pp. 584-595, 1991. The full citation details ...](Pics/full.jpeg) |
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 |
34 | Henryk Krawczyk, Wojciech E. Kozlowski |
On the Diagnosability of Multicomputer Systems with Homogeneous and Incomplete Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(11), pp. 1419-1422, 1988. The full citation details ...](Pics/full.jpeg) |
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 |
34 | Che-Liang Yang, Gerald M. Masson |
Hybrid Fault Diagnosability with Unreliable Communcation Links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(2), pp. 175-181, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
nonempty always correct diagnosis, unreliable communication links, distributed multiprocessor systems, hybrid fault diagnosability, multiprocessing systems, fault location, computer testing |
34 | Jagannathan Narasimhan, Kazuo Nakajima |
An Algorithm for Determining the Fault Diagnosability of a System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 35(11), pp. 1004-1008, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
test links, system diagnosability, fault diagnosis, Connection assignment, self-diagnosis, diagnosable systems |
34 | Abhijit Sengupta, Arunabha Sen |
On the Diagnosability of a General Model of System with Three-Valued Test Outcomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 35(2), pp. 170-173, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
multiple-valued test outcome, fault tolerance, graph models, diagnosability, syndrome, Connection assignment, self-diagnosable system |
34 | Richard Saeks, Alberto L. Sangiovanni-Vincentelli, V. Visvanathan |
Diagnosability of Nonlinear Circuits and Systems - Part II: Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 30(11), pp. 899-904, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
Adjoint map, Frechet derivative, local diagnosability, measure, dynamical systems, Hilbert space |
34 | Ferruccio Barsi, Fabrizio Grandoni 0002, Piero Maestrini |
A Theory of Diagnosability of Digital Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(6), pp. 585-593, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
graph models of system diagnosis, optimal designi for diagnosability, test connections, Fault tolerance, multiple faults, system reliability, self-diagnosis |
33 | Vinay Verma, Shantanu Dutt, Vishal Suthar |
Efficient on-line testing of FPGAs with provable diagnosabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 498-503, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
built-in self-tester (BISTer), roving tester (ROTE), FPGAs, functional testing, on-line testing, diagnosability |
33 | Stephan P. Athan, David L. Landis, Sami A. Al-Arian |
A novel built-in current sensor for IDDQ testing of deep submicron CMOS ICs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 118-123, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
deep submicron CMOS ICs, fault diagnosability, ULSI CMOS, fault diagnosis, integrated circuit testing, fault detectability, CMOS integrated circuits, leakage currents, built-in current sensor, I/sub DDQ/ testing, electric current measurement, ULSI, electric sensing devices |
33 | Mukund Sivaraman, Andrzej J. Strojwas |
Diagnosis of parametric path delay faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 9th International Conference on VLSI Design (VLSI Design 1996), 3-6 January 1996, Bangalore, India, pp. 412-417, 1996, IEEE Computer Society, 0-8186-7228-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parametric path delay faults, chip failure, fabrication process parameter values, path sensitization mechanism, path delay conditions, ISCAS'89 benchmark circuits, path segment, circuit failure, fault diagnosis, logic testing, logic testing, delays, probability, probability, statistical analysis, statistical analysis, integrated circuit testing, failure analysis, diagnosability, delay fault testing, IC testing, production testing |
33 | Roman Trobec, Izidor Jerebic |
Optimization of Diagnostic Examination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings, pp. 761-772, 1994, Springer, 3-540-58430-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
local diagnosability, fault-tolerance, interconnection networks, complexity analysis, massively parallel system |
32 | Tongtong Ding, Min Xu 0005 |
Relationship between diagnosability and non-inclusive diagnosability of triangle-free connected graphs under the PMC model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 944, pp. 113676, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Liqiong Xu, Shanshan Yin, Liyang Zhai |
Diagnosability and hybrid diagnosability of some classes of graphs under the BPMC model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 915, pp. 45-54, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Hongbin Zhuang, Wenzhong Guo, Xiao-Yan Li, Ximeng Liu, Cheng-Kuan Lin |
The component connectivity, component diagnosability, and t/k-diagnosability of Bicube networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 896, pp. 145-157, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Xiaoyan Li, Yuan-Hsiang Teng, Tzu-Liang Kung, Qi Chen, Cheng-Kuan Lin |
The diagnosability and 1-good-neighbor conditional diagnosability of hypercubes with missing links and broken-down nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 146, pp. 20-26, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Xiaoyan Li, Jianxi Fan, Cheng-Kuan Lin, Baolei Cheng, Xiaohua Jia |
The extra connectivity, extra conditional diagnosability and t/k-diagnosability of the data center network DCell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 766, pp. 16-29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Yanze Huang, Limei Lin, Li Xu 0002, Xiaoding Wang |
Extra diagnosability and good-neighbor diagnosability of n-dimensional alternating group graph AGn under the PMC model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 795, pp. 36-49, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Xiaomin Hu, Weihua Yang, Yingzhi Tian, Jixiang Meng |
Equal relation between g-good-neighbor diagnosability under the PMC model and g-good-neighbor diagnosability under the MM∗ model of a graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 262, pp. 96-103, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Haiping Huang, Yuhao Chen, Xiping Liu, Zhijie Han 0001, Fu Xiao 0001 |
t-Diagnosability and Conditional Diagnosability of BCube Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC/SmartCity/DSS ![In: 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2019, Zhangjiajie, China, August 10-12, 2019, pp. 2360-2366, 2019, IEEE, 978-1-7281-2058-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Jiarong Liang, Fang Chen 0003, Qian Zhang 0004, Min Xie |
t/t-Diagnosability and t/k-Diagnosability for Augmented Cube Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 35029-35041, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Xianyong Li |
Strong diagnosability and conditional diagnosability of optical multi-mesh hypercube networks under the PMC model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 93(12), pp. 2054-2063, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Shurong Zhang, Weihua Yang |
The g-extra conditional diagnosability and sequential t/k-diagnosability of hypercubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 93(3), pp. 482-497, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Li Xu 0002, Limei Lin, Shuming Zhou, Sun-Yuan Hsieh |
The Extra Connectivity, Extra Conditional Diagnosability, and t/m-Diagnosability of Arrangement Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 65(3), pp. 1248-1262, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Limei Lin, Li Xu 0002, Shuming Zhou |
Conditional diagnosability and strong diagnosability of shuffle-cubes under the comparison model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 92(2), pp. 230-249, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Limei Lin, Li Xu 0002, Shuming Zhou |
Conditional diagnosability and strong diagnosability of Split-Star Networks under the PMC model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 562, pp. 565-580, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Sun-Yuan Hsieh, Cheng-Yen Tsai, Chun-An Chen |
Strong Diagnosability and Conditional Diagnosability of Multiprocessor Systems and Folded Hypercubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 62(7), pp. 1472-1477, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Santosh Biswas |
Equivalence of Fair Diagnosability and Stochastic Diagnosability of Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: IEEE International Conference on Systems, Man, and Cybernetics, Manchester, SMC 2013, United Kingdom, October 13-16, 2013, pp. 378-383, 2013, IEEE, 978-0-7695-5154-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Won-Sin Hong, Sun-Yuan Hsieh |
Strong Diagnosability and Conditional Diagnosability of Augmented Cubes Under the Comparison Diagnosis Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 61(1), pp. 140-148, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Antonio Ramírez-Treviño, Elvia Ruiz-Beltrán, Israel Rivera-Rangel, Ernesto López-Mellado |
Diagnosability of Discrete Event Systems: a Petri Net based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 541-546, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Luis Hernández-Martínez, Arturo Sarmiento-Reyes |
Topological Considerations for the Diagnosability Conditions of Analogue Circuits Using a Pair of Conjugate Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 19(1), pp. 29-36, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
analogue circuit diagnostic, topological conditions, pair of conjugate trees |
29 | Falk Langer, Dirk Eilers, Rudi Knorr |
Fault Detection in Discrete Event Based Distributed Systems by Forecasting Message Sequences with Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, pp. 411-418, 2009, Springer, 978-3-642-04616-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
self learning fault detection, message sequence learning, neural networks, distributed embedded systems |
29 | Katherine Shu-Min Li, Yao-Wen Chang, Chung-Len Lee 0001, Chauchin Su, Jwu E. Chen |
Multilevel Full-Chip Routing With Testability and Yield Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(9), pp. 1625-1636, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti |
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt ![In: Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers, pp. 1-18, 2006, Springer, 978-3-540-74127-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Rafael Ceballos, Victor Cejudo, Rafael M. Gasca, Carmelo Del Valle |
A Topological-Based Method for Allocating Sensors by Using CSP Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAEPIA ![In: Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers, pp. 62-68, 2005, Springer, 3-540-45914-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Zhiyuan Wang, Malgorzata Marek-Sadowska, Kun-Han Tsai, Janusz Rajski |
Multiple Fault Diagnosis Using n-Detection Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 21st International Conference on Computer Design (ICCD 2003),VLSI in Computers and Processors, 13-15 October 2003, San Jose, CA, USA, Proceedings, pp. 198-, 2003, IEEE Computer Society, 0-7695-2025-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Zhiyuan Wang, Kun-Han Tsai, Malgorzata Marek-Sadowska, Janusz Rajski |
An Efficient and Effective Methodology on the Multiple Fault Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September - 3 October 2003, Charlotte, NC, USA, pp. 329-338, 2003, IEEE Computer Society, 0-7803-8106-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | |
Notice of Errata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 13(10), pp. 1084, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Xiao-Tao Chen, Fred J. Meyer, Fabrizio Lombardi |
On the Fault Coverage of Interconnect Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 15th IEEE VLSI Test Symposium (VTS'97), April 27-May 1, 1997, Monterey, California, USA, pp. 101-109, 1997, IEEE Computer Society, 0-8186-7810-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
diagnose, interconnect testing, adjacency graph |
18 | Guey-Yun Chang, Gen-Huey Chen, Gerard J. Chang |
(t, k) - Diagnosis for Matching Composition Networks under the MM* Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 56(1), pp. 73-79, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
matching composition network, MM* model, precise diagnosis strategy, (t,k){hbox{-}}rm diagnosis, multiprocessor system, Diagnosability |
18 | Guey-Yun Chang, Gen-Huey Chen, Gerard J. Chang |
(t, k)-Diagnosis for Matching Composition Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(1), pp. 88-92, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
matching composition network, precise diagnosis strategy, (t,k){hbox{-}}{rm diagnosis}, multiprocessor system, Diagnosability, PMC model, sequential diagnosis |
18 | Guey-Yun Chang, Gen-Huey Chen |
c-Step Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2006), 4-7 December 2006, Taipei, Taiwan, pp. 539-544, 2006, IEEE Computer Society, 0-7695-2736-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
one-step diagnosis, multiprocessor system, Diagnosability, PMC model, sequential diagnosis |
18 | Tao Wu, Arun K. Somani |
Cross-talk attack monitoring and localization in all-optical networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 13(6), pp. 1390-1401, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
diagnosability of attacks, sparse monitoring, attack, crosstalk, all-optical network |
18 | Jan Lunze, Jochen Schröder |
State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 11(4), pp. 319-369, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
diagnosis, observability, diagnosability, stochastic automata, state observation |
18 | Sanjeev Khanna, W. Kent Fuchs |
A Graph Partitioning Approach to Sequential Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 46(1), pp. 39-47, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
degree of diagnosability, fault-tolerance, multiprocessor systems, graph partitioning, Analysis of algorithms, system-level diagnosis, sequential diagnosis |
Displaying result #1 - #100 of 717 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|