Search results for "組込みシステム" | NDL Search

Search results 20

Group by title

システム・オン・チツプのためのソフトウエア・ア-キテクチヤの研究

Paper図書

並木, 美太郎, 東京農工大学2000-2002<Y151-H12680331>

National Diet Library

Subject HeadingSOC (System On Chip) 組込みシステム組込みOS

ネットワーク接続された組込みシステムの拡張性に関する研究

Digital博士論文障害者向け資料あり

寺岡, 秀敏2019-03-25

Available onlineNational Diet LibraryOther Libraries in Japan

Subject Heading組込みシステム拡張ソフトウェアホームネットワーク自動車

実験を含む非同期型遠隔教育における学習支援方式および授業スケジューリング方式

Paper図書

三井浩康, 東京電機大学 [著][三井浩康]2006-2007<Y151-H18500732>

National Diet Library

Subject Heading遠隔教育 / e-ラーニング / 授業学習支援システム / 組込みシステム

組込みマルチプロセッサ・システム設計向け高速HW/SWコシミュレーション技術

Paper図書

高田広章, 名古屋大学 [著][高田広章]2005-2006<Y151-H17300014>

National Diet Library

Subject Headingコシミュレーション / リアルタイムOS / SystemC / 組込みシステム / マルチプロセッサ

中小企業のユビキタス・ネットワーク導入の実態調査とネットワーク効果の理論的研究

Paper図書

野田哲夫, 島根大学 [著][野田哲夫]2006-2007<Y151-H18530176>

National Diet Library

Subject Headingユビキタス / かんばん方式 / モジュール化 / RF-ID / 組込みシステム / 標準化 / 中小製造企業 / 電子タグ

制御指向の高位合成手法に関する研究

Paper図書

石浦, 菜岐佐, 大阪大学1997-1998<Y151-H09680335>

National Diet Library

Subject Heading高位合成制御合成論理関数組込みシステム

ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発

Paper図書

山根智, 金沢大学 [著][山根智]2002-2004<Y151-H14580368>

National Diet Library

Subject Headingハイブリッドモデル / 組込みシステム / 詳細化検証 / 仕様記述 / 定理証明 / 確率 / ...

機器組込み型ソフトウエア開発のための設計・検証システムの構築

Paper図書

阿草, 清滋, 名古屋大学1996-1998<Y151-H08558034>

National Diet Library

Subject Heading組込みシステムリアルタイムシステムシミユレーシヨン最適化ソフトウエ...

動的要因を考慮したリアルタイムスケジューリング理論の構築と実装

Digital文書・図像類

田中, 清史2018-06-01科学研究費助成事業研究成果報告書p.1-6

Other Libraries in Japan

Subject Headingリアルタイムスケジューリング実行時間組込みシステム

二輪車車体運動センシングシステムの研究

Digital文書・図像類

木谷, 友哉静岡大学2017-06-22

Other Libraries in Japan

Subject Heading高度交通システム車体計測システム組込みシステム自動二輪車

車載向け高精度歩行者認識手法に関する研究 : 平成22年度実績報告書

Digital文書・図像類

宮本, 龍介奈良先端科学技術大学院大学2011

Available onlineOther Libraries in Japan

Subject Heading画像認識組込みシステム車載歩行者認識歩行者検出

車載向け高精度歩行者認識手法に関する研究 : 平成20年度-22年度研究成果報告書

Digital文書・図像類

宮本, 龍介奈良先端科学技術大学院大学2011

Available onlineOther Libraries in Japan

Subject Heading画像認識組込みシステム車載歩行者認識歩行者検出

述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法

Digital文書・図像類

山根, 智, Yamane, Satoshi2010-04-01平成23(2009)年度科学研究費補助金基盤研究(C) 研究成果報告書 = 2009 Fiscal Year Final Research Report2007-2009p.4p.-

Other Libraries in Japan

Subject Heading組込みシステム述語抽象化検証オブジェクト指向
Note (General)...題「述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法」課題番号1950002...

車載向け高精度歩行者認識手法に関する研究

Digital文書・図像類

宮本, 龍介奈良先端科学技術大学院大学2009

Available onlineOther Libraries in Japan

Subject Heading画像認識組込みシステム車載歩行者認識歩行者検出

動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証

Digital文書・図像類

山根, 智, Yamane, Satoshi2015-06-09平成26(2014)年度科学研究費補助金基盤研究(C) 研究成果報告書 = 2014 Fiscal Year Final Research Report2012-04-01 - 2015-03-31p.4p.-

Other Libraries in Japan

Subject Heading組込みシステムハイブリッドオートマトンモデル検査抽象化精錬仕様記述...
Note (General)金沢大学理工研究域電子情報通信学系動的再構成可能組込みシステムは，ソフトウェア(汎用CPU)......検証を実現して，動的再構成可能組込みシステムの高度な設計検証技術を確立して，その有効性を実証する． A ...