MISC

1994年7月7日

形式化に基づく並列性抽出-既存逐次プログラムを並列実行するためのパラダイム

情報処理学会研究報告ソフトウェア工学(SE)
  • 笹倉 万里子
  • ,
  • 中西 恒夫
  • ,
  • 城和貴
  • ,
  • 荒木 啓二郎

1994
55
開始ページ
17
終了ページ
24
記述言語
日本語
掲載種別

人が膨大なデータの関係を把握するための一つの有効な手段としてデータの視覚化がある.ここでは,逐次プログラムを並列実行するという問題を例としてデータを視覚化するための一般的な枠組を提案し,実現のための課題を述べる.この枠組では,対象は内部的には複数のモデルで形式的に記述される.また,視覚化情報を視覚化のためのモデルとして形式的に記述しておく.形式的に記述されたデータと視覚化技法の対応をとることで視覚化が行なえる.モデルとしては等価だが見かけの違う視覚化情報を対応させることで,あるデータから異なった図を簡単に得ることができるであろう.Visualization is one of the useful methods for grasping relations of large data. In this paper, we propose a general model for visualization and discuss problems to realize the model dealing with a problem of extracting parallelism in serial programs. In this model, we describe data and visual informations formally. We consider visualization as matching between data and visual informations. We can get various picture just by changing parameters of the matching.

リンク情報
CiNii Articles
http://ci.nii.ac.jp/naid/170000018757
CiNii Books
http://ci.nii.ac.jp/ncid/AN10112981
URL
http://id.nii.ac.jp/1001/00021970/
ID情報
  • CiNii Articles ID : 170000018757
  • CiNii Books ID : AN10112981

エクスポート
BibTeX RIS