高田 智規


制限された動的情報を用いたブロック単位スライシング手法の提案
高田 智規 井上 克郎 
誌名:   電子情報通信学会論文誌 D
発行日: 2003/03/01
Vol. J86-D1  No. 3  pp. 169-172
論文種別:  レター
専門分野: 
キーワード: 
準動的解析依存キャッシュスライシングブロック単位スライシング
 あらまし | 本文:PDF(65.1KB)

制限された動的情報を用いたプログラムスライシング手法の提案
高田 智規 井上 克郎 大畑 文明 芦田 佳行 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/02/01
Vol. J85-D1  No. 2  pp. 228-235
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
静的スライス動的スライス実行時オーバヘッド依存キャッシュスライシング
 あらまし | 本文:PDF(239.6KB)

プログラム依存グラフの効率的な更新手法
高田 智規 佐藤 慎一 井上 克郎 
誌名:   電子情報通信学会論文誌 D
発行日: 1998/03/25
Vol. J81-D1  No. 3  pp. 253-260
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
プログラム依存グラフ更新プログラムスライスデバッグ支援
 あらまし | 本文:PDF(553.9KB)

ソースコード解析ツール開発支援システムの試用
高田 智規 佐藤 慎一 飯田 元 井上 克郎 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/03/25
Vol. J80-D1  No. 3  pp. 317-318
論文種別:  レター
専門分野: 
キーワード: 
SapidREFINE依存関係解析
 あらまし | 本文:PDF(133.1KB)