PSIへのコンパイラ向きProlog命令の試験実装と評価
スポンサーリンク
概要
- 論文の詳細を見る
マイクロプログラムによるインタプリタ方式を採用しているProlog専用マシンPSIに,コンパイラでの最適化を重視した機械語命令セットを試験実装し,合わせて処理方式についても改良を加え,性能評価を行った.機械語命令には,D.H.D.Warrenの提案したProlog命令セット^3)を拡張して使用した.性能はPSIのオリジナル処理系に比べて1.74倍から3.36倍となり,最大推論速度114.5KLIPS を得ることができた.また機械語命令の平均実行速度は,約0.6MIPSとなった。
- 一般社団法人情報処理学会の論文
- 1987-10-15
著者
-
瀧 和男
(財)新世代コンピュータ技術開発機構
-
瀧 和男
新世代コンピュータ技術開発機構
-
中島 浩
京都大学工学部
-
中島 浩
三菱電機
-
中島 浩
三菱電機(株)
-
中島 克人
(財)新世代コンピュータ技術開発機構
-
中島 克人
三菱電機
関連論文
- バーチャルタイムによる並列論理シミュレーション (並列処理)
- バーチャルタイムによる並列論理シミュレーション
- 不規則問題に対する並列化コンパイル手法
- 並列化コンパイラTINPARにおけるスカラ変数処理
- 不規則アクセスを伴うループの並列化コンパイル技法 : Inspector/Executorアルゴリズムの高速化
- HDTV対応低消費電力MPEG2 MP@HL動き検出LSIの開発
- 高速低消費電力論理回路方式ASDLのパイプライン化手法とその評価
- マルチPSIにおける接続ネットワークの試作と評価
- 並列推論マシンPIM/c : 概要
- 高速モードと低消費電力モードを有する2線式論理回路の設計手法(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 高速モードと低消費電力モードを有する2線式論理回路の設計手法(論理・回路設計,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 高速モードと低消費電力モードを有する2線式論理回路の設計手法(論理・回路設計,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 静的解析による並列論理型言語KL1のメッセージ通信最適化
- 並列論理型言語処理系KLICにおける通信の高速化
- 並列論理型言語KL1の最適化手法
- 並列論理型言語KL1の最適化手法
- PIM/mフロントエンド・プロセッサの速度性能評価
- PIM/m要素プロセッサのアーキテクチャ
- 分散環境における構造体管理
- PSI-IIの性能評価 : If_Then_Else,Neck_Cut
- パーソナル逐次型推論マシンPSIの評価 : 実行速度とハードウェア各部の性能について
- PSIへのコンパイラ向きProlog命令の試験実装と評価
- マルチPSI要素プロセッサPSI-IIのメモリ管理とプロセス管理
- マルチPSI重要素プロセッサPSI-IIの最適化手法
- マルチPSI要素プロセッサPSI-IIのアーキテクチャ
- 高速論理回路方式ASDDL/ASD-CMOSの論理合成手法(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 高速論理回路方式ASDDL/ASD-CMOSの論理合成手法(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 2線2相論理回路方式ASDDL/ASD-CMOSの論理合成手法(VLSIの設計/検証/テスト及び一般論理合成及び高位合成)
- 2線2相論理回路方式ASDDL/ASD-CMOSの論理合成手法(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 2線2相論理回路方式ASDDL/ASD-CMOSの論理合成手法(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 2線2相論理回路方式ASDDL/ASD-CMOSの論理合成手法(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 2線2相論理回路方式ASDDL/ASD-CMOSの論理合成手法
- PIMOSのトレーサ
- 高速低消費電力論理回路方式ASDLのパイプライン化手法とその評価
- 1.5MLIPS40ビット推論プロセッサ
- 大学発知の事業化と地域活性化 パネルディスカッション (日本ベンチャー学会第11回全国大会)
- 温度並列シミュレーテッドアニーリング法に基づくスタンダードセル配置プログラム
- 並列オブジェクトモデルに基づくLSI配線プログラム (並列処理)
- マルチPSI要素プロセッサPSI-IIのマイクロ・プログラム・シミュレータZEUS
- マルチPSI/V2におけるコード形式について
- KL1抽象命令セットの改良について
- マルチPSIのネットワーク・ハードウェア構成
- マルチPSIシステムとその接続方式
- スタック領域が不要な深さ優先順コピー型ゴミ集め方式
- B-20-12 TS-CDMAによる超多重RFIDトランスポンダ向け同期回路の検討(B-20.ユビキタス・センサネットワーク,一般講演)
- 超多重RFIDシステムの高位モデル化とバックエンド設計への応用(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 超多重RFIDシステムの高位モデル化とバックエンド設計への応用(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 超多重RFIDシステムの高位モデル化とバックエンド設計への応用(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 超多重RFIDシステムの高位モデル化とバックエンド設計への応用(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 超多重RFIDシステムの高位モデル化とバックエンド設計への応用
- TD-CDMAによる輻輳制御を用いたRFIDシステム向けトランスポンダのIC設計と評価(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- TD-CDMAによる輻輳制御を用いたRFIDシステム向けトランスポンダのIC設計と評価(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- TD-CDMAによる輻輳制御を用いたRFIDシステム向けトランスポンダのIC設計と評価(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- TD-CDMAによる輻輳制御を用いたRFIDシステム向けトランスポンダのIC設計と評価(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- RSA暗号用高速べき乗剰余演算器の設計
- RSA暗号用高速べき乗剰余演算器の設計
- RSA暗号用高速べき乗剰余演算器の設計
- 非対称な信号遷移を用いた高速論理回路方式(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- Multi-PSI/V2における一括GC及びメモリ消費特性の評価
- 非対称な信号遷移を用いた高速ダイナミック回路の論理合成手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 非対称な信号遷移を用いた高速ダイナミック回路の論理合成手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 非対称な信号遷移を用いた高速ダイナミック回路の論理合成手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 非対称な信号遷移を用いた高速ダイナミック回路の論理合成手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 非対称な信号遷移を用いた高速論理回路方式(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非対称な信号遷移を用いた高速論理回路方式(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非対称な信号遷移を用いた高速論理回路方式(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 分散環境におけるユニフィケーションの実現
- SIMPOSのプログラミング環境 : コール・カウンター
- パネル討論会 / 並列計算機の実用化・商品化を逡巡させる諸要因とは : その徹底分析と克服 ( 並列処理 シンポジウム JSPP 92 報告)
- 超並列プロトタイプ計算機JUMP-1の構想
- マルチPSIにおける並列処理とその評価 - 小粒度高並列オブジェクトモデルに基づくパラダイムについて -
- メッセージ交換型並列計算機のための並列化コンパイラTINPAR
- 並列化コンパイラTINPARにおける専用通信ライブラリの実装と性能評価
- メッセージ交換型並列計算機のための並列化コンパイラTINPAR : 最適化手法と性能評価
- メッセージ交換型並列計算機のための並列化コンパイラ
- プログラム並列化におけるデータ分割支援システム
- 特集「並列処理」の編集にあたって (並列処理)
- 産学官連携&大学発ベンチャーシリーズ(2)LSI設計技術の研究からベンチャー起業へ
- 視角制限ピクセル並列処理によるボリューム・レンダリング向きの超高速専用計算機のアーキテクチャ
- ピクセル並列処理によるボリューム・レンダリング向きの超高速専用計算機アーキテクチャー
- ピクセル並列処理によるボリューム・レンダリング向きの超高速専用計算機アーキテクチャ
- ボリュームレンダリング専用並列計算機ReVolver/C40の試作
- セルフ・クリーンアップ型ライトバック・キャッシュの提案
- ディレクトリ型キャッシュコヒーレンスプロトコルの性能評価
- 細粒度プロセッサ間通信をサポートする高機能キャッシュ・システム
- シミュレーティド・アニーリングによる静的タスク配置へのヒューリスティクスの適用とその評価
- 並列推論と知識情報処理--第5世代コンピュ-タプロジェクトの歩み (並列知識情報処理--並列と推論)
- ボリュームレンダリング専用並列計算機ReVolverのアーキテクチャ
- 探索問題の並列化と実行例--詰め碁問題 (並列知識情報処理--並列と推論)
- 並列単層配線を改良する新しい手法の提案
- 並列自動配線アルゴリズムAmon
- 静的解析による並列論理型言語の実行最適化