講演番号 | 題目/著者 |
---|---|
A-031 | モデル検査系に対応する上位ハードウェア設計言語Melasy 岩崎 直木, 和崎 克己, |
A-032 | 分散オブジェクトからπ計算プロセスへの変換系 甲斐 貴史, 加藤 暢, 樋口 昌宏, |
LA-005 | 移植可能なSuperoptimizerによる最適な命令パターンの自動生成とそのパターンによる覗き穴最適化 蒲野 茂幸, 佐々木 晃, |
LA-006 | プロセス情報を利用した実行時間予測と信頼度による予測選択手法 丹野 祐樹, 菅谷 至寛, 阿曽 弘具, |
LA-007 | 組合せ子Lの非循環性 岩見 宗弘, |
LA-008 | 実行可能な代数仕様の停止性証明について 中村 正樹, 二木 厚吉, |
LA-009 | 項書き換えシステムの合流性自動判定 吉田 順一, 青戸 等人, 外山 芳人, |