ポータブルなPrologコンパイラーの実現
スポンサーリンク
概要
- 論文の詳細を見る
我々は、実用的なPrologを研究している。研究は、言語の整理・拡張、抽象化マシンの改良及びそれらに基づいたコンパイラ・システムの構築などからなる。今回、コンパイラ・システムを複数の機械、OS(IBM3081KのCMS,IBH RT/PCのAIX並びに4.3BSD)に移植したので、それについて報告する。
- 一般社団法人情報処理学会の論文
- 1988-09-12
著者
-
江藤 博明
日本アイ・ビー・エム株式会社東京基礎研究所
-
濱 利行
日本アイ・ビー・エム株式会社東京基礎研究所
-
小松 秀昭
日本アイ・ビー・エム株式会社東京基礎研究所
-
丸山 圭一
日本アイ・ビー・エム株式会社 東京基礎研究所
-
小松 秀昭
日本アイ・ビー・エム株式会社 東京基礎研究所
-
浅川 康夫
日本アイ・ビー・エム株式会社 東京基礎研究所
-
大場 充
日本アイ・ビー・エム株式会社 東京基礎研究所
-
濱 利行
日本ibm東京基礎研究所
-
江藤 博明
日本アイ・ビー・エム株式会社サイエンス・インスティチュート
-
大場 充
日本アイ・ビー・エム(株)東京基礎研究所
-
大場 充
日本アイ・ビー・エム(株)サイエンス・インスティチュート
-
丸山 圭一
日本アイ・ビー・エム 東京基礎研
-
浅川 康夫
日本アイ・ビー・エム東京基礎研究所
-
江藤 博明
日本アイ・ビー・エム 東京基礎研
-
濱 利行
日本アイ・ビー・エム(株)東京基礎研究所
関連論文
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法 (ディペンダブルコンピューティング)
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法 (コンピュータシステム)
- ループパーティショニングを用いたショートベクトル化技法
- 6N-4 レジスタ干渉グラフの分割による高速化手法に関する研究(数値計算とコンパイラ技術,学生セッション,アーキテクチャ)
- 非再試行型レジスタ割付けとその評価
- 生存区間分割時に発生する偽干渉を避けるための同時コピー中間コードの利用(ARC-6 : ソフトウェア最適化,2007年並列/分散/協調処理に関する『旭川』サマー・ワークショップ(SWoPP旭川2007))
- 分岐の相関を利用した効率的なパスプロファイリング
- 並列トランザクショナルアプリケーションのためのプログラミングフレームワーク
- 浮動小数点演算の正確さに関する投機を用いたJavaの数値計算の高速化
- 端子回りの接続構造から結線可能性を判定する方法
- マルチコア・システムにおける SAP Java アプリケーション・サーバのスケーラビリティ性能比較
- 並列コピーの導入による生存区間分割手法の性能向上
- Javaにおける例外処理の実行時情報を利用した最適化
- コンパイル速度の向上を目的とした非反復型レジスタ割付け手法
- 頻出メソッド管理テーブルを用いたinvokeinterface命令の実行高速化手法
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- SIMD命令を用いるUTF-8文字列デコード処理の高速化
- 再現コンパイル手法を用いたJava JITコンパイラの問題判別
- PowerPCプロセッサの特性を考慮した高速Javaバイトコードインタプリタの構成法
- 動的コンパイラのための実行時分岐予測を用いた最適化手法
- ジョブ割付問題のオブジェクト指向問題解決部品ライブラリー
- 推論オペレータ導出のための問題構造のモデル化 : 汎タスクレベルのマクロ構造
- 汎タスクレベルにおける推論オペレータの導出
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- VMX命令セットを用いる高速なソートアルゴリズム(数値アルゴリズム)
- ポータブルなPrologコンパイラーの実現
- 無効化とタイムアウトを考慮したLRUキャッシュの解析
- トラック積み合わせ最適化に基づく配送形態最適化事例(輸送・配送)
- ユークリッド距離におけるCritical Cutの効率的生成方法
- パッケージ内配線のための概略配線手法
- 容量制約を満たした配線経路探索方法 (<特集> レイアウトと一般)
- 一層自動配線のための適応型グリッド生成法
- 89-35 抽象アルゴリズミック・デバッギング
- 1-S-9 製鋼熱延同期スケジュール : 中国鋼鉄様における事例(企業事例交流会)
- 2-E-9 位置制約のあるスケジューリング問題に対する期待値に基づいたヒューリスティック手法(スケジューリング(1))
- JSIAIワークステーション(7) : Prologコンパイラの評価
- JSIAIワークステーション(6) : Prologコンパイラの最適化技法
- JSIAIワークステーション(5) : Prologコンパイラの概要と設計方針
- プログラムの信頼性向上を目的とした補助スレッドの効率的利用(ジョブスケジューリング, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- プログラムの信頼性向上を目的とした補助スレッドの効率的利用(ジョブスケジューリング, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- レジスタ生存グラフを用いたレジスタ割付けへのプロセッサ並列度の考慮
- B-001 補助スレッドによるソフトウェアの信頼性向上(B.ソフトウェア)
- 領域分割レジスタ生存グラフを用いたレジスタ割付けへの動的計画法の適用
- C-13 レジスタの有効利用を考慮した部分冗長性除去(計算機アーキテクチャと最適化,C.アーキテクチャ・ハードウェア)
- 1. プログラミング言語と環境 1.2 Prolongのプログラミング環境 (<大特集>新しいプログラミング環境)
- Java Just-In-Timeコンパイラにおける最適化とその評価
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成 (ディペンダブルコンピューティング)
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成 (コンピュータシステム)
- 静的プロファイルを用いたファイル・プリフェッチ手法の提案
- HPF処理系の実現と評価
- ワークステーション・クラスタにおける動的なデータ交信/実行管理方法
- コード書換えによる動的メソッド呼び出しの直接Devirtualization
- Javaプログラムにおいて例外による順序制約を投機的命令移動を用いて除去する方法
- コード書換えによる動的メソッド呼び出しの直接devirtualization
- 分散メモリ並列計算機のためのコンパイラによる通信遅延隠蔽アルゴリズム
- HPFにおける実行時の通信解析オーバヘッドの削減手法
- HPFコンパイラにおける並列化手法
- 分散並列計算機のための並列性抽出法
- 動的コンパイラにおける実行時経路情報の構造的収集手法の提案
- 大域的なコード移動を使った複数式の実行コスト削減法
- Java言語に対する投機的なメモリアクセスの最適化手法
- 冗長な符号拡張命令の除去手法
- Java言語に対する効果的なNullチェックの最適化手法
- 振動モデルのグラフィック入力による運動方程式の自動生成 : 質点・剛体系の二次元振動の場合
- 命令レベル並列アーキテクチャのためのループアンローリングおよびソフトウェアパイプライニング適用技法
- コンパイル時未定義ループ不変値を添字式に持つループの最内ループ並列化の1手法
- 配線経路探索高速化のためのクリティカルカット削減方法
- JSIAIワークステーション(3) : ウインドウシステムからみたOSの条件
- JSIAIワークステーション(2) : アーキテクチャとOS
- 細粒度並列計算機NLITHの実現とその評価
- 細粒度並列計算機NLITHの概要
- propolice : スタックスマッシング攻撃検出手法の改良(次世代移動通信ネットワークとその応用)
- propolice : スタックスマッシング攻撃検出手法の改良
- propolice:スタックスマッシング攻撃検出手法の改良
- パケットのデータサイズ・時刻系列を使ったコネクション・チェインの発見
- パケットのデータサイズ・時刻系列を使ったコネクション・チェインの発見
- セルコントローラ・IFCの制御言語設計
- モジュール構造を持つプロローグのデータベースインターフェース
- バイトコードパターンマッチによるJavaインタプリタの高速化手法
- データ並列言語における集団通信の実行時認識手法
- データ依存不確定ループの最内ループ並列化
- 依存グラフを用いてアーキテクチャ独立な最適化と対象計算機の資源制約を調整する手法
- 非常に偏った条件分岐が存在するプログラムのデータフロー最適化
- 実行環境が異なる2つのコード間の遷移を行う際の効果的な最適化手法
- 製鋼・熱延スケジューラ連携によるDHCRスケジュール作成方法(製鉄業における製造工程最適化のためのOR技術)
- 特集にあたって(製鉄業における製造工程最適化のためのOR技術)
- 命令レベル並列計算機上で並列実行する領域の選択を高速に行う方法
- 2-C-2 スラブ山繰り問題のためのヒューリスティックアルゴリズム(離散最適化(2))