並列オブジェクト指向言語ABCLによる在庫管理システムの記述 (<特集>新しいプログラミング・パラダイムによる共通問題の設計)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1985-05-15
著者
-
米澤 明憲
東京工業大学理学部情報科学科
-
柴山 悦哉
東京工業大学大学院情報処理工学研究科数理・計算科学専攻
-
松田 裕幸
東京工業大学学術国際情報センター
-
松田 裕幸
東京工業大学
-
米澤 明憲
東京工業大学理学部
関連論文
- 並列オブジェクトによる大規模システムの実現 : Second Lifeシステム,Twitterシステム,分子動力学アプリの場合(並列分散処理,情報爆発論文)
- 組込みシステム向けマルチコア・プロセッサのためのソフトウェア開発支援
- オブジェクト指向計算特集の編集にあたって
- セキュリティプロトコルの略式記法からspi計算への変換
- 仮想マシンモニタによる仮想マシン内プロセスの制御(OS-2 : セキュリティ)
- 情報爆発時代における安全・安心ITシステム基盤(情報爆発時代に向けた新しいIT基盤技術の研究)
- 情報爆発時代における安全・安心ITシステム基盤
- OE3-1 身近なグリッド・コンピューティング(身近なグリッド計算講習会,学術系企画)
- ヒープ中の同期ロックの整合性に関するモデル検査
- 並列ビジュアルプログラミング環境KLIEG:プロセスネットワークパターンによる柔軟な再利用機構の導入(並列・分散)
- 並列ビジュアルプログラミング環境 KLIEG: プロセスネットワークパターンによる柔軟な再利用機構の導入(並列・分散)
- CPUの条件実行機能に対応した型付きアセンブリ言語
- サーバの透過的な移動のためのOS拡張(OS (1))
- B-033 SoftwarePotへのチェックポイント機構の導入(B.ソフトウェア)
- VMMによるアプリケーションを意識したカーネル内の振舞い制御
- プログラミング言語の新潮流
- 日米並列Lispワークショップに参加して
- 大特集「オブジェクト指向プログラミング」の編集にあたって
- Message Passingの理論(同期の数理)
- 柔軟性と拡張性を備えた大規模多人数オンラインゲームのための枠組み(応用システム, SWOPP武雄2005 (2005年並列/分散/協調処理に関する「武雄」サマー・ワークショップ))
- パネル討論会 : 人工知能とプログラミングの接点
- 大規模システムソフトウェアのモデル検査器の設計と実装
- 4.VITC : 情報流解析による高安全Cコンパイラ(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- ヘテロジニアシステム向けリモートプロセス管理機能(オペレーティングシステム)
- ヘテロジニアスシステム向けリモートプロセス管理機能
- 値間依存性に基づくポイントカット記述のためのバイトコード変換(推薦論文・SPA2005)
- 例外処理機構を備えた命令型言語のCPS変換とその定式化
- オブジェクト指向に基づく並列情報処理モデルABCM/1とその記述言語ABCL/1
- 私のソフトウェア研究
- 接続を動的に制御するメッセージパッシングシステム(HPC-11 : グリッド(3))(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 安全な情報社会基盤を構築するために--ソフトウェアのセキュリティをいかに高めるか (特集 コンピュータセキュリティ)
- C++テンプレートを分割コンパイルするためのアプローチ
- テキスト処理言語における文字列のための正規表現型
- Moving FirewallにおけるDDoS攻撃対策システムの評価
- Moving FirewallにおけるDDoS攻撃対策システムの評価
- Moving FirewallにおけるDDoS攻撃対策システムの評価
- MK-1 社会基盤としてのセキュアコンピューティングの実現方式の研究(大型プロジェクト紹介,学術系企画)
- アプリケーションデータを保護するためのVMMに基づくアーキテクチャ
- 組込みシステム向けマルチコア・プロセッサのためのソフトウェア開発支援
- システムコール制御に基づく仮想マシン間サンドボックスシステム
- 並列オブジェクト指向言語の分散環境における実現 (オブジェクト指向コンピューティング)
- オブジェクト指向に基づく並列情報処理モデルABCM/1とその記述言語ABCL/1
- Software Fault Injectionを用いた開発時テスト支援環境
- A-7-3 P2P アプリケーションフレームワーク SOBA のセキュリティ機構
- ブラウザのための可視化とナビゲーション支援 (「Webシステムにおける情報獲得支援技術」)
- 指示棒の認識を用いたプレゼンテーションシステムの構築
- ニューススレッドからの番組自動生成
- コンパイルタイムリフレクションによるOS拡張の記述
- 言語はやはり道具でしょう, 教養はやはり必要でしょう(インタラクティブ・エッセイ)
- Mochi Sheet:大規模なビジュアルプログラムの効率的編集を支援するズーミングインタフェース(次世代ヒューマンインタフェース・インタラクション)
- 保護ドメイン簡約による分散実行環境の保護
- 言語研究者が忘れていたもの (lt討論会gtさまざまなソフトウェア開発文明)
- アプリケーション内メモリ管理の枠組みと分散環境における選択的な保護
- CT3-1 スーパーコンピュータ・コンテスト2002(スーパーコンピュータ・コンテスト2002,学術系企画)
- 多相性と動的ロードを考慮したJavaリフレクションの部分評価
- 対話領域の独立性を指向した日本語対話理解システム
- SuperCon : スーパーコンピュータを使った高校生向けプログラミングコンテンスト
- 並列オブジェクト指向言語ABCLによる在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- 84-13 表示的意味のプログラム表現
- 制約と状態遷移によるアルゴリズムアニメーション構築
- 動作系列別解析法による定性的回路解析とその実現
- 「情報処理学会論文誌 : プログラミング」の編集について
- ローカルポリシーによるアプリケーション機能制限機構(サイバー増大ページ論文概要,サイバー増大号)
- オブジェクト指向方式による対話理解システム
- スーパーコンピュータを巧みに使う(匠(たくみ)と美)
- 遅延属性文法
- 属性文法の新しい応用( 属性文法とその応用-III)
- SCHEME : 抽象化能力をもつ goto-less 手続き型言語 ( プログラミング言語最新情報1)
- 特集「プログラミング言語最新情報」の編集にあたって
- 文法プログラミング
- 並列システムに対する文法プログラミングからのアプローチ
- 並列動作記述に対する文法プログラミングからのアプローチ
- 最近の Lisp 言語
- 19. 抽象データ型言語 (プログラミング言語の最近の動向)
- 大域アドレス空間に基づく分散OSにおけるオブジェクト移送の実現
- 「情報処理学会論文誌 : プログラミング」の編集について