石浦 菜岐佐 | 京都大学工学部
スポンサーリンク
概要
関連著者
-
石浦 菜岐佐
京都大学工学部
-
矢島 脩三
京都大学工学研究科情報工学専攻
-
矢島 脩三
京都大学工学部情報工学教室
-
石浦 菜岐佐
京都大学工学部情報工学教室
-
石浦 菜岐佐
関西学院大学
-
安浦 寛人
京都大学工学部情報工学教室
-
湊 真一
Ntt Lsi研究所
-
伊藤 雅樹
京都大学工学部
-
矢島 脩三
京都大学大学院工学研究科情報工学教室
-
高橋 瑞樹
京都大学工学部情報工学教室
-
湊 真一
北海道大学大学院情報科学研究科・科学技術振興機構erato湊離散構造処理系プロジェクト・ /科学技術振興機構erato湊離散構造処理系プロジェクト・北海道大学大学院情報科学研究科
-
湊 真一
京都大学工学部情報工学教室
-
大井 康
京都大学工学部情報工学教室
-
高木 直史
京都大学工学部情報工学教室
-
越智 裕之
京都大学工学部情報工学教室
-
越智 裕之
京都大学工学部
-
蚊野 浩
京都大学工学部情報工学教室
-
木村 晋二
京都大学工学部情報工学教室
-
矢島 脩三
京都大学工学部
-
高橋 紀之
京都大学工学部
-
矢島 傭三
京都大学工学部
-
矢島 脩三
京都大学 工学部
-
出口 豊
京都大学工学部情報工学科
-
甲村 康人
三洋電機株式会社 ハイパーメディア研究所
-
甲村 康人
京都大学
-
葉山 悟
京都大学工学部情報工学科
-
井置 一哉
京都大学工学部
-
矢島 脩三
京都大学
著作論文
- 入力制約監視機能をもつ会話型シミュレーション・システムISS
- ベクトル計算機向き共有二分決定グラフ処理法
- 共有二分決定グラフを用いた論理回路の多重故障シミュレ一ション
- 時間記号シミュレーションについて
- 高速シミュレータを用いた重み付き乱数によるテスト生成
- 高速故障シミュレータを用いたテスト生成
- ベクトル計算機による高速故障シミュレーションのための動的二次元並列法
- ベクトル計算機上でのソーティング手法
- 確率的符号化時間記号シミュレーションによるタイミングエラー確率の解析
- 多項式サイズの二分決定グラフで表現可能な論理関数のクラス(計算および計算量理論とその周辺)
- 論理関数の共有二分決定グラフによる表現とその効率的処理手法
- 論理回路の正確なタイミング検証のための時間記号シミュレーション
- 非決定性順序機械によるハードウェア記述言語の意味付け
- 共有二分決定図を用いた論理関数の処理手法について
- 時間カロリー記号論理シミュレーションにおける遅延モデルの拡張
- 時間記号論理シミュレータの高速化と性能評価
- 真理値表表現を用いた記号シミュレータ
- 組合せ論理回路のハザード検出問題の計算複雑さについて(計算アルゴリズムと計算量の基礎理論)
- 共有二分決定図を用いた組合せ論理回路のテスト生成