情報・システム-ディペンダブルコンピューティング(開催日：2014/03/08)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2014/3/8
[資料番号]
目次

,  

[発表日]2014/3/8
[資料番号]
環境電力駆動組込みシステムの動作シナリオのモデル化と動作品質最大化アルゴリズム(スケジューリング・アルゴリズム,組込み技術とネットワークに関するワークショップETNET2014)

青野 和巳,  岩田 淳,  高瀬 英希,  高木 一義,  高木 直史,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.1,Vol.2014-EMB-32 No.1
重要タスクの応答時間を短縮するリアルタイムスケジューリング(スケジューリング・アルゴリズム,組込み技術とネットワークに関するワークショップETNET2014)

田中 清史,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.2,Vol.2014-EMB-32 No.2
高応答性を要求するリアルタイムアプリケーション統合のためのARINC653拡張スケジューリングアルゴリズム(スケジューリング・アルゴリズム,組込み技術とネットワークに関するワークショップETNET2014)

佐藤 祐一,  松原 豊,  本田 晋也,  高田 広章,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.3,Vol.2014-EMB-32 No.3
周期実行システムにおける動的省電力タスクスケジューリング(スケジューリング・アルゴリズム,組込み技術とネットワークに関するワークショップETNET2014)

畑中 智貴,  中田 尚,  中村 宏,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.4,Vol.2014-EMB-32 No.4
モデル駆動開発を支援するためのシミュレーション高速化に関する検討(開発手法,組込み技術とネットワークに関するワークショップETNET2014)

大原 貴都,  藤平 達,  茂岡 知彦,  新田 泰広,  岩崎 力,  杉山 達也,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.5,Vol.2014-EMB-32 No.5
システム開発のための不確実性フレームワーク(開発手法,組込み技術とネットワークに関するワークショップETNET2014)

中西 恒夫,  馬 立東,  久住 憲嗣,  福田 晃,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.6,Vol.2014-EMB-32 No.6
ハードウェア仕様変更を考慮したソフトウェアプロダクトライン型開発手法の提案(開発手法,組込み技術とネットワークに関するワークショップETNET2014)

飯田 隆博,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.7,Vol.2014-EMB-32 No.7
際どい実行順序を考慮した並行システム検証に関する考察(開発手法,組込み技術とネットワークに関するワークショップETNET2014)

張 漢明,  沢田 篤史,  野呂 昌満,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.8,Vol.2014-EMB-32 No.8
組込みシステム向け軽量スクリプト言語へのアクセス制御機構の導入(組込みシステム開発,組込み技術とネットワークに関するワークショップETNET2014)

熊谷 康太,  石川 拓也,  本田 晋也,  高田 広章,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.9,Vol.2014-EMB-32 No.9
組み込みソフトウェア開発の効率化適用事例紹介(組込みシステム開発,組込み技術とネットワークに関するワークショップETNET2014)

山上 真広,  前田 善行,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.10,Vol.2014-EMB-32 No.10
席取り混雑回避システムの為の人数計測手法の検討(組込みシステム開発,組込み技術とネットワークに関するワークショップETNET2014)

石川 敏揮,  平山 雅之,  杉本 竜之介,  早川 佳克,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.11,Vol.2014-EMB-32 No.11
Anroidデバイス向けデータストリーム管理システムの試み(組込みシステム開発,組込み技術とネットワークに関するワークショップETNET2014)

岡本 昌訓,  / 中本 幸一,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.12,Vol.2014-EMB-32 No.12
組込みメニーコア向けOpenCLプログラムの機能検証環境(組込みハードウェア,組込み技術とネットワークに関するワークショップETNET2014)

西山 直樹,  稗田 拓路,  谷口 一徹,  冨山 宏之,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.13,Vol.2014-EMB-32 No.13
動的タスク切り替えを考慮した組込みメニーコアSoC向けタスクマッピング手法の拡張(組込みハードウェア,組込み技術とネットワークに関するワークショップETNET2014)

甲斐田 純也,  谷口 一徹,  冨山 宏之,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.14,Vol.2014-EMB-32 No.14
排他動作する非均質マルチコアプロセッサとそのリアルタイムOSの実装(組込みハードウェア,組込み技術とネットワークに関するワークショップETNET2014)

高瀬 英希,  李 景沫,  石原 亨,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.15,Vol.2014-EMB-32 No.15
プログラマブルSoCのためのシステム設計環境におけるフロントエンドの実装と事例評価(組込みハードウェア,組込み技術とネットワークに関するワークショップETNET2014)

東 遼平,  高瀬 英希,  高木 一義,  高木 直史,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.16,Vol.2014-EMB-32 No.16
アサーション自動生成とそのシミュレーションによる完全検証(検証技術,組込み技術とネットワークに関するワークショップETNET2014)

藤田 昌宏,  松本 剛史,  城 怜史,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.17,Vol.2014-EMB-32 No.17
プログラム可能データパスとSMTソルバーを利用した高位設計デバッグ手法(検証技術,組込み技術とネットワークに関するワークショップETNET2014)

松本 剛史,  城 怜史,  藤田 昌宏,  

[発表日]2014/3/8
[資料番号]Vol.2014-SLDM-165 No.18,Vol.2014-EMB-32 No.18
123>> 1-20hit(59hit)