Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Domen Verber, Matjaz Colnaric, Wolfgang A. Halang |
Fault Detection in Safety-Critical Embedded Systems. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
1 | Markus Deppe, Mauro Cesar Zanella |
Design and Realization of Distributed Real-Time Controller for Mechatronic Systems. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
1 | Emerson Rogério de Oliveira Junior, Ingrid Jansch-Pôrto |
Statistical Analysis of a Hybrid Replication Model. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
1 | Wolfgang A. Halang, Nihal Kececi, Grace Tsai |
Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
1 | Kai Richter 0001, Dirk Ziegenbein, Marek Jersak, Rolf Ernst |
Bottom-Up Performance Analysis of HW/SW Platforms. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Talpin |
Model Checking Robustness to Desynchronization. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
1 | Stefan Ihmor, Markus Visarius, Wolfram Hardt |
A Consistent Design Methodology for Configurable HW/SW-interfaces in Embedded Systems. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
1 | Dirk Stichling, Bernd Kleinjohann |
Low Latency Color Segmentation on Embedded Real-Time Systems. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
1 | Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig |
Integration of Low Power Analysis into High-Level Scheduling in Distributed Real-Time Computing Systems. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
1 | Nihal Kececi, Wolfgang A. Halang, Alain Abran |
A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
1 | Prabhat Mishra 0001, Nikil D. Dutt |
Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
1 | Danilo Beuche, Olaf Spinczyk, Wolfgang Schröder-Preikschat |
Finegrained Application Specific Customization of Embedded Software. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
1 | Bernd Kleinjohann (eds.) |
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 |
DIPES |
2001 |
DBLP BibTeX RDF |
|
1 | H. Sun |
Timing Constraints Validation using UPPAAL: Schedulability Analysis. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | Ying Qiao, Hongan Wang, Guozhong Dai |
A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systems. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira 0001, Leandro Buss Becker, Carlos Eduardo Pereira |
Optimizing Functional distribution in Complex System Design. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | Markus Deppe, Oliver Oberschelp |
Real-Time Support for Online Controller Supervision and Optimisation. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | Ricardo Jorge Machado 0001, João M. Fernandes, Henrique M. Dinis Santos |
A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | Luís Miguel Pinho, Francisco Vasques |
An Architecture for Reliable Distributed Computer-Controlled Systems. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | Mika Katara, Arto Luoma |
Environment Modelling in Closed Specifications of Embedded Systems. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | Ashok Halambi, Nikil D. Dutt, Alexandru Nicolau |
Customizing Software Toolkits for Embedded Systems-On-Chip. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | Achim Rettberg, Franz J. Rammig, Andreas Gerstlauer, Daniel Gajski, Wolfram Hardt, Bernd Kleinjohann |
The Specification Language SpecC within the PARADISE Design Environment. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | Pertti Kellomäki |
Deriving Message Passing Protocols from Collective Behavior. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | William Nace, Phil Koopman |
A Product Family Approach to Graceful Degradation. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | Amer Baghdadi, Nacer-Eddine Zergainoh, Damien Lyonnard, Ahmed Amine Jerraya |
Generic Architecture Platform for Multiprocessor System-On-Chip Design. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | W. Fleisch |
Test Case Design for the Validation of Component-Based Embedded Systems. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | F. Cieslok, H. Esau, Jürgen Teich |
EXPLORA - Generic Design Space Exploration during Embedded System Synthesis. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Klaus Schneider 0001 |
A Verified Hardware Synthesis of Esterel Programs. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | Frank Heuschen, Klaus Waldschmidt |
Analog/Digital Co-Design. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Daeyoung Kim 0001, Yoonmee Doh, Yann-Hang Lee |
Java Real-Time Publish-Subscribe Middleware for Distributed Embedded Systems. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Franz J. Rammig (eds.) |
Distributed and Parallel Embedded Systems, IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES '98), October 5-6. 1998, Schloß Eringerfeld, Germany |
DIPES |
1999 |
DBLP BibTeX RDF |
|
1 | Daniel Gajski, Rainer Dömer, Jianwen Zhu |
IP-Centric Methodology and Specification Language. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Wolfram Hardt, Peter Altenbernd, Carsten Böke, Giuseppe Del Castillo, C. Ditze, Edwin Erpenbach, Uwe Glässer, Bernd Kleinjohann, Georg Lehrenfeld, Franz J. Rammig, Carsten Rust, Friedhelm Stappert, Joachim Stroop, Jürgen Tacken |
Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Ralf Stolpe, Oliver Obershelp |
Distributed HIL-Simulation for the Design of Decentralised Control Structures. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Mauro Cesar Zanella, Ralf Stolpe |
Distributed HIL-Simulation of Mechatronic Systems Applied to an Agriculture Machine. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Markus Deppe, Carsten Homburg |
Rapid Prototyping of Distributed Mechatronic Applications. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Claude Ackad |
Software Synthesis from Statechart Models for Real Time Systems. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Pertti Kellomäki, Tommi Mikkonen |
Modeling Distributed State as an Abstract Object. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Bernd Kleinjohann |
Multilanguage Design. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Ulrich Kiffmeier, Michael Beine |
Block Diagram Based Real-Time Simulation on a Network of Alpha Processors and C40 DSPs. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Ronald Charles Moore, Melanie Klang, Bernd Klauer, Klaus Waldschmidt |
Combining Static Partitioning with Dynamic Distribution of Threads. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira 0001, Carlos Eduardo Pereira |
An OO Based Methodology for Real-Time HW/SW Systems Modeling. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Matthieu Courrier, Françoise Simonot-Lion, Yeqiong Song |
Microscopic Modeling of Support System for In- Vehicle Embedded Systems. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Fabiano Hessel, P. LeMarrec, Carlos A. Valderrama, Mohamed Romdhani, Ahmed Amine Jerraya |
MCI- Multilanguage Distributed Co- Simulation Tool. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Klaus Schneider 0001, Michaela Huhn |
Comparing Model Checking and Term Rewriting for the Verification of an Embedded System. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Marco Di Natale, Andrea Domenici |
The DASE Tool: An Environment for the Development of Real-Time Applications. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Peter Scholz |
From synchronous Specifications to Asynchronous Distributed Implementations. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Philippe Leblanc, Jean-Luc Roux |
Extended SDL-based Tools for Rapid Prototyping of Application Specific Signal Processors. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Ralf Kluthe, Wolfgang Obelöer, Claus Grewe |
Agent-Based Load Balancing for Mobile Robot Applications. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Jürgen Tacken |
Using Extended Predicate / Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy |
From MSCs to Statecharts. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
1 | Friedrich Schön, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk |
Design Rationale of the PURE Object-Oriented Embedded Operation System. |
DIPES |
1998 |
DBLP BibTeX RDF |
|