yr 〜
yr

Search results 9

移動型並行計算の理論に関する研究

移動型並行計算の理論に関する研究
Paper図書
村上昌己, 岡山大学 [著][村上昌己]2000-2003<Y151-H12680352>
National Diet Library
  • Subject Heading並行計算 / 線形論理 / 動的変更 / 分散システム / 名前の有...

スケーラブル統合プログラミング言語モデルLMNtalの実用化

スケーラブル統合プログラミング言語モデルLMNtalの実用化
Paper図書
上田和紀, 早稲田大学 [著][上田和紀]2004-2006<Y151-H16300009>
National Diet Library
  • Subject HeadingLMNtal / プログラム言語 / コンパイラ / 並行計算 / 分散計算 / 多重集合書換え / グラフ書換え

構造的動作意味定義に基づく実時間並行ソフトウェアの構築

構造的動作意味定義に基づく実時間並行ソフトウェアの構築
Paper図書
結縁祥治, 名古屋大学 [著][結縁祥治]2001-2003<Y151-H13680408>
National Diet Library
  • Subject Heading並行計算モデル / 構造的操作意味定義 / プロセス代数 / 実時間...

線形論理に基づく並列計算の枠組み及びプログラミング言語の設計・実装に関する研究

線形論理に基づく並列計算の枠組み及びプログラミング言語の設計・実装に関する研究
Paper図書
米澤, 明憲, 東京大学1994-1995<Y151-H06452389>
National Diet Library
  • Subject Heading並行計算 線形論理 並列オブジエクト指向 静的解析

論理学的手法を用いたプログラミング言語の計算モデルの理論

論理学的手法を用いたプログラミング言語の計算モデルの理論
Paper図書
岡田光弘, 慶応義塾大学1997-1999<Y151-H09480058>
National Diet Library
  • Subject Heading線形論理 相意味論 証明の正規化定理 (強) 停止性 計算モデル 高階論理 並行計算 カツト消去定理

代数的メタプログラミングに関する基礎的研究

代数的メタプログラミングに関する基礎的研究
Paper図書
濱口, 毅, 名古屋大学1996-1997<Y151-H08458067>
National Diet Library
  • Subject Headingメタ計算 書換え計算 項書換え系 並行計算 検証 代数的仕様 帰納的定理 被覆集合帰納法

分散ネットワーク型コミュニティシステムの理論と実践に関する研究

分散ネットワーク型コミュニティシステムの理論と実践に関する研究
Paper図書
富樫敦, 宮城大学 [著][富樫敦]2004-2005<Y151-H16500038>
National Diet Library
  • Subject Headingコミュニティシステム / オントロジー / エージェント / 分散ネットワーク / セマンティックウェブ / 分散ネットワーク型コミュニティシステム / 並行計算 / 構造的操作意味論

ジラールの線形論理とその情報科学への応用

ジラールの線形論理とその情報科学への応用
Paper図書
岡田, 光弘, 慶応義塾大学1995-1997<Y151-H07808035>
National Diet Library
  • Subject Heading線形論理 相意味論 並行計算 正規化定理 カツト消去定理 関数型プログラム言語 論理プロ...

関数型並行計算モデルに関する基礎的研究

関数型並行計算モデルに関する基礎的研究
Paper図書
坂部, 俊樹, 名古屋大学1990-1991<Y151-H02680020>
National Diet Library
  • Subject Heading並行計算 関数型計算モデル CCS ブロードキヤスト ナローイング ...

Reached to the end of result.