Embedded system design : topics, techniques and trends : IFIP TC10 Working Conference : International Embedded Systems Symposium (IESS), May 30-June 1, 2007, Irvine (CA), USA
著者
書誌事項
Embedded system design : topics, techniques and trends : IFIP TC10 Working Conference : International Embedded Systems Symposium (IESS), May 30-June 1, 2007, Irvine (CA), USA
(The International Federation for Information Processing, 231)
Springer, c2007
- タイトル別名
-
IESS 2007
大学図書館所蔵 全3件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
内容説明・目次
内容説明
This volume presents the technical program of the 2007 International Embedded Systems Symposium held in Irvine, California. It covers timely topics, techniques and trends in embedded system design, including design methodology, networks-on-chip, distributed and networked systems, and system verification. It places emphasis on automotive and medical applications and includes case studies and special aspects in embedded system design.
目次
Validation and Verification.- Requirements and Concepts for Transaction Level Assertion Refinement.- Using a Runtime Measurement Device with Measurement-Based WCET Analysis.- Implementing Real-Time Algorithms by using the AAA Prototyping Methodology.- Run-Time efficient Feasibility Analysis of Uni-Processor Systems with Static Priorities.- Approach for a Formal Verification of a Bit-serial Pipelined Architecture.- Automotive Applications.- Automotive System Optimization using Sensitivity Analysis.- Towards a Dynamically Reconfigurable Automotive Control System Architecture.- An OSEK/VDX-based Multi-JVM for Automotive Appliances.- Towards Dynamic Load Balancing for Distributed Embedded Automotive Systems.- Hardware Synthesis.- Automatic Data Path Generation from C code for Custom Processors.- Interconnect-aware Pipeline Synthesis for Array based Reconfigurable Architectures.- An Interactive Design Environment for C-based High-Level Synthesis.- Integrated Coupling and Clock Frequency Assignment of Accelerators During Hardware/Software Partitioning.- Embedded Vertex Shader in FPGA.- Specification and Partitioning.- A Hybrid Approach for System-Level Design Evaluation.- Automatic Parallelization of Sequential Specifications for Symmetric MPSoCs.- An Interactive Model Re-Coder for Efficient SoC Specification.- Constrained and Unconstrained Hardware-Software Partitioning using Particle Swarm Optimization Technique.- Design Methodologies.- Using Aspect-Oriented Concepts in the Requirements Analysis of Distributed Real-Time Embedded Systems.- Smart Speed TechnologyTM.- Embedded Software.- Power Optimization for Embedded System Idle Time in the Presence of Periodic Interrupt Services.- Reducing the Code Size of Retimed Software Loops under Timing and Resource Constraints.- Identification and Removal of Program Slice Criteria for Code Size Reduction in Embedded Systems.- Configurable Hybridkernel for Embedded Real-Time Systems.- Embedded Software Development in a System-Level Design Flow.- Network on Chip.- Data Reuse Driven Memory and Network-On-Chip Co-Synthesis.- Efficient and Extensible Transaction Level Modeling Based on an Object Oriented Model of Bus Transactions.- Hardware Implementation of the Time-Triggered Ethernet Controller.- Error Containment in the Time-Triggered System-On-a-Chip Architecture.- Medical Applications.- Generic Architecture Designed for Biomedical Embedded Systems.- A Small High Performance Microprocessor Core Sirius for Embedded Low Power Designs, Demonstrated in a Medical Mass Application of an Electronic Pill(EPill (R)).- Distributed and Network Systems.- Utilizing Reconfigurable Hardware to Optimize Workflows in Networked Nodes.- Dynamic Software Update of Resource-Constrained Distributed Embedded Systems.- Configurable Medium Access Control for Wireless Sensor Networks.- Integrating Wireless Sensor Networks and the Grid through POP-C++.- Panel.- Modeling of Software-Hardware Complexes.- Modeling of Software-Hardware Complexes.- Enhancing a Real-Time Distributed Computing Component Model through Cross-Fertilization.- Modeling of Software-Hardware Complexes.- Software-Hardware Complexes: Towards Flexible Borders.- Tutorials.- Embedded SW Design Space Exploration and Automation using UML-Based Tools.- Medical Embedded Systems.
「Nielsen BookData」 より