時間順序機械に基づくプロトコルの自動検証方式
スポンサーリンク
概要
著者
関連論文
- 主メモリに適した多重誤り訂正の一方式
- タイムペトリネットに基づくタイミング検証方式の高速化
- FACOM222 による HARPソースプログラムの形式処理と簡単なエラーチェックについて
- 超幾何分布モデルに基づくソフトウェア信頼性成長モデルの反応係数の拡張
- サービス動作時におけるソフトウェアの信頼性評価
- 初期データによるソフトウェア信頼性成長モデルの信頼性予測の推定能力
- 超幾何分布モデルに基づくソフトウェア信頼性成長モデルの反応係数の拡張
- Javaを利用したソフトウェア信頼性成長モデルToolの遠隔操作
- 耐故障能力をもつ3方路通信網の一構成法
- 3段実現によるm-out-of-n符号の自己検査性検査回路
- 人智の誤りは防げるか(「信頼性」Vol.30にあたり)
- 相互結合型ニューラルネットワークの高次フォールトトレラント設計
- 階層型ニューラルネットワークの再学習によるMTTFの改善
- 高次機能を利用した相互結合型フォールトトレラントニューラルネットワーク
- 相互結合型フォールトトレラントニューラルネットワークへの結合素子の導入
- 相互結合型フォールトトレラントニューラルネットワークへの結合素子の導入
- 相互結合型フォールトトレラントニューラルネットワークへの結合素子の導入
- 反転表現を用いた耐故障相互結合型ニューラルネットワークへの結合ニューロンの組込み
- 無効解の検出機構を有する耐故障相互結合型ニューラルネットワーク
- 定期的再学習を利用したフォールトトレラントニューラルネットワーク
- フォールトトレラントコンピューティングと私
- 再学習を利用したフォールトトレラントニューラルネットワーク
- ディペンダビリティに関する諸問題
- フォールトトレランス技術の展望と今後の課題
- 2重化とオンラインテストによる耐故障分散型バスアービタの実現法
- フォ-ルトトレラントシステム
- FTCの展望と今後への期待
- 超幾何分布にもとづくソフトウェア残存フォールト数推定モデル (ソフトウェア信頼性モデルの現状と課題)
- ソフトウェアの信頼性
- 時間順序機械に基づくプロトコルの自動検証方式
- ソフトウェア信頼性モデルと評価 (ソフトウェア信頼性技術)
- 高速タイミング検証方式の実現とその効率評価
- 構成要素の独立性を利用した高速タイミング検証方式
- フォ-ルトトレラントコンピュ-タ
- フォルトトレラントコンピュータ研究雑感
- フォ-ルトトレランス技術研究の最近の話題
- コンピュータシステムの新技術 : 柔構造化(6.柔軟性)(極限へのアプローチ)
- システムの安全性・高信頼性の考え方と評価 (システムにおける安全性と高信頼性)
- 緩い同期の3重系多数決システムにおける割込み処理方式
- 高度技術化社会における一つの問題
- 時間的冗長方式の多剰余符号を用いた加算器への適用と諸構成の評価
- 時間的冗長方式により誤り訂正可能なチェック・サム符号を用いた算術演算器の構成法
- 高信頼化技術の展望 (高信頼化技術)
- 関数に依存しないテスト集合を持つPLAの新構成法
- 定期保守を行う自己修復系計算機システムの信頼性・性能評価
- リモ-トメンテナンス
- 高信頼化技術 (最近のコンピュ-タシステム) -- (基本技術)
- コンピュ-タシステムの保守
- 回路構造に基づいたブ-ル微分算出法
- Spike-Freeな動作を行う非同期式回路における入出力関係
- ランダム入力を用いた回路の関数実現性の判定について(技術談話室)
- 状態遷移の順序関係を考慮した故障検査系列の構成法
- 1種類の素子を用いた非同期式順序回路の構成法(技術談話室)
- Masked Faultのないフェイルセイフ非同期式順序回路の一構成法
- フォルトトレラントとその関連技術 (信頼性技術特集)
- 日本信頼性学会学会設立20周年記念シンポジウム 報告 : 【第24回秋季信頼性シンポジウム】シンポジウム実行委員会