Embedded Systems -- Modeling, Technology, and Applications Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26/27, 2006

Embedded Systems -- Modeling, Technology, and Applications Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26/27, 2006 / edited by Günter Hommel, Sheng Huanye.

The International Workshop on “Embedded Systems - Modeling, Techn- ogy, and Applications” is the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universität Berlin. The goal of those workshops is to bring together - searchers from bot...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Hommel, Günter (Editor), Huanye, Sheng (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Series:Springer eBook Collection.
Subjects:
Electrical engineering.
Computer software—Reusability.
Special purpose computers.
Computer system failures.
Application software.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • A Conceptual Model for Conformance, Compliance and Consistency
  • Simulation and Animation of Visual Models of Embedded Systems
  • Efficient Construction and Verification of Embedded Software
  • Embedded Systems Design Using Optimistic Distributed Simulation of Colored Petri Nets
  • Extended Reward Measures in the Simulation of Embedded Systems With Rare Events
  • High Performance Low Cost Multicore NoC Architectures for Embedded Systems
  • An Analyzable On-Chip Network Architecture for Embedded Systems
  • Simulation-Based Testing of Embedded Software in Space Applications
  • Evolving Specifications for Embedded Systems in the Automotive Domain
  • Embedded Network Processor Based Parallel Intrusion Detection
  • Embedded System Architecture of the Second Generation Autonomous Unmanned Aerial Vehicle MARVIN MARK II
  • Middleware for Distributed Embedded Real-Time Systems
  • Development of an Embedded Intelligent Flight Control System for the Autonomously Flying Unmanned Helicopter Sky-Explorer
  • Model Predictive Control with Application to a Small-Scale Unmanned Helicopter
  • The Recurrent Neural Network Model and Control of an Unmanned Helicopter
  • GA-Based Evolutionary Identification of Model Structure for Small-scale Robot Helicopter System
  • Framework for Development and Test of Embedded Flight Control Software for Autonomous Small Size Helicopters
  • Embedded System Design for a Hand Exoskeleton
  • Embedded Control System for a Powered Leg Exoskeleton
  • Blind Source Separation of Temporal Correlated Signals and its FPGA Implementation.

Similar Items