論文
〔アルゴリズム理論〕
並列性を保つためのタイリング
李 相憲 阿曽弘具 ……………………………………………………441
〔VLSIシステム〕
CPU消費電力削減のための周波数-電圧協調型電力制御方式の設計ルールとフィードバック予測方式による適用
十山圭介 三坂 智 相坂一夫 在塚俊之 内山邦男 石橋孝一郎
川口 博 桜井貴康 …………………………………………………………452
〔ソフトウェア工学〕
外部入力値のみを保持できる整数変数をもつFSMに対する記号モデル検査法
竹中 崇 岡野浩三 東野輝夫 谷口健一 …………………………462
〔コンテンツ技術，Web情報システム〕
ブラウジング指向の電子図書館におけるディレクトリ構造を利用した共有データの扱い
佐藤慶三 中島 誠 伊藤哲郎 ………………………………………471
〔分散協調とエージェント〕
誤認の適応性に関するエージェントベースモデル
赤石 仁 有田隆也 ……………………………………………………482
英文論文誌紹介(IEICE Transactions on Information and Systems)…492
複写される方へ… 494