| Version 2 (modified by yonelab, 17 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
分散環境におけるリフレクティブな並列オブジェクト指向言語
(一杉 裕志)
修士論文
2007
- Reactive Model Checking for Game Scenarios
ゲームシナリオのための反応性の良いモデル検査
(山崎 孝裕) - Design and Implementation of a Strongly Typed Intermediate Language for GCC
GCC のための強く型付けされた中間言語の設計と実装
(小田 泰) - Extending Alias Types with Separating
Separating Implication による Alias Types の拡張
(佐藤 春旗) - Automatic Parallelization of Purely Functional Programs with Estimation of Function Evaluation Cost
関数評価のコストの推定を用いた純粋関数型言語の自動並列化
(田中 英行) - Secure Information Flow for Resources
リソースのための情報流解析
(山下 諒蔵)
2006
- Fast and Precise Code Clone Reduction by Incremental Analysis
差分解析による高速かつ正確なコードクローンの解消
(佐藤 秀明) - (島本 大輔)
- Distributed System Test Bed by Virtualization of the View for OS Resources
OS資源ビューの仮想化を用いた分散システムテストベッド
(西川 賀樹) - Design and Implementation of Locality-Aware Distributed File System for Wide-Area Grid Environments
(頓 楠)
2005
- Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference
型解析とモデル検査を組み合わせた非干渉性の反例発見法
(海野 広志) - Continuation Join Point
継続ジョインポイント
(遠藤 侑介) - Application-Specific Virtual Environments for Migration and Checkpointing
アプリケーションに特化した計算移動やチェックポインティングのための仮想環境
(横山 陽介) - A Framework Using a Common Language to Build Program Verifiers for Low-Level Languages
低級言語のプログラム検証器を構成するための共通言語を用いたフレームワーク
(吉野 寿宏)
2004
- A Bytecode Translation for Pointcut Description Based on Data Dependency
データ間依存性に基づくポイントカット記述のためのバイトコード変換
(大根田 裕一) - Design and Implementation of a Mobile Computing System Based on a CPU Emulator
CPU エミュレータを用いた移動計算システムの設計と実装
(尾上 浩一) - Translation of Tree-processing Programs into Stream-processing Programs Based on Ordered Linear Types
順序付き線形型に基づく木構造処理プログラムからストリーム処理プログラムへの変換
(末永 幸平) - An Aspect-oriented Language for Functional Programming
アスペクト指向のための関数型プログラミング言語
(立沢 秀晃) - An Integrated Approach to Assessing the Reliability of Large-Scale Protein-Protein Interaction Data
大規模蛋白質間相互作用データの統合的な信頼性評価法
(徳田 顕人) - A Fault-tolerant, Autonomic, Adaptive Search Engine
耐故障性を備えた自律適応型検索エンジン
(藤本 浩史)
2003
- Model Checking for Computer Game Scenarios
モデル検査理論のゲームシナリオへの適用
(清木 昌) - Region-Based Memory Management for Dynamic Typed Language
動的型付き言語のためのリージョン推論に基づくメモリ管理
(永田 章人) - Designing and Implementing a Distributed Component Language with Transparent Mobility
透明な移動が可能な分散コンポーネント言語の設計と実装
(増山 隆)
2002
- Implementing a Runtime System for Parallel and Distributed Computation on the Internet and Its Applications
インターネット上の並列分散計算のための実行時システムとそのアプリケーションの実装
(金田 憲二) - An Efficient Garbage Collector in the Presence of Ambiguous References
曖昧なポインタの存在下での効率的なゴミ集め
(小林 義徳) - Regular Expression Types for Strings in a Text Processing Language
テキスト処理言語における文字列のための正規表現型
(田淵 直) - Java Bytecode Transformation for Fine Grain CPU Resource Management
Javaバイトコード変換による細粒度CPU資源管理
(速水 雄太) - Resource Usage Analysis with References
参照を扱った資源使用解析
(水上 達夫)
2001
- Supporting Object-Oriented Features in Run-time Bytecode Specialization
実行時バイトコード特化のオブジェクト指向言語への拡張
(レナルド・アフェルト) - A Self-organizing Hierarchical Network for Global Parallel Computing
広域分散並列計算のための自己編成可能な階層的ネットワーク
(上田 陽平) - Dynamic Thread Mapping for Distributed Data Intensive Applications
分散データintensiveなアプリケーションのための動的スレッド配置
(坂本 崇裕) - A Type System for Object Usage Analysis in Java Bytecode
Javaバイトコードにおけるオブジェクトの使用解析のための型システム
(浜中 信行) - Distributed web crawling with dynamically joining/leaving resources
動的に増減する資源を利用した広域分散 web crawling
(洪 淳祥) - Safe Execution of User Programs in Kernel Mode using Typed Assembly Language
型付きアセンブリ言語を用いてユーザプログラムをカーネルモードで実行する方法
(前田 俊行) - Designing a Virtual Machine Independent Compiler Interface
仮想マシン独立なコンパイラインタフェースの設計
(山内 裕史)
2000
- A Java-based Language With Type-safe Dynamic Code Generation
型安全な動的コード生成をサポートする Java の言語拡張
(大岩 寛) - Evaluation of Expressiveness and Performance of OpenMP Using a Suite of SPLASH2 Applications
SPLASH2アプリケーション集を用いたOpenMPの記述性と性能の評価
(大角 周平) - Efficient Type Inference for the Quasi-linear type system
擬似線形型システムの効率的な型推論
(假家 英樹) - Implementation and Evaluation of Nested Parallelism in OpenMP
OpenMPにおける入れ子並列性の実装と評価
(田中 義純) - A Study on a Typed Process Calculus for Access Control in Distributed Computation
分散計算におけるアクセスコントロールのための型付きプロセス計算の研究
(星名 大輔)
1999
- Dynamic accesss control of mobile objects by switching name spaces
名前空間の切り替えによる移動オブジェクトの動的アクセス制御
(今井 健男) - Lazy Task Creation with Stack Swapping to Improve Memory Locality
メモリ局所性を高めるスタック交換方式を導入した遅延タスク生成
(外山 純生) - An extension of C++ that supports thread migration with little loss of normal execution efficiency
通常の実行効率を損わないスレッドマイグレーションが可能な C++
(多賀 奈由太)
1998
- Software-based Fine-grained Memory Protection Supporting Dynamic Changes of Attributes
保護属性の動的変更が可能なソフトウェアによる細粒度メモリの保護
(後藤 礼史) - Lazy Task Creation on Shared Memory Machines for C Programs
共有メモリ並列計算機上におけるCプログラムのためのLazy Task Creation
(田端 邦男) - Research on Effects of Mobile Object Programming with Describing Distributed Application
移動オブジェクトプログラミングの分散処理記述による有効性の研究
(人見 俊太郎) - Implementation of an Efficient and Reusable Distributed Garbage Collector and Evaluation of Its Performance
効率的で再利用可能な分散GCライブラリの設計と性能評価
(山本 泰宇)
1997
- A Scalable Mark-Sweep Garbage Collector on Large-Scale Shared-Memory Machines
大規模共有メモリマシン上のスケーラブルなマークスイープ法ガーベジコレクタ
(遠藤 敏夫) - An Efficient Compilation Framework for Parallel Programming Languages Based on a Concurrent Process Calculus
並行計算に基づく並列プログラミング言語のための効率的なコンパイルの枠組み
(大山 恵弘)
1996
- (細谷 晴夫)
1995
1994
- A Study on Debugging Schemes in Concurrent Programs on Massively Parallel Processors
超並列計算機上の並列プログラム用デバッグ方式の研究
(Tomio Kamada) - An Extension to a Parallel Constraint Logic Programming Language For Applications in Optimization Problems
最適化問題への応用のための並列制約論理型言語の拡張
(今野 和浩) - A Study on Structure of Concurrent Object-Oriented Languages
並列オブジェクト指向言語の構造に関する研究
(関口 龍郎) - Efficient Satisfaction of Constraint Hierarchies
制約階層の効率的な解消法
(細部 博史)
1993
- Design and Implementation of Concurrent Object-Oriented Programming Languages on Stock Multicomputers
並列オブジェクト指向言語のマルチコンピュータ上における設計および実装
(田浦 健次朗)
Postscript file: A4 size, letter size (375k bytes each) - Study on a Reflective Architecture to Provide Efficient Dynamic
Resource Management for Highly-Parallel Object-Oriented Applications
高並列オブジェクト指向アプリケーションのための効率のよい動的資源管理方式を提供する自己反映アーキテクチャの研究
(増原 英彦)
Postscript file: A4 size, letter size (278k bytes each) - Lexicon Acquisition in HPSG-based Grammars
(鳥澤 健太郎) - An Application of Parallel Object-Oriented Methodology to Molecular Dynamics Simulation
(Naohito Omori) - Compiler Design and Implementation Techniques for Parallel Constraint Logic Programming Languages
並列制約論理型言語のコンパイラ設計と実装技法
(長塚 雅明) - Interactive Generation of Graphical User Interfaces by Multiple Visual Examples
複数の視覚的例による直接操作インターフェースの対話的実現
(宮下 健)
1992
- Asynchronous Communication Model based on Linear Logic
線形論理に基づく非同期通信モデル
(小林 直樹) - Dialogue System Based on Dynamical Constraint Programming
力学制約プログラミングに基づいた対話システム
(宮田 高志) - A Framework for Constructing Animations via Declarative Mapping Rules
宣言的対応規則によるアニメーション作成のための枠組み
(高橋 伸) - RNA Secondary Structure Prediction Using Highly Parallel Computer
高並列計算機による RNA の２次構造予測
(Yoshisato Takeda) - Parallel Conservative Garbage Collection with ``Almost Synchronization-free'' Fast Object Allocation
同期のほぼ不要にオブジェクト割り付けの可能な Conservative Garbage Collection
(古荘 進一)
1991
- Model Checking of Finite State CSP
有限状態 CSP のモデル検査
(浅井 健一) - A Framework for Describing Mental States and their Dynamic
Changes of Dialog Participants
対話参加者の心的記述とその動的変化に関する枠組
(村田 剛志)
学士論文
(under construction)
