田村 直之

論文一覧:  1件中 1-1 を表示

  • 並列Prolog処理系"K - Prolog"の実現

    松田 秀雄 , 田村 直之 , 小畑 正貴 , 金田 悠紀夫 , 前川 禎男

    試作マルチマイクロプロセッサシステム上への並列Prolog 処理系"k-Prolog"の実装とその評価について述べる.まずマルチプロセッサ上でProlog 処理系を実現するための並列実行モデルを与えそのモデルをもとにパイプライニング並列とOR 並列という二つの並列処理方式の記述を行う.パイプライニング並列とは後戻り処理のときに必要となる別解を他のプロセッサがあらかじめ求めておくもので解の求められる …

    情報処理学会論文誌 26(2), 296-303, 1985-03-15

    情報処理学会

ページトップへ