スポンサーリンク

早稲田大学理工学部情報学科 | 論文

• 並列計算機システムFOLON上へのPVMの移植と評価
• 双対モデリングを用いた充足可能性問題のCNF encoding
• プログラマブルテキストコンバータ
• 微分制約論理式によるハイブリッドシステムのモデリングと検証
• なぜソフトウェア論文を書くのは難しい(と感じる)のか
• 3A-1 大規模メモリ環境下におけるモデル検査ツールSpinのマルチコア検証機能の性能評価(高性能計算,一般セッション,アーキテクチャ)
• The Worldwide Multilingual Computing(8) : Multilingual Basic Environment-C Language and OS
• The Worldwide Multilingual Computing(7) : Multilingual Programming Language for Advanced Researches
• The Worldwide Multilingual Computing(6) : Multilingual Text Interprocess Communication and Input Mechanism
• The Worldwide Multilingual Computing(5) : Multilingual Text Manipulation and Text Widget
• The Worldwide Multilingual Computing(4) : Essentials for the Multilingual Text Manipulation
• The Worldwide Multilingual Computing(3) : An Implementation of the Multilingual I/O TM/C System and Waseda X11
• The Worldwide Multilingual Computing(2) : Functions, Model, Design and Architecture of Multilingual I/O TM/C System
• The Worldwide Multilingual Computing(1) : Essentials, Principles and Scope Covering All Characters in the World
• 3A-2 強連結成分ベースのグラフ分割による分散並列LTLモデル検査の高速化(高性能計算,一般セッション,アーキテクチャ)
• 6ZJ-9 階層グラフ書換え言語LMNtalによるモデル検査(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
• 4K-2 分散検証環境DiVinEを用いた分散LTLモデル検査アルゴリズムの性能評価(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
• 6ZJ-7 並列SATソルバにおけるlemma共有およびプール制約伝播高速化(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
• SATソルバ MiniSat の並列化とそのチューニング手法(HPC-2 : 数値解析I)
• 全世界の文字・言語の混在テキストのための表示機能の国際化

• 次のページ >

スポンサーリンク