KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Distributed and Parallel Embedded Systems
Band 25 - 13%

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

Aus der Reihe IFIP Advances in Information and Communication Technology
13% sparen

185,99 € UVP 213,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.01.2013

Abbildungen

X, 240 p.

Herausgeber

Franz J. Rammig

Verlag

Springer Us

Seitenzahl

240

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

394 g

Sprache

Englisch

ISBN

978-1-4757-5006-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.01.2013

Abbildungen

X, 240 p.

Herausgeber

Franz J. Rammig

Verlag

Springer Us

Seitenzahl

240

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

394 g

Sprache

Englisch

ISBN

978-1-4757-5006-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Distributed and Parallel Embedded Systems
  • 1 Formalisms for Embedded System Design.- IP-Centric Methodology and Specification Language.- Multilanguage Design.- 2 Synthesis from Synchronous/Asynchronous Specification.- From Synchronous Specifications to Asynchronous Distributed Implementations.- Using Extended Predicate/Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems.- From MSCS to Statecharts.- Software Synthesis from Statechart Models for Real Time Systems.- 3 Partitioning and Load-Balancing.- Combining Static Partitioning with Dynamic Distribution of Threads.- Distributed HIL-Simulation for the Design of Decentralised Control Structures.- Distributed HIL-Simulation of Mechatronic Systems Applied to an Agriculture Machine.- Agent-Based Load Balancing for Mobile Robot Applications.- 4 Verification and Validation.- Comparing Model Checking and Term Rewriting for the Verification of an Embedded System.- Microscopic Modeling of Support System for In-Vehicle Embedded Systems.- Extended SDL-based Tools for Rapid Prototyping of Application Specific Signal Processors.- Block Diagram Based Real-Time Simulation on a Network of Alpha Processors and C40 DSPs.- 5 Design Environments.- The DASE Tool: An Environment for the Development of Real-Time Applications.- Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems.- MCI — Multilanguage Distributed Co-Simulation Tool.- 6 Object Oriented Approaches.- Rapid Prototyping of Distributed Mechatronic Applications.- An 00 Based Methodology for Real-Time HW/SW Systems Modeling.- Modeling Distributed State as an Abstract Object.- Design Rationale of the PURE Object-Oriented Embedded Operating System.