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

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

Member

P	深澤良彰
L	新井浩志
A	小野康一, 小松秀昭, 栗野俊一
D	古関聰, 白貞元
M2	落合勝博, 大和明宏, 野々村洋, 神力哲夫, 松浦俊, 竹内寛, 今野明
M1	胡剛

小野康一, 丸山, 深澤良彰, プログラム変更に対する正当性検証技法と分割技法の適用, 電子情報通信学会論文誌, Vol.J77-D-I, No.11, pp.747-758 (1994)

M. Sakakura and Y. Fukazawa, A Method for Accelaration of Logic Simulations, Proc. of IEEE Region 10's Ninth Annual International Conference on Frontiers of Computer Technology ( IEEE TENCON '94 ), Vol.2, pp.828-836 (1994)
J. Baeg, A. Hirahara and Y. Fukazawa, A Development Strategy of User Navigation Systems for GUI Applications, Proc. of IEEE 18th. Annual International Computer Software & Applications Conference ( COMPSAC '94 ), pp.163-168 (1994)
J. Baeg, A. Hirahara and Y. Fukazawa, An Adaptive User Navigation Mechanism and its Evaluation, Proc. of Asia Pacific Software Engineering Conference '94 ( APSEC '94 ), pp.29-37 (1994)

古関聰, 小松秀昭, 深澤良彰, 命令レベル並列アーキテクチャのための大域的コードスケジューリング技法とその評価, 並列処理シンポジウムJSPP'94論文集, pp.1-8 (1994)
新井浩志, 深澤良彰, 設計モデルの整合性検証手法とネットリスト情報への適用, 情報処理学会 DAシンポジウム'94 論文集, pp.119-124 (1994)
栗野俊一, 野々村洋, 深澤良彰, 重力場での多体問題へのフィボネットの応用,文部省重点領域研究「超並列原理に基づく情報処理基本体系」第5回シンポジウム予稿集, pp.1-39-1-47 (1994)
小野康一, 丸山, 深澤良彰, スライシング技法の応用によるプログラムの検証法, 第1回ソフトウェア工学の基礎ワークショップ FOSE'94論文集, pp.57-64 (1994)
栗野俊一, 松澤, 深澤良彰, ソフトウェア部品検索における形式的仕様の活用, 第1回ソフトウェア工学の基礎ワークショップ FOSE'94論文集, pp.117-122 (1994)
栗野俊一, 野々村洋, 深澤良彰, 重力場での多体問題へのフィボネットの応用,文部省重点領域研究「超並列原理に基づく情報処理基本体系」第6回シンポジウム予稿集, pp.1-59-1-72 (1995)

白貞元, 平原, 深澤良彰, 適応型ユーザナビゲーション機構とその評価, 情処研報,ソフトウェア工学 99-13 (1994)
神力哲夫, 小松秀昭, 古関聰, 深澤良彰, 命令レベル並列プロセッサ向けレジスタ割り付け手法とその評価, 情処研報,ハイパフォーマンスコンピューティング 52-12 (1994)
古関聰, 小松秀昭, 深澤良彰, クリティカルパス情報とSSA形式を利用したプログラム最適化, 情処研報,ハイパフォーマンスコンピューティング 52-13 (1994)
野々村洋, 栗野俊一, 深澤良彰, 非対称並列計算の埋込み可能な対称ネットワーク, 信学技報,コンピュータシステム CPSY94-50 (1994)
古関聰, 今野明, 小松秀昭, 深澤良彰, 多重ループにおける最適ループ展開数算定技法, 信学技報,コンピュータシステム CPSY94-97 (1994)
大和明宏, 新井浩志, 深澤良彰, 分割操作による論理回路のトップダウン設計手法について, 情処研報,設計自動化 73-5 (1995)