発表論文一覧 1994年度(1994年4月-1995年3月)

論文誌・国際会議

  1. 形式的検証について
    木村晋二
    情報処理, Vol.35, No.8, pp.726-735, Aug. 1994.
  2. BDDを用いた順序回路の形式的検証における逆像計算の並列化手法
    永見康一, 木村晋二, 渡邉勝正
    International Symposium on Fifth Generation Computer Systems 1994, Workshop on Parallel and DIstributed LSI-CAD, Dec. 1994.

研究会

  1. アプリケーションに応じて再構成可能な汎用コプロセッサ
    松岡裕人, 木村晋二, 渡邉勝正
    情報処理学会DAシンポジウム94, pp.199-204, Aug. 1994.
  2. BDDを用いた正則表現論理シミュレーション手法
    川崎通, 木村晋二, 渡邉勝正
    BDDワークショップ, Nov. 1994.
  3. 内部変数を持つ論理関数の等価性判定
    中江達哉, 木村晋二, 渡邉勝正
    BDDワークショップ, Nov. 1994.
  4. 剰余BDDを用いた算術回路の設計検証
    木村晋二
    BDDワークショップ, Nov.1994.
  5. 剰余BDDおよびそれを用いた算術演算回路の検証
    木村晋二
    信学技報 COMP94-73, pp.59-68, Dec. 1994.

全国大会

  1. ハードウェア/ソフトウェア協調動作のための再構成可能な汎用コプロセッサシステム
    松岡裕人, 木村晋二, 渡邉勝正
    情報処理学会第49回全国大会1L-5, Sept. 1994.
  2. ワークフローモデルにおけるビュー機能
    国島丈生, 上林弥彦
    情報処理学会第49回全国大会3E-7, Sept. 1994.
  3. 顔の3次元表示と表情の変化に関する研究
    藤田一人, 木村晋二, 渡邉勝正
    情報処理学会第50回全国大会3C-7, Mar. 1995.
  4. ワークフロー管理システムWorkFlowBaseのプロトタイプの実現と評価
    国島丈生, 上林弥彦
    情報処理学会第50回全国大会5M-7, Mar. 1995.
  5. 肢体不自由者の為の入力操作支援システムに関する研究
    松本直子, 木村晋二, 渡邉勝正
    情報処理学会第50回全国大会5T-1, Mar. 1995.
  6. 剰余BDDを用いた算術演算回路の検証
    木村晋二
    情報処理学会第50回全国大会6B-7, Mar. 1995.