スポンサーリンク
東京大学 理学部 | 論文
- 化学教育分野における日本化学会への期待(50 周年記念特集 : 化学と教育 : 古きをたずねて新しきを知る)
- 車載システム向けストリームデータ処理の提案と評価
- 車載システム向けストリームデータ処理の提案と評価
- 日本ネットワークインフォメーションセンターJNICの活動(学術コンピュータネットワーク)
- システムXEROにおけるプロセス間大量データ通信機能
- 実行トレースを用いた組込みシステムにおけるタスク内DVFSのためのチェックポイント抽出
- 周期タスクの初期位相分布を考慮した応答時間の確率的解析
- 階層型状態遷移図に基づく安全分析手法
- 組込みシステムにおける消費エネルギー削減のためのスラック時間の活用
- 組込みシステムにおける消費エネルギー削減のためのスラック時間の活用
- Cloudia:車載データ統合プラットフォーム-基本コンセプト-
- Cloudia:車載データ統合プラットフォーム-基本コンセプト-
- 階層型状態遷移図に基づく安全分析手法
- マルチプロセッサ対応システムレベル設計環境SystemBuilderを用いたFPGA向け設計事例(設計フレームワーク)
- 状態遷移図に着目した安全分析手法(信頼性、保全性、安全性)
- 車載組込みシステムのディペンダビリティ(招待講演)
- 命令セットシミュレータの実行制御機構を用いたマルチプロセッサRTOSのテスト効率化手法(ソフトウェアシステム,学生論文)
- 組織紹介 一般社団法人TERASの紹介(前編)安心・安全・快適な社会のために全ドキュメントのトレーサビリティを目指す
- スケーラブルCANプロトコルの設計と評価
- μITRONベースのRTOS向けテストプログラム生成ツール(ソフトウェア工学)