トランスピュータを用いた表明付き項書き換え系の実現
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,リダクション戦略の表明を行うことのできる項書き換え系A-TRSのリダクションをトランスビュータによって,メッセージ交換を用いて分散的に実行するリデューサの実現とその評価について述べる.
- 一般社団法人情報処理学会の論文
- 1992-02-24
著者
関連論文
- ユーザとの対話機能をもつメイルInterCam
- 時制論理に基づくプロトコルの LOTOS 仕様の合成
- パネル討論会 : 新しい情報処理デバイスの展望 : 新しい計算機システム構築のために : 昭和59年後期第29回全国大会報告
- 「人工知能の展望」 : 1987年7月20日 人工知能学会全国大会(於:学習院大学記念会館)にて
- 協調作業のためのアプリケーションプログラム間協調機能
- パーソナルユーザを対象にしたマルチメディアインフォメーションサーバMineSのアーキテクチャ
- パーソナルユーザを対象にしたマルチメディアインフォメーションサーバMineSのユーザインタフェースアーキテクチャ
- プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
- シーケンス図を基本とした通信システム用仕様記述法MSCの提案
- 図的関数型言語のプログラミング環境の設計と記述
- メタファーネットワークにおけるサービス記述環境の構築
- 自律分権協調における「スコープ」と動的グルーピング
- 協調型メタプログラミング言語Faによる自己組織性記述のための枠組
- 情報処理専門教育について 大学等における情報系専門教育の改善への提言
- ネットワーク環境のOODBを用いたモデリング : ネットワーク環境変化の自動登録機能
- ネットワーク環境のOODBを用いたモデリング : 知的質問機能に関する考察
- ネットワーク環境のOODBを用いたモデリング : 自律的データの取り込み
- ネットワーク環境のOODBを用いたモデリング : データとビューの統合
- プロセスの枚挙に基づいた代表的プロセスの合成
- 様相論理式による基本プロセスの合成アルゴリズム
- 共同可視化解析支援システムの提案
- 分散可視化システムへのビュー概念の導入
- 科学計算分散可視化システムにおける対話機能
- データ可視化処理用部品を用いたユーザインタフェースの試作
- 分散環境に対応した数値シミュレーション可視化システム
- 自律的な協調処理を行う分権型計算モデルKemari
- 自律分散環境における協調型計算モデル : 協調スコープによる協調動作の記述
- 自律分権協調概念に基づく計算モデルKemari
- 並列処理関数に着目した関数型言語FPのベクトル処理方法
- 関数型言語FPのベクトルプロセッサ向きコンパイル手法
- 学内運用ネットワークにおける大型計算機のデータ転送効率に関する一考察
- 自律的なメッセージによるコミュニケーション
- メッセージ交換を用いた項書き換え系のリデューサの作成
- 表明を持つ項書き換え系(A-TRS)におけるモジュール化手法
- 戦略の表明を持つ項書き換え系のメタインタプリタによる記述
- 項書き換え系のメタインタプリタE-TRS
- 代数を実現する項書換えシステムの帰納的推論
- マルチフェースエージェントを用いたコミュニケーションツールの記述
- コミュニケーションツール記述のためのマルチフェースエージェント(MFA)の提案
- 戦略の表明を持つ項書き換え系A-TRSの実現と評価
- ネットワーク環境におけるLOTOSマルチランデブ実装のための分散アルゴリズム
- LOTOS仕様の分散ネットワーク環境への実装に関する一考察
- Ulメタファー記述言語 : メタファーネットワークDoReMiを例にして
- ネットワーク電子本の提案
- ユーザインタフェース・メタファーの定性的評価とその考察
- 柔軟なコミュニケーションのための認知的インタフェース
- メタファーネットワークにおける都市の混雑具合のリアルタイム表示
- 協調型計算に基づくメタファーネットワーク構築モデル
- メタファーネットワークにおける郵便局の実現
- メタファーネットワーク : 都市のメタファーを用いたネットワーク上でのサービス提供
- インターネット運用作業のワークフロー化の考察とその電子化の試み
- コミュニケーションツールのためのメッセンジャの構造
- 分散環境記述のための言語系
- 3層実行モデルによるAMLOG実行モニタ
- 実行制御機構を持つ融合型言語AMLOG
- ネットワーク対応型ユーザインターフェースとそのLispシステムへの適用
- OODBを用いたネットワーク環境データベースシステム
- OODBを用いたネットワーク環境データベース : 自律オブジェクトのモデルとその応用
- OODBを用いたネットワーク環境の情報提供システム
- ネットワーク環境のOODBを用いたモデリング : データベース更新内容の実世界への反映
- ネットワーク環境のOODBを用いたモデリング : 自律オブジェクトによる履歴の取得
- マルチフェースエージェントの試作とその応用
- NOAA AVHRR 画像の3次元解析システム (サイエンティフィック・ヴィジュアライゼーション)
- 知的統合型プロセスデータベースの構築(I) : 異なるデータベース・システムの統合設計
- NOAA AVHRR画像の特徴情報による分類方法
- NOAA AVHRR画像を用いた3次元輝度ヒストグラムの準最適しきい値の提案
- 東北大学総合情報ネットワークシステムTAINSの構築
- LOTOS検証システムMetisII
- 項書き換え系の関数型言語への変換による実現 (関数型プログラミング)
- OODBを用いたネットワーク環境データベースシステム : 履歴データ取り込み機能の実現
- 気象衛星ノアから得られるマルチスペクトル画像の同時解析方法
- 3次元ヒストグラムの効率的な表示方法
- 東北画像データベース(TIDAS)の2次元的解析
- コミュニケーション計算モデルへのプロトコルの導入
- InterCam(Interactive Card Mail)の実装
- コミュニケーションモデルのプログラム化
- 協調作業モデル記述言語の設計
- 自律的オブジェクトによる協同作業のモデル化
- 協同作業のための自律的オブジェクトの構造
- 衛星通信網向け多地点間同報通信論理リンクプロトコルの開発
- 柔軟な情報システムのためのオブジェクト指向データベース
- 分散Lisp系を用いたメッセージ交換リダクション
- トランスピュータを用いた表明付き項書き換え系の実現