定理証明用言語MICRO-PLANNER について
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人情報処理学会の論文
- 1973-05-15
著者
関連論文
- 細粒度並列処理におけるレイテンシ隠蔽効果の評価
- 78-03 知識と行動に関するReasoning
- パネル討論会 : 専用プロセッサの動向 : 昭和51年度第17回大会報告
- 77-32 LISP のリスト構造に関する実証的研究
- 75-18 GO TO 文を用いるStructured Programming
- 定理証明用言語MICRO-PLANNER について
- 対話形グラフィック・シミュレーション・システム
- 71-28 対話型グラフィックコンソール周辺技術とソフトウェア
- データフロー計算機 SIGMA-1 の基本性能評価
- センサフュージョンのためのリアルタイムパラレルアーキテクチャ
- 実時間用並列計算機アーキテクチャの検討
- 並列記述言語DFCIIの命令レベルデータ駆動計算機に対する構造文処理
- CODAにおけるスキップ機構の導入による共有変数アクセスの効率化
- CODAアーキテクチャ : 命令挿入によるレジスタ上でのデータ待ち合わせ
- 同期構造を埋め込んだSIGMA-1用高級言語DFC II
- 命令レベルデータ駆動計算機における効率的な分岐命令の設計
- 高並列計算機における遠隔データの先行フェッチのためのループ変換手法
- 科学技術計算用データ駆動計算機SIGMA-1における入出力の実現
- SIGMA-1用言語DFCに対する拡張機能の提案
- デ-タフロ-言語DFCの設計と実現
- 3. アーキテクチャ 3.7 データフローマシン (並列処理マシン)
- 特集「並列処理マシン」の編集にあたって
- 科学技術計算用並列計算機におけるベンチマークプログラム : その構成思想
- 科学技術計算用データ駆動計算機SIGMA-1LSI版のネットワーク構成
- 科学技術計算用データ駆動計算機SIGMA-1のモニタ
- 科学技術計算用データ駆動計算機SIGMA-1のソフトウェア環境
- 特集「並列処理技術」の編集にあたって
- 並列計算機におけるネットワ-クを用いた動的負荷分散機構
- 特集「オプトエレクトロニクス」の編集にあたって
- 数値計算向きデータフロー計算機 (<小特集>関数型言語向きマシン)
- 科学技術計算用データ駆動計算機SIGMA-1のモンテカルロ法への適用(数値計算の基本アルゴリズムの研究)
- 仮想計算機によるLISPプログラムの動的特性
- 高級言語マシン
- LISPマシンとその評価