ユーザインターフェイスプログラミングに見られる部分型システムのプログラミング言語への取り込み
スポンサーリンク
概要
著者
関連論文
- 東京大学におけるサーバ証明書発行体制の構築と課題
- 九州大学における一般情報処理教育支援システムについて
- プログラミング教育のためのWEB上の動作表示システム
- SAX上のlazy XML treeの構成によるXSLTの最適化
- キャンパスPKIにおけるコスト構造に関する研究(マルチメディア通信,マルチメディアシステム,ライフログ活用技術、IP放送/映像伝送,一般)
- キャンパスPKIにおけるコスト構造に関する研究(マルチメディア通信,マルチメディアシステム,ライフログ活用技術、IP放送/映像伝送,一般)
- キャンパスPKIにおけるコスト構造に関する研究
- 東京大学におけるサーバ証明書発行体制の構築と課題
- An MPICH-G Network on SuperSINET and its Performance(MPI性能評価)
- マルチスレッドを利用した分散共有メモリシステムにおけるスケジューリング属性の影響
- PVMを複数ネットワーク構成に用いた通信コストの評価
- 脅威モデルの構築をもとにしたサーバ証明書発行体制の分類とその評価手法の提案(セキュリティ(1))
- レガシーWebアプリケーションに対応するPKIを用いた簡易Single Sign-Onの実現(インターネット応用及び一般)
- レガシーWebアプリケーションに対応するPKIを用いた簡易Single Sign-Onの実現(インターネット応用及び一般)
- 最適化の検証を行うコンパイラのための型システム(サイバー増大号)
- ループアンローリングに関するGNU-CのBug Fixと性能改善
- Flow Analytic Type System for Array Bound Checks
- D-9-36 キャンパスPKIのコスト構造定量化に関する検討(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
- インライン展開を前提とした定数伝播適用ルールの提案
- ループアンローリングの特徴抽出とそのモデル化
- X86アーキテクチャのメモリ階層を考慮した最適なRegister Allocation
- A Type System for Verification of Compiler Optimizations
- メタ計算系上のコンパイラインターフェイス
- 分散共有メモリシステム上にソフトウェアによって構築されたキャッシュシステムの静的制御
- 分散環境における共有メモリ型SPMDプログラミングモデル : Split-C/PVMの実装
- 非同期通信によって自動最適化を行なう並列化コンパイラの設計
- ソーシャルブックマークにおけるタグの時系列的な依存関係の解析(ネットワーク)
- 並列化コンパイラにおけるプロセッサ間非同期通信命令を用いた通信コストの最適化
- ユーザインターフェイスプログラミングに見られる部分型システムのプログラミング言語への取り込み
- εDM-∈文書モデル : テキストベース、ハイパーテキストのためのモデル