早稲田大学  基幹理工学部情報理工学科  大学院基幹理工学研究科情報理工学専攻

Waseda University Fundamental Science and Engineering

深澤研究室

ホーム > 深澤研究室1995年度研究業績

深澤研究室1995年度研究業績

論文 : 国際会議 : シンポジウム : 研究会 : 全国大会 : その他

Member

P 深澤良彰
L 新井浩志
A 小野康一, 小松秀昭, 栗野俊一
D 古関聰, 白貞元
M2 胡剛
M1 金丸智一, 鈴木修, 百瀬浩之, 森達也, 田治米純二

論文

  • 新井浩志, 羽毛田, 深澤良彰, インクリメンタルシミュレーションの大規模回路への適用, 電子情報通信学会論文誌, Vol.J78-D-II, No.4, pp.640-649 (1995)
  • 新井浩志, 深澤良彰, 設計支援環境におけるデータモデルの整合性検証手法について, 電子情報通信学会論文誌, Vol.J78-D-II, No.5, pp.811-818 (1995)
  • 小松秀昭, 神力, 古関聰, 深澤良彰, 命令レベル並列アーキテクチャのためのレジスタ割付け技法, 情報処理学会論文誌, Vol.36, No.12, pp.2819-2830 (1995)
  • J. Baeg, A. Hirahara and Y. Fukazawa, An Adaptive User Navigation Mechanism and its Evaluation, International Journal of Software Engineering and Knowledge Engineering, Vol.5, No.4, pp.541-558 (1995)
  • 小野康一, 河野, 深澤良彰, 述語論理に基づく使用から実行可能コードの導出手法, 早稲田大学情報科学研究教育センター紀要, Vol.18, pp.18-26 (1996)
  • K. Ono, K. Maruyama and Y. Fukazawa, Application of Verification Method and a Decomposition Method to Program Modification, Systems and Computers in Japan, Vol.27, No.1, pp.12-26, SCRIPTA TECHNICA INC. (1996)

国際会議

  • A. Koseki, H. Komatsu and Y. Fukazawa, A Global Code Scheduling Technique Using Guarded PDG, Proc. of IEEE First International Conference on Algorithms And Architectures for Parallel Processing (ICA3PP '95), Vol.2, pp.661-669 (1995)
  • H. Arai and Y. Fukazawa, A New Incremental Simulation Algorithm for Large Scale Circuits and Its Evaluation, Proc. of IEEE Region 10 International Conference on Microelectronics and VLSI (IEEE TENCON '95), pp.343-346 (1995)

シンポジウム

  • 古関聰, 小松秀昭, 深澤良彰, 多重ループにおける最適ループ展開数算定技法とその評価, 並列処理シンポジウムJSPP'95論文集, pp.193-200 (1995)
  • 小野康一, 深澤良彰, 実行時仕様記述言語ZXの導入による高レベル形式的仕様の実行, 第2回ソフトウェア工学の基礎ワークショップ FOSE'95, レクチャーノート/ソフトウェア学15ソフトウェア工学の基礎II, 近代科学社, pp.121-130 (1995)

研究会

  • 古関聰, 小松秀昭, 深澤良彰, 拡張VLIWプロセッサGIFTの命令供給機構, 情処研報, 計算機アーキテクチャ 113-6 (1995)
  • 百瀬浩之, 古関聰, 小松秀昭, 深澤良彰, コードスケジューリングとレジスタ割付けの協調による最適化, 情処研報,ハイパフォーマンスコンピューティング 57-23 (1995)
  • 金丸智一, 古関聰, 小松秀昭, 深澤良彰, 共有メモリ型並列計算機における多重ループステージングによるパイプライン実行, 情処研報, 計算機アーキテクチャ 117-8 (1996)

全国大会

  • 鈴木修, 小野康一, 深澤良彰, 仕様記述言語ZZと実行時仕様, 情報処理学会第51回全国大会 (1995)
  • B. Zhang, Y. Fukazaza, An Object-Oriented Design Support Tool Based On Design Patterns, 情報処理学会第52回全国大会 (1996)

その他

  • 新井浩志, 上田, 田上, 深澤良彰, 論理回路のトップダウン設計を支援する回路図エディタ, 日本電子機械工業会, EDAテクノウェア '95ユニバーシティプラザ 大学研究室による研究発表資料集 (1995)
  • 小野康一, 丸山, 深澤良彰, スライシング技法の応用によるプログラムの検証法, 第1回ソフトウェア工学の基礎ワークショップ FOSE'94, レクチャーノート/ソフトウェア学14ソフトウェア工学の基礎I, 近代科学社, pp.61-70 (1996)
  • 栗野俊一, 松澤, 深澤良彰, ソフトウェア部品検索における形式的仕様の活用, 第1回ソフトウェア工学の基礎ワークショップ FOSE'94, レクチャーノート/ソフトウェア学14ソフトウェア工学の基礎I, 近代科学社, pp.129-136 (1996)
  • Y. Fukazawa, S. Kurino, Y. Nonomura, A Parallel Reduction Algorithm with Communication Delay, The Massively Parallel Processing System JUMP-1, Ohmsha, Ltd., pp.50-60 (1996)

ページの先頭へ戻る