Embedded Systems -- Modeling, Technology, and Applications Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26/27, 2006 /
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 - searche...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2006.
|
Edición: | 1st ed. 2006. |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.