default search action
DIPES 2000: Schloß Eringerfeld, Germany
- Bernd Kleinjohann:
Architecture and Design of Distributed Embedded Systems, IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), October 18-19, 2000, Schloß Eringerfeld, Germany. IFIP Conference Proceedings 189, Kluwer 2001, ISBN 0-7923-7345-6
Methodology I
- Ricardo Jorge Machado, João M. Fernandes, Henrique M. Dinis Santos:
A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach. DIPES 2000: 1-10 - Sébastien Gérard, Nikos S. Voros, Chris Koulamas, François Terrier:
Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology. DIPES 2000: 11-22 - Frank Heuschen, Klaus Waldschmidt:
Analog/Digital Co-Design. DIPES 2000: 23-32 - Luigi Carro, Flávio Rech Wagner, Márcio Eduardo Kreutz, Márcio Oyamada:
A Design Methodology for Embedded Systems based on Multiple Processors. DIPES 2000: 33-42
Architecture
- Luís Miguel Pinho, Francisco Vasques:
An Architecture for Reliable Distributed Computer-Controlled Systems. DIPES 2000: 43-52 - Amer Baghdadi, Nacer-Eddine Zergainoh, Damien Lyonnard, Ahmed Amine Jerraya:
Generic Architecture Platform for Multiprocessor System-On-Chip Design. DIPES 2000: 53-64 - Danilo Beuche, Lars Büttner, Daniel Mahrenholz, Wolfgang Schröder-Preikschat, Friedrich Schön:
JPURE - A Purified Java Execution Environment for Controller Networks. DIPES 2000: 65-74 - Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira, Leandro Buss Becker, Carlos Eduardo Pereira:
Optimizing Functional distribution in Complex System Design. DIPES 2000: 75-86
Design Environments
- Ashok Halambi, Nikil D. Dutt, Alexandru Nicolau:
Customizing Software Toolkits for Embedded Systems-On-Chip. DIPES 2000: 87-98 - Nacer-Eddine Zergainoh, Amer Baghdadi, Ludovic Tambour, Damien Lyonnard, Lovic Gauthier, Ahmed Amine Jerraya:
Framework for System Design, Validation and Fast Prototyping of Multiprocessor System-On-Chip. DIPES 2000: 99-110 - Achim Rettberg, Franz J. Rammig, Andreas Gerstlauer, Daniel Gajski, Wolfram Hardt, Bernd Kleinjohann:
The Specification Language SpecC within the PARADISE Design Environment. DIPES 2000: 111-120
Methodology II
- Markus Deppe, Oliver Oberschelp:
Real-Time Support for Online Controller Supervision and Optimisation. DIPES 2000: 121-130 - William Nace, Phil Koopman:
A Product Family Approach to Graceful Degradation. DIPES 2000: 131-140 - Mika Katara, Arto Luoma:
Environment Modelling in Closed Specifications of Embedded Systems. DIPES 2000: 141-150
Test and Validation
- W. Fleisch:
Test Case Design for the Validation of Component-Based Embedded Systems. DIPES 2000: 151-160 - H. Sun:
Timing Constraints Validation using UPPAAL: Schedulability Analysis. DIPES 2000: 161-172
Distribution and Communication
- Ying Qiao, Hongan Wang, Guozhong Dai:
A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systems. DIPES 2000: 173-182 - Pertti Kellomäki:
Deriving Message Passing Protocols from Collective Behavior. DIPES 2000: 183-192 - Daeyoung Kim, Yoonmee Doh, Yann-Hang Lee:
Java Real-Time Publish-Subscribe Middleware for Distributed Embedded Systems. DIPES 2000: 193-204
Synthesis
- Klaus Schneider:
A Verified Hardware Synthesis of Esterel Programs. DIPES 2000: 205-214 - F. Cieslok, H. Esau, Jürgen Teich:
EXPLORA - Generic Design Space Exploration during Embedded System Synthesis. DIPES 2000: 215-226 - Carsten Homburg, Ulrich Kiffmeier, L. Kösters:
Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating System. DIPES 2000: 227-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.