4A-4 QEMUによるHW/SW協調シミュレータの構築(設計・検証技術,一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
スポンサーリンク
概要
- 論文の詳細を見る
- 2010-03-08
著者
-
位野木 万里
東芝ソリューション(株)
-
位野木 万里
東芝ソリューション(株)it技術研究所
-
位野木 万里
東芝ソリューション株式会社:早稲田大学
-
荒木 大
(株)インターデザイン・テクノロジー
-
石井 忠俊
株式会社インターデザイン・テクノロジー
-
高見澤 秀久
東芝ソリューション株式会社
-
荒木 大
株式会社インターデザインテクノロジー
-
川田 秀司
株式会社東芝ソフトウェア技術センター
-
吉川 寿広
株式会社インターデザイン・テクノロジー
-
川田 秀司
株式会社東芝研究開発センター
-
位野木 万里
東芝ソリューション
関連論文
- 27.情報処理の未来地図(情報処理技術の未来地図,50周年記念特集号)
- ソフトウェア並列化を考慮したハードウェア/ソフトウェア分割手法の評価 (リコンフィギャラブルシステム)
- ソフトウェア並列化を考慮したハードウェア/ソフトウェア分割手法の評価 (コンピュータシステム)
- SpecC言語に基づくシステムレベル設計手法
- メタモデルに基づき仕様書作成と仕様検証を支援するツールSpecPrince
- 3 プロダクトライン開発への移行技術 : 既存シリーズ製品の再構築とコア資産管理(ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-)
- 情報処理の未来地図
- 事務処理ソフトウェア開発における要求定義・仕様再利用支援技術(2)
- 事務処理ソフトウェア開発における要求定義・仕様再利用支援技術(1)
- Webアプリケーション開発における設計・設計検証・テストプロセスの提案
- SpecC言語に基づくシステムレベル設計手法
- SpecC言語に基づくシステムレベル設計手法
- プロダクトラインのスコープ定義におけるカバー率と対応度によるコアアセット可視化手法(分析・設計技法)
- プロダクトラインの開発と進化 : パターン指向コアアセット改善手法(ソフトウェアプロダクトライン開発,ソフトウェア工学の理論と実践)
- 超逐次プログラミング : 高信頼並行プログラムの新しい開発手法の提案
- 並列プログラムの知的プログラミング支援システムMENDELS(3) : 時制論理からの同期部の自動生成
- 仮想マシンとSpecCデバイスモデルを統合したデバイス故障エミュレータの実現
- A-3-7 Simulinkによるモデルベースデザイン手法を用いた効率的な組込みハードウェア開発手法の評価(A-3. VLSI設計技術,一般セッション)
- 仕様記述言語SpecCによるサイクル精度記述の一試行
- 仕様記述言語SpecCによるサイクル精度記述の一試行
- 仕様記述言語SpecCによるサイクル精度記述の一試行
- 仕様記述言語SpecCによるサイクル精度記述の一試行
- 仮想マシンと SpecC デバイスモデルを統合したデバイス故障エミュレータの実現
- 仕様記述言語 SpecC によるサイクル精度記述の一試行
- 仕様記述言語 SpecC によるサイクル精度記述の一試行
- 仕様記述言語 SpecC によるサイクル精度記述の一試行
- 仕様記述言語 SpecC によるサイクル精度記述の一試行
- 4A-4 QEMUによるHW/SW協調シミュレータの構築(設計・検証技術,一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
- ソフトウェア並列化を考慮したハードウェア/ソフトウェア分割手法の評価(開発環境,FPGA応用及び一般)
- ソフトウェア並列化を考慮したハードウェア/ソフトウェア分割手法の評価(開発環境,FPGA応用及び一般)
- ソフトウェア並列化を考慮したハードウェア/ソフトウェア分割手法の評価(開発環境,FPGA応用及び一般)
- 要求獲得計画に向けたPRINCEモデルのための要求計測ガイドライン
- 5ZC-6 並行プログラムに関するテスト・デバッグ方式
- 組込み制御用ソフトウェア次世代テスト・デバッグシステム
- 3.システムのモデル化と計算モデル(システムレベルデザイン)
- 7.低消費電力化設計と消費電力見積り(システムレベルデザイン)
- 仕様記述言語SpecCによるサイクル精度記述の一試行 (ディペンダブルコンピューティング)
- 仕様記述言語SpecCによるサイクル精度記述の一試行 (コンピュータシステム)
- 編集にあたって(システムレベルデザイン)
- 3. 制御用プログラムの試験 (<特集>「並行処理におけるプログラム試験」)
- 離散事象システムの網羅的シミュレーション
- シ-ケンス制御プログラムの検証技術
- 電子機器製品の高品位設計を実現するESLツール S.E.R. studio (特集 製品ライフサイクルでの高信頼化技術)
- 5B-4 モデルとビューの分離・統合を利用した要求定義ノウハウの可視化と共有手法(プログラム設計支援,一般セッション,ソフトウェア科学・工学)
- 仕様記述言語によるRTL記述の生産性の試行評価
- 仕様記述言語によるRTL記述の生産性の試行評価
- ウィンターワークショップ2011・イン・修善寺開催報告
- ソフトウェアパターン-時を超えるソフトウェアの道-:コラム:企業におけるパターン指向ソフトウェア開発の実践
- ソフトウェア並列化を考慮したハードウェア/ソフトウェア分割手法の評価
- モデルベース開発におけるブロック線図モデルの保守性向上手法の提案
- 要求獲得におけるステークホルダ識別手法の実適用評価
- アクターに着目した要求仕様書の一貫性検証手法