なぜソフトウェア論文を書くのは難しい(と感じる)のか
スポンサーリンク
概要
- 論文の詳細を見る
- 2009-10-27
著者
-
豊田 正史
東京大学
-
権藤 克彦
東京工業大学計算工学専攻
-
上田 和紀
早稲田大学理工学部情報学科
-
岩崎 英哉
電気通信大学情報工学科
-
明石 修
NTT未来ねっと研究所
-
伊知地 宏
ラムダ数学教育研究所
-
河野 健二
慶應義塾大学
-
岩崎 英哉
電気通信大学
-
権藤 克彦
東京工業大学情報理工学研究科計算工学専攻
-
岩崎 英哉
電気通信大学大学院情報理工学研究科
-
上田 和紀
早稲田大学大学院情報理工学専攻
-
権藤 克彦
日本ソフトウェア科学会特集編集委員会
-
明石 修
NTT Network Innnovation Labratories
-
権藤 克彦
東京工業大学学術国際情報センター
-
上田 和紀
早稲田大学
-
権藤 克彦
東京工業大学
関連論文
- x86版DRACULAのバグ修復と予備評価
- 特集「インタラクティブシステムとソフトウェア」の編集にあたって
- 並列計算機システムFOLON上へのPVMの移植と評価
- 広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール (システム開発論文特集)
- 開発ツールを他言語へ適用するためのAST変換の定式化
- 実行コンテキストに応じたポリシー指定が可能なサンドボックス(セキュリティ)
- カーネルレベルルートキットの検知システムの構築(セッション3:高セキュア・高信頼化)
- 広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール(ソフトウェア開発支援,システム開発論文)
- 双対モデリングを用いた充足可能性問題のCNF encoding
- 微分制約論理式によるハイブリッドシステムのモデリングと検証
- なぜソフトウェア論文を書くのは難しい(と感じる)のか
- プログラム理解のための実装レベル制約とソースコード間の追跡性の整理保存法(ソフトウェア工学)
- 特集「ソフトウェア論文」の編集にあたって
- 特集「ソフトウェア論文」の編集にあたって(ソフトウェア論文)
- 3A-1 大規模メモリ環境下におけるモデル検査ツールSpinのマルチコア検証機能の性能評価(高性能計算,一般セッション,アーキテクチャ)
- 4.並列計算パターン(スケルトン)による並列プログラミング(マルチコアを活かすお手軽並列プログラミング)
- 特集「ソフトウェア工学」の編集にあたって
- レター論文の新設, 小論文の廃止
- 3A-2 強連結成分ベースのグラフ分割による分散並列LTLモデル検査の高速化(高性能計算,一般セッション,アーキテクチャ)
- 6ZJ-9 階層グラフ書換え言語LMNtalによるモデル検査(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- 4K-2 分散検証環境DiVinEを用いた分散LTLモデル検査アルゴリズムの性能評価(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- 6ZJ-7 並列SATソルバにおけるlemma共有およびプール制約伝播高速化(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- SATソルバ MiniSat の並列化とそのチューニング手法(HPC-2 : 数値解析I)
- ソフトウェアパターン研究の発展経緯と最近の動向(ソフトウェア工学の動向報告)
- 世代別Mostly-Copying GCのRuby VMへの実装と評価
- 世代別Mostly-Copying GCのRuby VMへの実装に向けて
- ブラウザで動作するウェブアプリケーションのソースコード隠蔽機構
- サーバ/クライアント自動分割を備えたWebフレームワークの設計と実装
- Cプログラムの割込み競合の動的検出法
- Haskellプログラムの開発を支援するGHCiデバッガフロントエンド
- A-022 数式処理システムMathematica上における再帰除去システム(A分野:モデル・アルゴリズム・プログラミング)
- 図表的文書の記述モデルAFAL
- 10.Socio Sense : 過去9年に及ぶWebアーカイブから社会の動きを読む(第2部:情報の高信頼蓄積・検索技術等の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- プロファイルを使用した並列LTLモデル検査のチューニング
- ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
- A-007 区間演算を用いたODE Solverにおける任意精度演算の導入とパラメタ最適化(モデル・アルゴリズム・プログラミング,一般論文)
- ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
- プログラムの更新を可能とするCheckpoint/Restart機構
- メソッド実行委託を用いたRubyプロセスの負荷分散ライブラリ
- 純関数型言語の処理系における効率的な枝刈り機構の実装
- 特集「最新コンパイラ技術とCOINSによる実践」の編集にあたって
- 非同期処理のためのJavaScriptマルチスレッドフレームワーク
- リクエスト待機間隔を考慮したウェブサーバのkeep-alive時間の自動設定
- 要求駆動計算における要求粒度調節機構(プログラミング言語の設計)
- ユーザ入力の構文木解析によるSQLインジェクション攻撃防御法
- 要求の粒度が調節可能な遅延評価機構
- LMNtalモデル検査器における状態爆発対策(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
- 強連結成分の特性を用いた並列モデル検査アルゴリズムSCC-OWCTYの設計と評価(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
- ソフトウェア論文座談会
- 階層グラフ書換え言語LMNtalの処理系(ソフトウェア論文)
- LMNtal処理系および他言語インタフェースの設計と実装
- Cプログラムのデータ競合の動的検出法
- 教育用コンパイラXCCとその可視化ツールMieruCompiler
- バージョン管理システムの利用コストと,その軽減手法
- 複合要因によるリソース誤解放を回避するための新しいCキーワードの提案と予備評価
- DRACULA : シグナルによるデータ競合の検出ツール(ソフトウェア工学)
- プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案(テスト技法・保守技術,ソフトウェア工学の理論と実践)
- 中レベル抽象・薄い中間層・追跡性の実践によるコンパクトな教育用オペレーティングシステムudosの設計と実装(ソフトウェア工学)
- デバッグ情報を用いたC++用コールグラフ生成系 : 軽量なバイナリレベル型解析による仮想関数呼び出しの検出
- デバッグ情報を用いたC++用コールグラフ生成系軽量なバイナリレベル型解析による仮想関数呼び出しの検出
- シグナルにおけるデータ競合の検出
- プログラム理解に役立つ識別子からの"コンセプトキーワード"抽出法
- プログラム理解に役立つ識別子からの"コンセプトキーワード"抽出法
- ACMLに基づくプログラム情報抽出システムの設計
- ウィンターワークショップ・イン・石垣島参加報告(会議報告)
- 枝刈り機構とメモ化機構をもつ言語
- 制約に基づく解析による並行論理プログラムの自動デバッグ
- プログラミング研究会(研究会千夜一夜)
- Robin Milner : A Proposal for Standard ML(20世紀の名著名論)
- 6K-4 LMNtal処理系SLIMのモデル検査機能の並列化(情報爆発時代における並列分散処理技術,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- 6K-2 クラスタ向け並列precosatの開発と性能評価(情報爆発時代における並列分散処理技術,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- 1M-1 ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 論理・制約プログラミングと並行計算(論理と推論技術の展開)
- 特集「論理と推論技術の展開」の編集にあたって
- 6ZJ-8 軽量なLMNtal実行時処理系SLIMの設計と実装(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- 4N-2 KLICへのデータ並列処理機能の導入について
- 3K-2 汎用並列組合せ最適化パッケージの構想
- C言語用CASEツールへのDWARF2デバッグ情報の応用(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- C. A. R. Hoare : Communicating Sequential Processes(20世紀の名著名論)
- シンガポール国立大学
- 私はCrusoeを使いたい(インタラクティブ・エッセイ)
- 構造指向型システムのための実行可能な仕様記述言語
- オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用
- オブジェクト指向属性文法OOAGと高階属性文法のレコード計算による形式化
- A-014 LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化(A分野:モデル・アルゴリズム・プログラミング)
- 並列計算機システムFOLONの通信ライブラリの設計と評価
- 見込み計算を用いたニュースリーダの応答性改善法
- 10. 21世紀COEプロジェクト「プロダクティブICTアカデミア」(21世紀卓越した情報研究拠点プログラムの目指す研究(前編))
- 21世紀COEプロジェクト「プロダクティブICTアカデミア」
- 4T-7 WWW全文検索システムVernoのアーキテクチャ
- 4T-6 WWW全文検索システムVernoのデータベース
- 分散型WWW全文収集ロボットIron33
- 学習型WWW検索エンジンVerno
- LA_003 後継関数を持つリスト型非線形再帰プログラムに対する再帰除去法(A分野:モデル・アルゴリズム・プログラミング)
- 3N-2 オブジェクト共有空間を利用した分散プログラミング支援フレームワーク
- 特集「ソフトウェア論文」の編集にあたって
- オンライントランザクション処理におけるVM挙動の詳細解析
- VMライブマイグレーションにおける大規模I/O処理挙動に関する一考察(ストリーム処理とI/O,ビックデータ工学及び一般)
- テキストデータの未来関連情報における予定変更情報の獲得に関する研究
- オンライントランザクション処理におけるVM挙動の詳細解析(ビッグデータ,ビッグデータとソーシャルコンピューティング,及び一般)