Bertrand Meyer 著, "Object-Oriented Software Construction", Prentice Hall, B5変形判, 534P., \18,000

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1990-02-15

著者

• 高田 広章

  東大・理

関連論文

• 2.ソフトウェアとハードウェアの協調による組込みシステムの消費エネルギー最適化(未来を切り拓く最先端VLSIテクノロジー)
• 自動車制御システムのエラーモデル記述による安全性分析手法(安全性及び一般)
• 組込みシステムのタスク内DVFSのための実行トレースマイニング(コンパイラ,システムオンシリコンを支える設計技術)
• 車載用通信プロトコル(スケーラブルCAN)開発
• 第1回 組込みシステム概要(講座 画像処理技術者のための組込み入門)
• A scratch-pad memory management framework for embedded real-time systems (VLSI設計技術)
• ビットエラー通信路におけるスケーラブルCANの動作解析
• アーキテクチャ記述言語による設計と一体化した制御システムのリスク分析(ソフトウェア開発支援,システム開発論文)
• コンポーネントシステムを用いた組込みシステム向けアクセス制御機構(組込みシステム,システム開発論文)
• Simultaneous Allocation and Binding Considering Multiplexers in High-Level Synthesis
• UMLモデルのC言語実装におけるTECSの適用事例
• オフセット付きCANメッセージの正確な最大遅れ時間解析
• Integrated Scheduling in a Real-Time Embedded Hypervisor
• メモリ共有を考慮した RPC システム
• 分散リアルタイムシステムの端点間処理における応答時間の確率的解析
• 10MbpsCANプロトコルの設計と評価
• 組込みシステムにおける低消費エネルギー志向の効率的なスラック時間の導出
• 組込みリアルタイムシステムにおけるスクラッチパッドメモリ管理技術
• 組込みシステムの消費エネルギー最適化
• Proposal and Quantitative Analysis of the CHStone Benchmark Program Suite for Practical C-based High-level Synthesis
• Bertrand Meyer 著, "Object-Oriented Software Construction", Prentice Hall, B5変形判, 534P., \18,000
• 実行トレースを用いた組込みシステムにおけるタスク内DVFSのためのチェックポイント抽出
• 周期タスクの初期位相分布を考慮した応答時間の確率的解析
• 階層型状態遷移図に基づく安全分析手法
• 組込みシステムにおける消費エネルギー削減のためのスラック時間の活用
• 組込みシステムにおける消費エネルギー削減のためのスラック時間の活用
• Cloudia:車載データ統合プラットフォーム-基本コンセプト-
• Cloudia:車載データ統合プラットフォーム-基本コンセプト-
• 階層型状態遷移図に基づく安全分析手法
• 状態遷移図に着目した安全分析手法(信頼性、保全性、安全性)
• 命令セットシミュレータの実行制御機構を用いたマルチプロセッサRTOSのテスト効率化手法(ソフトウェアシステム,学生論文)
• 組織紹介 一般社団法人TERASの紹介(前編)安心・安全・快適な社会のために全ドキュメントのトレーサビリティを目指す
• 階層型状態遷移図に基づく安全分析手法 (ディペンダブルコンピューティング・組込み技術とネットワークに関するワークショップETNET2012)
• スケーラブルCANプロトコルの設計と評価
• 階層型状態遷移図に基づく安全分析手法 (コンピュータシステム・組込み技術とネットワークに関するワークショップETNET2012)
• μITRONベースのRTOS向けテストプログラム生成ツール(ソフトウェア工学)
• 車載制御ネットワーク技術とその発展性 (小特集 車と情報通信技術)
• 組込みマルチコア向け仮想化環境における性能低下抑止手法
• 組込みマルチコア向け仮想化環境における性能低下抑止手法
• 2-7 車載制御ネットワーク技術とその発展性(2.活用事例,車と情報通信技術)
• μITRONベースのマルチプロセッサ向けRTOSのテスト
• 車載ネットワークにおけるCAN-Ethernetプロトコル変換アルゴリズム
• 車載ネットワークにおけるCAN-Ethernetプロトコル変換アルゴリズム
• マルチコア向けFIFO式プリエンプティブ同期プロトコルのスケジューラビリティ評価
• リアルタイムシステムにおけるTLBミスの影響調査と改善手法
• 車載制御システム向けパーティショニング機構
• メモリ保護対応RTOSにおけるメモリ保護機能のテスト
• SafeGを用いた汎用OSの監視手法
• リアルタイムシステムにおけるTLBミスの影響調査と改善手法
• 車載制御システム向けパーティショニング機構
• メモリ保護対応RTOSにおけるメモリ保護機能のテスト
• SafeGを用いた汎用OSの監視手法
• 車載組込みシステム向けデータストリーム管理システムの開発(データ工学,Web情報システム)
• schesim:リアルタイムアプリケーション向けスケジューリングシミュレータ(ソフトウェアシステム)
• ストリームLDMにおける地図データのストリーム化機構の設計と評価
• 組込みシステムにおける階層型状態遷移図に基づく安全分析手法(信頼性,保全性,安全性)
• マルチストリーミング処理のためのマルチプロセッサ向けロードバランス機構(ソフトウェアシステム)
• 車載データ統合アーキテクチャにおけるセンサ変更時のソフトウェア設計容易性の検討
• CPU affinityによる汎用OSのリアルタイム性向上手法
• マルチコア向け組込みリアルタイムシステムの省電力機構
• SafeG-MP : マルチコア対応の組込みシステム向け仮想化環境(ソフトウェアシステム,システム開発論文)
• マルチコア対応RTOSのハードウェア化による性能向上(ソフトウェアシステム,システム開発論文)
• SafeGを用いた汎用OSの監視手法(リアルタイムオペレーティングシステム,組込み技術とネットワークに関するワークショップETNET2013)
• SafeGを用いた汎用OSの監視手法(リアルタイムオペレーティングシステム,組込み技術とネットワークに関するワークショップETNET2013)
• 車載ネットワークにおけるCAN-Ethernetプロトコル変換アルゴリズム(車載システム,組込み技術とネットワークに関するワークショップETNET2013)
• 車載制御システム向けパーティショニング機構(車載システム,組込み技術とネットワークに関するワークショップETNET2013)
• 車載ネットワークにおけるCAN-Ethernetプロトコル変換アルゴリズム(車載システム,組込み技術とネットワークに関するワークショップETNET2013)
• メモリ保護対応RTOSにおけるメモリ保護機能のテスト(リアルタイムオペレーティングシステム,組込み技術とネットワークに関するワークショップETNET2013)
• メモリ保護対応RTOSにおけるメモリ保護機能のテスト(リアルタイムオペレーティングシステム,組込み技術とネットワークに関するワークショップETNET2013)
• リアルタイムシステムにおけるTLBミスの影響調査と改善手法(プロセッサーハードウェア,組込み技術とネットワークに関するワークショップETNET2013)
• 車載制御システム向けパーティショニング機構(車載システム,組込み技術とネットワークに関するワークショップETNET2013)
• リアルタイムシステムにおけるTLBミスの影響調査と改善手法(プロセッサ・ハードウェア,組込み技術とネットワークに関するワークショップETNET2013)
• SEEDS : 組込みシステム向けシステムレベル設計環境(ソフトウェア工学,学生論文)

もっと見る 閉じる

スポンサーリンク