スポンサーリンク
東京工業大学情報理工学研究科計算工学専攻 | 論文
- シミュレーションを利用した形式的検証システム
- 論理シミュレーションに基づくプロセッサの自動検証
- 競合回避機構を備えた高互換かつ高精度な境界検査手法
- 対称性及び抽象化を利用した検証方式の効率化 (テストと設計検証論文特集)
- 正規表現を利用したスケーラブル環状回路の検証
- 正規表現を利用したスケーラブル環状回路の検証
- 対称性及び抽象化を利用した検証方式の効率化
- 意外な勘違いへの対処が可能な学習者モデルの構築方法
- PCTEを用いたUNIXコマンドデータベースの作成
- 特集「ソフトウェア工学」の編集にあたって
- D-12-48 A Gesture-Based Interface for the Presentation Control
- C言語初学者向けツールC-Helperの予備評価(奨励講演)
- C言語初学者向けツールC-Helperの予備評価(奨励講演)
- 配列相同性に基づくタンパク質のリガンド結合候補部位の評価