Information and Systems-Computer Systems(Date:2014/03/08)

Presentation
表紙

,  

[Date]2014/3/8
[Paper #]
目次

,  

[Date]2014/3/8
[Paper #]
An Operation Scenario Model for Energy Harvesting Embedded Systems and an Algorithm to Maximize the Operation Quality

KAZUMI AONO,  ATSUSHI IWATA,  HIDEKI TAKASE,  KAZUYOSHI TAKAGI,  NAOFUMI TAKAGI,  

[Date]2014/3/8
[Paper #]Vol.2014-SLDM-165 No.1,Vol.2014-EMB-32 No.1
Real-Time Scheduling for Shortening Response Times of Important Tasks

KIYOFUMI TANAKA,  

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

,  

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

,  

[Date]2014/3/8
[Paper #]Vol.2014-SLDM-165 No.4,Vol.2014-EMB-32 No.4
A Study of Simulation Acceleration Method for Supporting Model Based Development

TAKATOSHI OHARA,  TORU FUJIHIRA,  TOMOHIKO SHIGEOKA,  YASUHIRO NITTA,  CHIKARA IWAZAKI,  TATSUYA SUGIYAMA,  

[Date]2014/3/8
[Paper #]Vol.2014-SLDM-165 No.5,Vol.2014-EMB-32 No.5
A Framework to Manage Uncertainty in System Development

TSUNEO NAKANISHI,  LIDONG MA,  KENJI HISAZUMI,  AKIRA FUKUDA,  

[Date]2014/3/8
[Paper #]Vol.2014-SLDM-165 No.6,Vol.2014-EMB-32 No.6
Development Method of Software Product Line to Deal with Hardware Specification Changes

TAKAHIRO IIDA,  

[Date]2014/3/8
[Paper #]Vol.2014-SLDM-165 No.7,Vol.2014-EMB-32 No.7
A discussion on the verification of concurrent systems for considering critical execution order

HAN-MYUNG CHANG,  ATSUSHI SAWADA,  MASAMI NORO,  

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

,  

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

,  

[Date]2014/3/8
[Paper #]Vol.2014-SLDM-165 No.10,Vol.2014-EMB-32 No.10
A study on evaluation method for seat up congestion alleviation

TOSHIKI ISHIKAWA,  MASAYUKI HIRAYAMA,  RYUNOSUKE SUGIMOTO,  YOSHIKATSU HAYAKAWA,  

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

Bhuiya Mohammed / /,  

[Date]2014/3/8
[Paper #]Vol.2014-SLDM-165 No.12,Vol.2014-EMB-32 No.12
A Functional Verification Environment of OpenCL Programs for Many-core Embedded Systems

Naoki Nishiyama,  Takuji Hieda,  Ittetsu Taniguchi,  Hiroyuki Tomiyama,  

[Date]2014/3/8
[Paper #]Vol.2014-SLDM-165 No.13,Vol.2014-EMB-32 No.13
Extension of a Static Task Mapping Technique with Dynamic Task Switching for Embedded Many-core SoCs

Junya Kaida,  Ittetsu Taniguchi,  Hiroyuki Tomiyama,  

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

,  

[Date]2014/3/8
[Paper #]Vol.2014-SLDM-165 No.15,Vol.2014-EMB-32 No.15
Implementation of a Front-End and Case Study of the System Design Environment for Programmable SoC

RYOHEI AZUMA,  HIDEKI TAKASE,  KAZUYOSHI TAKAGI,  NAOFUMI TAKAGI,  

[Date]2014/3/8
[Paper #]Vol.2014-SLDM-165 No.16,Vol.2014-EMB-32 No.16
Automatic Generation of Assertions and their Formal Verification through Simulations

MASAHIRO FUJITA,  TAKESHI MATSUMOTO,  SATOSHI JO,  

[Date]2014/3/8
[Paper #]Vol.2014-SLDM-165 No.17,Vol.2014-EMB-32 No.17
Debugging High Level Designs using Programmable Datapaths and SMT Solvers

TAKESHI MATSUMOTO,  SATOSHI JO,  MASAHIRO FUJITA,  

[Date]2014/3/8
[Paper #]Vol.2014-SLDM-165 No.18,Vol.2014-EMB-32 No.18
123>> 1-20hit(59hit)