1996年（平成8）発表論文一覧

発表あるいは掲載が決定している未公開の論文，ならびに発表の日付やページ等の情報が欠損している公開済の論文は赤色で表示されています．

ファイルのダウンロードは，著作権の扱い上，研究室内部に限られています（パスワードが必要です）． ご了承ください．

論文誌

  1. 山本 和彦, 「インターネットメッセージの統合」, 情処論, Vol.37, No.5, pp.809-821, 1996年5月.
  2. Kazuki Joe and Akira Fukuda, "Analytic Modeling of Cache Coherence Based Parallel Computers," IEICE Trans. on Information and Systems, Vol.E97-D, No.7, pp.925-935, 1996年7月.

国際会議

  1. Kazuhiko Yamamoto, "An Integration of PGP and MIME," Proc. Internet Society 1996 Symp. on Network and Distributed System Security, pp.17-24, Feb. 1996.
  2. Akira Imada and Keijiro Araki, "Basin of Attraction of Associative Memory as It is Evolved by a Genetic Algorithm," Proc. 2nd Online Workshop on Evolutionary Computation (WEC2), pp.41-44, May 1996.
  3. Akira Imada and Keijiro Araki, "Evolution of Associative Memory with Environmental Change," An Interdisciplinary Workshop on the Synthesis and Simulation of Living Systems (ALIFE V), (Poster), May 1996.
  4. Akira Imada and Keijiro Araki, "Lamarckian Evolution of Associative Memory," Proc. IEEE Int. Conf. on Evolutionary Computation (ICEC '96), pp.676-680, May 1996.
  5. Mariko Sasakura, Satoko Kiwada, Kazuki Joe, Tsuneo Nakanishi, and Keijiro Araki, "3D Visualization of Program Structure and Data Dependence for Parallelizing Compilers and Parallel Programming," Proc. 9th Int. Workshop on Languages and Compilers for Parallel Computing (LCPC '96), pp.591-593, Aug. 1996.
  6. Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Akira Fukuda, and Keijiro Araki, "Estimating Minimum Execution Time of Perfect Loop Nests with Loop-Carried Dependences," Proc. 1996 Languages and Compilers for Parallel Computing (LCPC '96), pp.591-593, Aug. 1996.
  7. Takahiro Koita, Kazuki Joe, and Akira Fukuda, "A Data Mapping Method to Reduce cache Coherence Overhead," Proc. 1996 Parallel and Distributed Processing Techniques and Applications (PDPTA '96), pp.691-701, Aug. 1996.
  8. Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Akira Fukuda, and Keijiro Araki, "Estimating Parallel Execution of loops with Loop-carried Dependences," Proc. 1996 Int. Conf. on Parallel Processing (ICPP '96), Vol.III, pp.61-69, Aug. 1996. [IEEE]
  9. Shori Kono, Hang-Myung Chang, and Keijiro Araki, "Consistency Checking between Data and Process Diagrams based on Formal Methods," Proc. 20th Annual Int. Computer Software and Applications Conf. (COMPSAC '96), pp.261-269, Aug. 1996.
  10. Kazuki Joe and Akira Fukuda, "Applying the Semi-Markov Memory and Cache Coherence Interference Model to an Updating Based Cache Coherence Protocol," Proc. Euro-Par '96, Vol.II, pp.706-713, Aug. 1996.
  11. Atsufumi Kawamura, Shinji Oda, Hang-Myung Chang, and Keijiro Araki, "Software Development with Common Formal System Descriptions," Proc. Int. Symp. on Future Software Technology '96, pp.146-153, Oct. 1996.
  12. Akira Imada and Keijiro Araki, "Basin of Attraction of Associative Memory as It Evolves from Random Weights," Proc. 1st Asia-Pacific Conf. on Simulated Evolution and Learning (SEAL '96), pp.271-279, Nov. 1996.
    13. 9--12
  13. Kazuhiko Kashiwagi, Keizo Saisho, and Akira Fukuda, "Design and Implementation of Dynamically Reconstructing System Software," Proc. 1996 Asia-Pacific Software Engineering Conf. (APSEC '96), pp.278-287, Dec. 1996. [IEEE]
  14. Tetsuro Katayama, Zengo Furukawa, and Kazuo Ushijima, "A Method for Structural Testing of Ada Concurrent Programs Usign the Event Interactions Graph," Proc. 1996 Asia-Pacific Software Engineering Conf. (APSEC '96), pp.355-364, Dec. 1996.

解説記事

  1. 城 和貴, 福田 晃, 「並列計算機の解析モデル」, 情報処理, Vol.37, No.6, pp.528-535, 1996年6月.
  2. 山本 和彦, 「セキュリティとプライバシ」, テレビジョン学会誌, Vol.50, No.6, pp.666-669, 1996年6月.
  3. 山本 和彦, 「インターネットにおけるセキュリティ・ホール検出ソフトウェア」, コンピュータソフトウェア, Vol.13, No.4, pp.57-65, 1996年7月.

シンポジウム

  1. 山本 和彦, 「マルチメディアメールのプライバシを強化できる Mew の概要について」, つくばソフトウェアシンポジウム, pp.83-86, 1996年5月.
  2. 河野 勝利, 張 漢明, 荒木 啓二郎, 「構造化ダイアグラムの一貫性検証に対する形式的手法の適用」, ソフトウェアシンポジウム '96 論文集, pp.99-111, 1996年6月.
  3. 中西 恒夫, 城 和貴, Constantine D. Polychronopoulos, 福田 晃, 荒木 啓二郎, 「ループ最小並列実行時間を算出する一手法」, 並列処理シンポジウム JSPP '96 論文集, pp.57-64, 1996年6月.
  4. 山本 和彦, 南 政樹, 島 慶一, 渡部 謙, 尾上 淳, 角川 宗近, 新 善文, 村井 純, 宮川 晋, 「WIDE プロジェクトにおける IPv6 の実現」, インターネットコンファレンス '96 論文集, pp.103-110, 1996年7月.
  5. 土井 慎司, 最所 圭三, 福田 晃, 「移動計算機を含む分散環境での DSM の構築」, 情処学会コンピュータシステムシンポジウム論文集, pp.93-98, 1996年11月.
  6. 柏木 一彦, 最所 圭三, 福田 晃, 「カーネル機能の動的変更」, 情処学会コンピュータシステムシンポジウム論文集, pp.131-138, 1996年11月.

研究会

  1. 中西 恒夫, 城 和貴, Constantine D. Polychronopoulos, 福田 晃, 荒木 啓二郎, 「数理計画問題としてのループ並列実行時間の下限算出問題」, 情処研報, Vol.96, No.10, 96-MPS-5, pp.13-18, 1996年1月.
  2. 植村 俊亮, 安達 淳, 有川 正俊, 清木 康, 下條 真司, 加藤 俊一, 小島功, 最所 圭三, 國島 丈生, 「『マルチメディア情報ベース技術の研究』が目指すもの」, 情処研報, Vol.?, No.?, 96-DBS-106, pp.157-164, 1996年1月.
  3. 岩田 健一, 佐野 健, 最所 圭三, 福田 晃, 「オンチップマルチプロセッシング・アーキテクチャ (OCMP): ロック機構」, 情処研報, Vol.96, No.13, 96-ARC-116, pp.25-30, 1996年1月.
  4. 中西 恒夫, 城 和貴, Constantine D. Polychronopoulos, 福田 晃, 荒木 啓二郎, 「ループ並列実行時間の下限を算出する一手法」, 情処研報, Vol.96, No.23, 96-ARC-117, pp.25-30, 1996年3月.
  5. Kazuki Joe and Akira Fukuda, "Applying the Semi-Markov Memory and Cache Coherence Interference Model to an Updating Basd cache Coherence Protocol," IPSJ SIG Notes, Vol.96, No.24, 96-MPS-6, Mar. 1996.
  6. 最所 圭三, 「ハードウェアによるデッドロック検出機構について」, 情処研報, Vol.96, No.25, 96-DBS-107, pp.57-64, 1996年3月.
  7. 柏木 一彦, 最所 圭三, 福田 晃, 「カーネル機能の動的構築が可能な OS の設計」, 情処研報, Vol.96, No.79, 96-OS-73, pp.97-102, 1996年8月.
  8. 長尾 周司, 片山 徹郎, 張 漢明, 最所 圭三, 福田 晃, 「OS の自動生成に向けて」, 情処研報, Vol.96, No.79, 96-OS-73, pp.103-108, 1996年8月.
  9. 佐井 範行, 最所 圭三, 福田 晃, 「ユーザレベル・スレッドライブラリPPLの実装: 独立したスケジューラの実現」, 情処研報, Vol.96, No.79, 96-OS-73, pp.133-138, 1996年8月.
  10. 小椋 則樹, 最所 圭三, 福田 晃, 「プロセスレプリケーションにおける障害検出について」, 信学技報, Vol.96, No.231, CPSY96-61, pp.31-38, 1996年8月.
  11. 木和田 智子, 笹倉 万里子, 中西 恒夫, 城 和貴, 福田 晃, 荒木 啓二郎, 「並列化支援のためのデータ依存の3次元視覚化」, 情処研報, Vol.96, No.97, 96-HPC-63, pp.37-42, 1996年10月.
  12. Takahiro Koita, Kazuki Joe, and Akira Fukuda, "A Load Sharing Scheme for Large Scale Distributed Systems by Using a Structural Analysis Method," IPSJ SIG Notes, Vol.96, No.118, 96-MPS-10, pp.41-47, Nov. 1996.

その他

  1. 山本 和彦, 加藤 朗, 「6bone について」, IP Meeting '96, pp.?-?, 1996年12月.
  2. 山本 和彦, 「転ばぬ先のセキュリティ」, UNIX MAGAZINE 連載, ASCII, 1994年5月～1996年8月.
  3. 山本 和彦, 「ノンフィクションの面白さ」, テイクダウン書評, No.227, p.181, 1996年8月.

E-mail: publicity [at] f.ait.kyushu-u.ac.jp
Powered by SOY CMS