モジュラー・プログラミングのための支援環境
スポンサーリンク
概要
- 論文の詳細を見る
- 1982-05-15
著者
-
中島 玲二
京都大学数理解析研究所
-
中島 玲二
(財)京都高度技術研究所:京都大学数理解析研究所
-
小島 啓二
(株)日立製作所 システム開発研究所
-
湯浅 太一
京都大学数理解析研究所
-
小島 啓二
日立製作所中央研究所
関連論文
- メディアプロセッサを応用したブロードバンド端末のソフトウェア設計手法(システムプログラム)
- TCCT : タイマを柔軟に制御可能な時間付きプロセス計算
- 時間イベントパターンマッチング
- Real-Time Synchronization Machines for Continuous Media Data(Concurrency Theory and Applications '96)
- Towards a Formal Framework for Multimedia Data and Their Players With QoS
- マルチメディアブラウジングインタフェース「アルバムメタファ」の開発とインターネットへの適用
- RACCO:実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語
- ソフトウェアによる実時間ディジタルメディア処理向けシステムオンチップ(VLSIシステム)
- 文書情報管理システムBibliotheca/IS(1) : 文書情報管理の概要
- 情報のブロードキャッチシステム
- ヒューマンインタフェースの動向 : ポストGUIの座をめぐって
- マージ型ベクトル演算機構を用いた非数値処理の高速化方式
- ベクトル型データベースプロセッサIDP
- ベクトル計算機のための探索問題の計算法 : 並列バックトラック計算法
- ベクトル型高速データベースプロセッサIDP : ソート性能評価
- 次世代エディタ (エディタ)
- モジュラー・プログラミングのための支援環境
- A-7-3 P2P アプリケーションフレームワーク SOBA のセキュリティ機構
- B-19-18 ネットワーク上にP2Pで構築された共有空間の維持(B-19. ネットワークソフトウェア, 通信2)
- B-6-188 SOBAフレームワークにおけるファイアウォール越えのP2P通信手法(B-6. ネットワークシステム)
- B-6-187 SOBAフレームワークによるP2Pネットワーク上の共有情報伝搬機構(B-6. ネットワークシステム)
- B-15-9 ネットワーク上に構築されたP2P仮想共有空間への携帯端末からの参加(B-15.モバイルマルチメディア通信)
- ソフトウェアの形式的開発技法,その実用化への課題 : IFIP'83パネル討論会から
- Ada「批判」 (プログラミング言語 : PascalとAda)
- Proposal of Programming and Verification Scheme : Program Verification Integrated with Structured Programming (計算機構の数学的研究)
- 当世ワ-クステ-ション事情