| Version 1 (modified by yonelab, 16 years ago) (diff) |
|---|
学位論文
数字は年度を表しています。
博士論文
2007
- Type Systems for Formal Verification of Concurrent Programs
並行プログラムの形式的検証のための型システム
(末永 幸平) - Formal Verification of Low-level Software
低レベルソフトウェアの形式的な証明
(マーティ ニコラ)
2005
- Writing an Operating System with a Strictly Typed Assembly Language
厳密に型付けされたアセンブリ言語を用いたオペレーティングシステムの記述
(前田 俊行) - Middleware Systems for Enabling users to Adapt to Dynamic Changes in Execution Environments
実行環境の動的な変化にユーザが適応することを可能にするためのミドルウェアシステム
(金田 憲二)
2004
- Implementation of a Fail-Safe ANSI C Compiler
安全な ANSI C コンパイラの実装手法
(大岩 寛) - Defending against Distributed Denial of Service Attacks
分散サービス停止攻撃の対策方式
(Eric Y. Chen) - Verification of Concurrent Programs using Proof Assistants
定理証明器に基づく並行プログラムの検証
(Reynald Affeldt)
2001
- Scalable Dynamic Memory Management Module on Shared Memory Multiprocessors
共有メモリ並列計算機上のスケーラブルな動的メモリ管理モジュール
(遠藤 敏夫)
2000
- Achieving High Performance for Parallel Programs that Contain Unscalable Modules
スケーラブルでないモジュールを含む並列プログラムにおける高性能の達成
(大山 恵弘) - Regular Expression Types for XML
XMLのための正規表現型
(細谷 晴夫)
1999
- A Study on Mobile Language Systems
モーバイル言語システムに関する研究
(関口 龍郎)
1998
- Analyses and Reduction of Operational Overhead in Computer-Assisted Drawing
計算機支援の描画における操作負荷の分析と削減
(河内谷 幸子) - Architecture Design and Compilation Techniques Using Partial Evaluation in Reflective Concurrent Object-Oriented Languages
並行オブジェクト指向言語における自己反映アーキテクチャの設計と部分計算を用いたコンパイル方法
(増原 英彦)
1997
- Theoretical Properties and Efficient Satisfaction of Hierarchical Constraint Systems
階層制約系の理論的性質と効率的解消法
(細部 博史) - Efficient and Reusable Implementation of Fine-Grain Multithreading and Garbage Collection on Distributed-Memory Parallel Computers
分散記憶並列計算機のための効率的で再利用可能な細粒度マルチスレッディング及びゴミ集め
(田浦 健次朗)
1996
- Modularity and Composability in an Object-Oriented Library Framework for Parallel and Distributed Computation
(佐藤 直人) - Concurrent Linear Logic Programming
並行線形論理プログラミング
(小林 直樹)
1994
- New Methods to Analyze Japanese Morphemes and Dependency Structure AND Formalization of Rules to Derive Implied Meanings
日本語形態素構文解析のための新手法 及び 含意導出規則の定式化
(渕 武志) - Formal Models of Dialogue Participants
対話行為者の形式的モデル
(杉本 徹) - Label-Selective Lambda-Calculi and Transformation Calculi
(Jacques Garrigue)
Postscript file: A4 size, letter size (283k bytes each)
1993
- A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications
(八杉 昌宏)
Postscript file: A4 size, letter size (590k bytes each) - Language Features for Extensibility and Re-use in Concurrent Object-Oriented Languages
(松岡 聡)
Postscript file: A4 size, letter size (923k bytes each)
1992
- A Reflective Object-Oriented Concurrent Language for Distributed Environments
分散環境におけるリフレクティブな並列オブジェクト指向言語
(一杉 裕志)
修士論文
(under construction)
学士論文
(under construction)
