コンパイラと数式処理 : コンパイラ・インフラストラクチャCOINSの活用 : 構想 (Computer Algebra : Design of Algorithms, Implementations and Applications)
スポンサーリンク
概要
著者
-
渡邊 坦
電気通信大学
-
藤瀬 哲朗
三菱総合研究所
-
渡邊 坦
Coinsコンパイラ・インフラストラクチャ協会
-
渡辺 坦
(株)日立製作所システム開発研究所
-
西岡 利博
三菱総合研究所
-
西岡 利博
株式会社三菱総合研究所
-
渡邊 担
電気通信大学情報工学科
-
藤瀬 哲朗
株式会社三菱総合研究所
-
渡辺 坦
(株)日立製作所中央研究所
-
渡辺 坦
Coinsコンパイラ・インフラストラクチャ協会
関連論文
- SIMDベンチマークの設計と実装(システム性能評価)
- マルチメディアSIMD命令活用のためのデータサイズ推論
- VLIW計算機における効率の良い多重分岐の命令スケジューリング
- 特性の異なるループの融合によるコード最適化
- 非可約な制御フローグラフのための簡潔で高速な支配木と支配辺境の検出算法
- 述語付き命令を持つ計算機における条件変換の静的最適化方式
- 非循環グラフにおける支配関係の簡潔な検出算法
- 機械語の生成を核としたJavaコンパイラシステム
- 印付けと回収を並列に実施するごみ集めについて
- 条件分岐を含むソフトウェアパイプライニング
- ネットワークスイッチのFPGAへの実装とカスタムLSI化
- RISCプロセッサのFPGAへの実装とカスタムLSI化
- RISC向けの高性能中間コードによるマルチプラットホーム実行環境の実現
- 部分冗長コードの多重ループ外への一挙移動方式
- プログラマブルなビジュアルデバッグ支援システム
- 異常検出に対する言語・機種に非依存なオブジェクト最適化
- Javaコンパイラにおける効率的な多次元配列アクセス
- 高速な動的コンパイルが可能なコード生成方式の提案
- 並列度の異なるVLIW計算機ファミリでの命令コード共有方式
- 簡易没入型ディスプレイ CC Room の開発と映像生成手法
- フィｰルドと仮想空間を結ぶ情報アクセスインタフェｰス
- プログラミング言語の最近の動向 (ソフトウェア生産技術) -- (ソフトウェア生産技術)
- 複合バンク機構を考慮した系統的レジスタ割当て方式とその一般化
- PIMOSの資源管理方式
- オブジェクト指向分散環境OZ++のコンパイルサーバの設計
- オブジェクト指向分散環境OZ++のオブジェクト管理系の設計
- オブジェクト指向分散環境OZ++のクラス配送機構
- オブジェクト指向分散環境OZ++の基本設計
- オブジェクト指向分散環境OZ++の言語の基本設計
- COINSにおける並列化(21世紀のコンパイラ道しるべ・・COINSをベースにして)
- コンパイラ研究の動向について
- 機種非依存中間語ArmCodeを用いたリターゲット型コンパイラの開発と評価
- G-基底によるU-終結式の構成(数式処理と数学研究への応用)
- 一般消去法による方程式の解法と実例(数式処理と数学研究への応用)
- ポータブルKL1処理系KLICの概要
- オブジェクト指向分散環境OZ++のコンフィギュレーション管理の設計
- オブジェクト指向分散環境OZ++のオブジェクトマネージャの設計
- オブジェクト指向分散環境OZにおけるセキュアプログラミング
- オブジェクト指向分散環境OZの暗号化通信プロトコル
- オブジェクト指向分散環境OZのセキュリティモデル
- オブジェクト指向分散環境OZにおけるフェデレーション管理の概念設計
- オブジェクト指向分散環境OZのアドレス解決機構
- オブジェクト指向分散環境 OZのプロセス内セキュリティ
- オブジェクト指向分散環境OZ++のアプリケーションゲートウェイの実装
- ワールドワイドな分散オブジェクト指向環境の構想
- クラスの共有と配送に基づくオブジェクト指向分散システムの設計と実現 (マルチメディア通信と分散処理)
- オブジェクト指向分散環境OZ++のWWW/CGIインタフェースの設計と実装
- オブジェクト指向分散環境OZ++のプログラミングパラダイム
- オブジェクト指向分散環境OZ++システム第一版の実現
- オブジェクト指向分散環境OZ++の開発環境ワークベンチ
- オブジエクト指向分散環境OZ++の名称管理の設計
- OZ++コンパイラによるクラスの版管理
- 演繹オブジェクト指向データベースシステムQuixoteの特徴と実現
- 演繹オブジェクト指向データベース言語Quixoteの手続き的意味論
- 条件分岐を含むソフトウェアパイプライニング
- COINSコンパイラ・インフラストラクチャの開発(ソフトウェア論文,最新コンパイラ技術とCOINSによる実践)
- リターゲット型コンパイラ向き中間語ArmCodeの開発
- オブジェクトの交換を利用した分散サービス利用のためのフレームワーク
- 4N-2 KLICへのデータ並列処理機能の導入について
- 3K-2 汎用並列組合せ最適化パッケージの構想
- KLIC処理系核の評価
- PIMOSの評価
- コンパイラと数式処理 : コンパイラ・インフラストラクチャCOINSの活用 : 構想 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 大学教育に期待するものしないもの(インタラクティブ・エッセイ)
- 共通的計算機モデルに基づく機器制御用言語el(α)の開発
- 4. ソフトウェアから見た命令セットアーキテクチャ 4.1 コンパイラと命令セットアーキテクチャ (命令セットアーキテクチャ)
- 意味モデルに基づくコード生成方式
- 正則な状態遷移図の全遷移を網羅するテストデータ生成アルゴリズム
- PIMOS上でのシェルの実現 : 共有資源管理
- VLIW計算機における効率の良い多重分岐の命令スケジューリング
- 述語付き命令を持つ計算機における条件変換の静的最適化方式
- 連結生存区間に基づくレジスタ割付け方式の提案
- 連結生存区間に基づくレジスタ割付方式の提案
- 記号行列式の一階微分の評価法
- 連立代数方程式のある種の解法について : 代数的・数値的算法による全解構成法(数式処理と数学研究への応用)
- 高水準中間表現HIRでの最適化(21世紀のコンパイラ道しるべ・・COINSをベースにして 8)
- 手続き型言語での再帰の除去について
- 手続き型言語での再帰の除去について
- フロー解析に基づく意味的エラー検出方法の研究
- HIRの説明と簡単な言語のフロントエンド(21世紀のコンパイラ道しるべ・・COINSをベースにして,連載2)
- 概要(21世紀のコンパイラ道しるべ : COINSをベースにして)
- 概要
- プログラミング言語 (マイクロコンピュ-タ応用技術) -- (マイクロコンピュ-タシステムのソフトウエア)
- システム記述用プログラム言語MUMPS--会話形簡易デ-タベ-ス言語MUMPSとその用途 (マイコン用高級言語の選び方・使い方--ソフトウェア開発生産性向上へのアプロ-チ) -- (プログラム言語の種類と選定のポイント)
- FORTRAN プログラムの動特性を把握する一手法について
- 連結生存区間に基づくレジスタ割付方式の提案
- 表現能力に富む小さな文法について
- 意味論的メタ言語の形をした計算機言語
- 16ビットマイクロコンピュ-タHD68000用高級言語S-PL/HとFORTRANの開発 (マイクロエレクトロニクス) -- (マイクロコンピュ-タ)
- マイクロコンピュ-タによる会話形簡易デ-タベ-ス言語"Hitachi Micro MUMPS"
- 齋藤鐵男(著), プログラマの数値解析+α, 丸善プラネット(株), 207p., 2,400円+税, ISBN978-4-901689-85-4
- Common ESP上のLTBについて
- 統合並列処理向けの多項式計算ソフトウェアの試作 (数式処理における理論と応用の研究)
- 一変数多項式因数分解のための並列計算系について(数式処理における理論と応用の研究)
- 5.数式処理と並列処理 (数式処理の最近の研究動向)
- 特集「数式処理の最近の研究動向」の編集にあたって (数式処理の最近の研究動向)
- 並列処理の多項式計算への応用
- 並列DDFアルゴリズム(数式処理における理論とその応用の研究)
- U-終結式の計算について(数式処理と数学研究への応用)
- 簡易没入型ディスプレイCC Roomの開発と映像生成手法(「グラフィックスとアルゴリズム」特集)