1.高信頼組込みシステムのための先進ソフトウェア技術(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,<特集>学と産の連携による基盤ソフトウェアの先進的開発)
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人情報処理学会の論文
- 2008-11-15
著者
-
中島 達夫
早稲田大学 基幹理工学部 情報理工学科
-
片山 卓也
北陸先端科学技術大学院大学
-
湯淺 太一
京都大学大学院工学研究科情報工学専攻
-
岸 知二
北陸先端科学技術大学院大学
-
岸 知二
北陸先端科学技術大学院大学情報科学研究科
-
岸 知二
北陸先端科学技術大学院大学 情報科学研究科
-
岸 知二
Necマイコンソフト開発環境研究所
-
岸 知二
Jaist:nec
-
岸 知二
北陸先端科学技術大学院大学:(現)早稲田大学理工学術院創造理工学部経営システム工学科
-
岸 知二
日本電気(株)ソフトウェア生産技術開発本部
-
岸 知二
早稲田大学
-
岸 知二
北陸先端科学技術大学院大学大学情報科学研究科
-
湯淺 太一
京都大学大学院情報学研究科
-
湯浅 太一
豊橋技術科学大学
-
片山 卓也
神奈川工科大学情報学部情報工学科
-
片山 卓也
中部大学大学院
-
岸 知二
早稲田大
-
岸 知二
日本電気株式会社
-
岸 知二
日本電気(株)
-
中島 達夫
早稲田大学理工学術院
-
中島 達夫
早稲田大学
-
岸 知二
早稲田大学経営システム工学科
関連論文
- 名誉会員榎本肇博士を偲ぶ
- 相関係数を用いた使用中のモノについての情報収集手法に関する一検討(UBIセッション3)
- 相関係数を用いた使用中のモノについての情報収集手法に関する一検討(UBIセッション3)
- ウェアラブルセンサと知的日常物の連携によるユーザ特定(データ解析・検索)
- 3.法令工学 : 安心な社会システム設計のための総合ソフトウェア科学(情報処理技術の未来地図,50周年記念特集号)
- 第5回 : 組込みオペレーティングシステム概論
- 情報家電向けLinuxのCPU資源制限システムの設計と実装 (システム開発論文特集)
- インターネット端末による地域情報化の試み
- コンテンツ流通の拡大再生産が起きていない地域でのインターネット展開
- 大月町における保健婦支援システムの構築
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- 行動モデル構築のためのデータ収集方法に関する考察
- 高信頼性・生産性組込みソフトウェア設計手法に関する調査研究
- 情報家電向けLinuxのCPU資源制限システムの設計と実装(組込みシステム,システム開発論文)
- 法令工学 : 安心な社会システム設計のための総合ソフトウェア科学
- 1L-5 SMPアカウンティングシステムの設計及び実装(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- オブジェクト指向分析モデルにおけるデータフローの形式化と解析手法
- 1.高信頼組込みシステムのための先進ソフトウェア技術(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 編集にあたって : 「学と産の連携による基盤ソフトウェアの先進的開発」の概観(学と産の連携による基盤ソフトウェアの先進的開発)
- 情報爆発時代における安全・安心ITシステム基盤(情報爆発時代に向けた新しいIT基盤技術の研究)
- 情報爆発時代における安全・安心ITシステム基盤
- 情報系学長,おおいに語る
- 電子社会と法令工学(法情報学最前線)
- Webプロトコルを用いたホームコンピューティングミドルウェアの統合(組み込み機器とネットワークシステム)
- マルチコア環境でのプロセス動作予測によるリソース配分最適化
- マルチコア環境でのプロセス動作予測によるリソース配分最適化
- 歴代理事長座談会「日本ソフトウェア科学会の20年とこれから」(20周年記念特集)
- 情報家電向けの分散環境においける軽量な耐障害機構(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
- 特集「ソフトウェアシステム」の編集にあたって
- 5L-2 仮想化技術を用いたリカバリ指向組み込みシステムの開発(組込みOS,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 2A-4 SPUMONE仮想環境下におけるリカバリ指向OS向けOS間通信の実装(仮想化技術(1),一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 6L-4 仮想マルチコア状態のLinuxにおけるスピンロックの影響(仮想化技術(2),学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- Alloyを用いた構成変更支援ツールと適用実験
- コラボレーションに基づくオブジェクト指向モデルの検証(システム検証の科学技術)
- 状態遷移図の段階的構築のための論理的基盤
- (形式的仕様)振舞い近似手法を用いたステートチャートに対する不変性の検証(オブジェクト指向技術)
- 知的空間構築における日常物の意義と課題(コンテキストアウエアとユーザ支援システム, ホームネットワーク, ヒューマンインタフェース, 情報家電, アクセシビリティ)
- 6K-7 データアクセスパターンに基づくデータマイニング手法の分類(情報爆発時代における並列分散処理技術,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- 4ZN-1 AR技術を利用した書写学習支援アプリケーションにおける効果の観測(情報爆発時代におけるインタラクティブアプリケーション,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- マルチタスク環境下における認知負荷の測定と評価
- プロセスモデルHFSPにおける実行状態の動的制御機構 (ソフトウェア工学の基礎)
- 組込みシステム向けオンライン障害検出システムの提案
- 4ZN-7 ユーザの状態に応じて多様なフィードバックを返す生活習慣改善アプリケーションの提案と考察(情報爆発時代におけるインタラクティブアプリケーション,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- 1K-6 情報爆発時代の小額決済手段に関する一考察(情報爆発時代における情報ガバナンス,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- マルチコア環境でのプロセス動作予測によるリソース配分最適化
- マルチコア環境でのプロセス動作予測によるリソース配分最適化
- 組込みシステム向けオンライン障害検出システムの提案
- プロダクトラインのスコープ決定手法について
- 4ZL-2 情報爆発時代のセンサにより日常の行動を反映する情報表現システム その2(情報爆発時代におけるセンサネットワーク技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- Alloy を用いた構成変更支援ツールと適用実験
- 並行オブジェクトから並行処理列への変換法(ディペンダブルソフトウェア)
- オブジェクト指向方法論のための検証フレームワークに関する研究
- 知的人工物を用いた知的空間構築のための情報管理基盤(センサーネットワーク・ユビキタス)
- 知的人工物を用いた知的空間構築のための情報管理基盤
- 知的空間構築における日常物の意義と課題
- コンテクストアウェアなアプリケーションフレームワークにおけるメタコンテクスト情報の利用方法の提案とその応用(ソフトウェアシステム)
- ユーザプレファレンスによる適応制御機構を備えたコンテクストアウェアシステムの提案(ユーザインタラクション(1))
- コンテクストアウェアなアプリケーション構築のためのフレームワーク(ユビキタス・マルチエージェント)
- 4ZN-8 Persuasive applicationにおけるフィードバックのカスタマイズに関する考察(情報爆発時代におけるインタラクティブアプリケーション,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- 組込みシステム向けオンライン障害検出システムの提案
- 組込みシステム向けオンライン障害検出システムの提案
- 組込みシステム向けオンライン障害検出システムの提案
- 組込みシステム向けオンライン障害検出システムの提案
- 組込みシステム向けオンライン障害検出システムの提案
- 構造指向型システムのための実行可能な仕様記述言語
- 組み込みシステム設計のためのObTSに基づく記述支援環境に関する研究
- 「属性文法とその応用」の連載開始にあたって
- 抽象解釈に基づく段階的プログラム構成法(ISDR法)の記述能力の評価
- 抽象解釈に基づく仕様の段階的具体化法
- 分散環境上の耐故障ソフトウェアにおける通信の設計と実装
- 疎結合分散環境におけるプロセッサ割り当てに関する考察
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障ソフトウェアのための計算モデルFTAGの並列関数型言語による実装
- ソフトウェアプロセス適応のための形式的モデル
- 多重計算木を使用した属性付き関数型計算モデルによるソフトウェア耐故障性の実現
- 属性付き関数型計算モデルによるフォールトトレランスの実現
- オブジェクト指向属性文法OOAGによるソフトウェアリポジトリシステムの自動生成
- 属性文法型計算モデルによる版・構成管理システムの記述
- オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用
- 4ZL-1 情報爆発時代のセンサにより日常の行動を反映する情報表現システム その1(情報爆発時代におけるセンサネットワーク技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- SMP-Accounting System : SMP資源管理手法の提案(一般セッション1:オペレーティングシステム)
- テーブルトップディスプレイを利用した経験の共有(デバイス連携・情報共有)
- ユビキタス環境における複合現実感のためのミドルウェア(ソフトウェアシステム)
- ユビキタス環境における複合現実感のためのミドルウェア
- SNSを用いたユーザの情報共有による節約行動の動機付け効果の検証
- 10. 21世紀COEプロジェクト「プロダクティブICTアカデミア」(21世紀卓越した情報研究拠点プログラムの目指す研究(前編))
- 21世紀COEプロジェクト「プロダクティブICTアカデミア」
- 6L-3 SPUMONE利用環境でのLock Holder Preemptionの回避方法の検討と実装(仮想化技術(2),学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 2L-1 マルチOS環境におけるアカウンティングシステムの実装(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(2),一般セッション,リーディングプロジェクト e-society)
- 4ZL-3 LTTngを使った情報爆発時代の性能解析の検討(情報爆発時代におけるセンサネットワーク技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- 6ZJ-5 情報爆発時代の分散アプリケーションの性能解析に関する検討(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- 組込システム資産移行を支援する仮想周期実行(VPE)システムの提案(研究発表会セッション)
- ジェスチャ認識システムを用いた観測に基づく共通ジェスチャの抽出と検討
- 4ZL-4 情報爆発時代のHit and Reboot!!(情報爆発時代におけるセンサネットワーク技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- 2L-3 SPUMONE : 軽量なCPU仮想化手法(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(2),一般セッション,リーディングプロジェクト e-society)
- 2L-2 セキュアOSにおける動的アクセス制御の実装(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(2),一般セッション,リーディングプロジェクト e-society)
- Real-Time Machオペレーティングシステム開発の経験
- 特集「組込み/リアルタイムソフトウエア」の編集にあたって