default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDIPES 1998: Schloß Eringerfeld, Germany
- Franz J. Rammig:
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. IFIP Conference Proceedings 155, Kluwer 1999, ISBN 0-7923-8614-0
Formalisms for Embedded System Design
- Daniel Gajski, Rainer Dömer, Jianwen Zhu:
IP-Centric Methodology and Specification Language. DIPES 1998: 3-22 - Bernd Kleinjohann:
Multilanguage Design. DIPES 1998: 23-38
Synthesis from Synchronous / Asynchronous Specification
- Peter Scholz:
From synchronous Specifications to Asynchronous Distributed Implementations. DIPES 1998: 39-50 - Jürgen Tacken:
Using Extended Predicate / Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems. DIPES 1998: 51-60 - Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy:
From MSCs to Statecharts. DIPES 1998: 61-72 - Claude Ackad:
Software Synthesis from Statechart Models for Real Time Systems. DIPES 1998: 73-84
Partitioning and Load-Balancing
- Ronald Charles Moore, Melanie Klang, Bernd Klauer, Klaus Waldschmidt:
Combining Static Partitioning with Dynamic Distribution of Threads. DIPES 1998: 85-96 - Ralf Stolpe, Oliver Obershelp:
Distributed HIL-Simulation for the Design of Decentralised Control Structures. DIPES 1998: 97-106 - Mauro Cesar Zanella, Ralf Stolpe:
Distributed HIL-Simulation of Mechatronic Systems Applied to an Agriculture Machine. DIPES 1998: 107-116 - Ralf Kluthe, Wolfgang Obelöer, Claus Grewe:
Agent-Based Load Balancing for Mobile Robot Applications. DIPES 1998: 117-128
Verification and Validation
- Klaus Schneider, Michaela Huhn:
Comparing Model Checking and Term Rewriting for the Verification of an Embedded System. DIPES 1998: 129-138 - Matthieu Courrier, Françoise Simonot-Lion, Yeqiong Song:
Microscopic Modeling of Support System for In- Vehicle Embedded Systems. DIPES 1998: 139-148 - Philippe Leblanc, Jean-Luc Roux:
Extended SDL-based Tools for Rapid Prototyping of Application Specific Signal Processors. DIPES 1998: 149-156 - Ulrich Kiffmeier, Michael Beine:
Block Diagram Based Real-Time Simulation on a Network of Alpha Processors and C40 DSPs. DIPES 1998: 157-168
Design Environments
- Marco Di Natale, Andrea Domenici:
The DASE Tool: An Environment for the Development of Real-Time Applications. DIPES 1998: 169-180 - 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: 181-190 - Fabiano Hessel, P. LeMarrec, Carlos A. Valderrama, Mohamed Romdhani, Ahmed Amine Jerraya:
MCI- Multilanguage Distributed Co- Simulation Tool. DIPES 1998: 191-202
Object Oriented Approaches
- Markus Deppe, Carsten Homburg:
Rapid Prototyping of Distributed Mechatronic Applications. DIPES 1998: 203-212 - Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira, Carlos Eduardo Pereira:
An OO Based Methodology for Real-Time HW/SW Systems Modeling. DIPES 1998: 213-222 - Pertti Kellomäki, Tommi Mikkonen:
Modeling Distributed State as an Abstract Object. DIPES 1998: 223-230 - Friedrich Schön, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk:
Design Rationale of the PURE Object-Oriented Embedded Operation System. DIPES 1998: 231-
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.
last updated on 2024-12-22 19:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
