WEKO3
アイテム
(t, k)-diagnosable system: A generalization of the PMC models
http://hdl.handle.net/10087/2975
http://hdl.handle.net/10087/297517a7f9e4-4318-422a-a723-47d7173d3d4e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IEEECompSci_52_0971.pdf (124.2 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2008-03-31 | |||||
| タイトル | ||||||
| タイトル | (t, k)-diagnosable system: A generalization of the PMC models | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 著者 |
Araki, Toru
× Araki, Toru× Shibata, Yukio |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | ln this paper, we introduce a new model for diagnosable systems called (t, k)-diagnosable system which guarantees that at least k faulty units (processors) in a system are detected provided that the number of faulty units does not exceed t. This system includes classical one-step diagnosable systems and sequentially diagnosable systems. We prove a necessary and sufficient condition for (t, k)-diagnosable system, and discuss a lower bound for diagnosability. Finally, we deal with a relation between (t, k)-diagnosability and diagnosability of classical basic models. | |||||
| 書誌情報 |
IEEE Transactions on computers 巻 52, 号 7, p. 971-975, 発行日 2003-07 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0018-9340 | |||||
| フォーマット | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | application/pdf | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 出版者 | ||||||
| 出版者 | Institute of Electrical and Electronics Engineers | |||||
| 資源タイプ | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | Journal Article | |||||
| 異版である | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://www.computer.org/tc/archives.htm | |||||
| 更新日 | ||||||
| 日付 | 2017-03-27 | |||||
| 日付タイプ | Created | |||||
