スポンサーリンク
Department Of Communications And Computer Engineering Graduate School Of Informatics Kyoto Universit | 論文
- L-Closure:安全な計算状態操作機構(平成21年度論文賞の受賞論文紹介)
- L-Closure : 高性能・高信頼プログラミング言語の実装向け言語機構
- 階層的グループ化に基づくコピー型ごみ集めによる局所性改善
- 共有メモリプログラミングのための拡張C言語
- Inhibition of Tumor Progression Locus 2 Protein Kinase Decreases Lipopolysaccharide-Induced Tumor Necrosis Factor α Production Due to the Inhibition of the Tip-Associated Protein Induction in RAW264.7 Cells
- Inhibition of Tumor Progression Locus 2 Protein Kinase Suppresses Receptor Activator of Nuclear Factor-κB Ligand-Induced Osteoclastogenesis through Down-Regulation of the c-Fos and Nuclear Factor of Activated T Cells c1 Genes
- Datapath-Layout-Driven Design for Low-Power FPGA Implementation (特集:電子システムの設計技術と設計自動化)
- 動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計
- Schistosome eggs have a direct role in the induction of basophils capable of a high level of IL-4 production : Comparative study of single- and bisexual infection of Schistosoma mansoni in vivo
- スレッドベース実行における積極的データ転送のためのPlan-Do型コンパイル技法とその評価
- ABCL/EM-4 : データ駆動並列計算機上の並列オブジェクト指向言語処理系の実装と評価
- スレッドベース実行における積極的データ転送のためのPlan-Do型コンパイル技法
- 構成的理論に基づいたプログラミング言語Zとその実装
- L-Closureを用いた真に末尾再帰的なSchemeインタプリタ
- リターンバリア型実時間ごみ集めの抽象モデル検査
- Cache-conscious階層的グループ化データ配置法:Cache-oblivious配置法との実験的比較
- タプル空間によるブラウザ間通信を備えたScheme処理系の開発
- リージョン変数の動的なエイリアス判定によるメモリ効率向上
- 遅延分割型負荷分散フレームワークの試験実装
- スタックベースのML処理系における効率的な一級継続の実装