吉田 たけお | 東京都立大学工学部
スポンサーリンク
概要
関連著者
-
吉田 たけお
東京都立大学工学部
-
三浦 幸也
東京都立大学院工学研究科
-
三浦 幸也
東京都立大学
-
貴家 仁志
東京都立大学大学院工学研究科
-
貴家 仁志
東京都立大学 工学部
-
貴家 仁志
東京都立大学
-
三浦 幸也
首都大学東京システムデザイン学部
-
大谷 知行
東京都立大学工学部
-
鈴木 晋
東京都立大学工学都電子・情報工学科
-
内藤 祥雄
東京都立大学電子情報工学科
-
内藤 祥雄
東京都立大学工学部
-
鈴木 一哉
東京都立大学工学部
-
鈴木 一哉
NECシステムプラットフォーム研究所
著作論文
- 入力名標集合と制御条件を用いたレジスタ転送レベルの設計検証法
- ADRによるバス上の多重縮退故障のマスク
- 誤り処理要素を特定可能なFFTの効果的構成法
- 帰納的関数のグラフ表現と設計検証への応用
- オンライン故障診断可能なFFTシステムの構成法
- ADRによるバス上の2重縮退故障のマスク
- 時間冗長方式と巡回符号を用いたバス上の多重縮退故障のマスク
- ADRを用いてバス上の多重縮退故障をマスクするためのベクトル集合の巡回符号による生成法
- 高階述語論理によるハードウェアの構造の形式的検証
- 時間冗長方式と誤り検出符号を用いたフォールトトレラント組合せ回路