Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
160,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
| ISBN: | 1461369983 |
|---|---|
| ISBN 13: | 9781461369981 |
| Autor: | Thoen, Filip/Catthoor, Francky |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xv, 438 S., 71 s/w Illustr. |
| Erscheinungsdatum: | 13.10.2012 |
| Auflage: | 1/2012 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Self-Organization in Embedded Real-Time Systems]()
Self-Organization in Embedded Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Constraints Meet Concurrency]()
Constraints Meet Concurrency
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification by Error Modeling]()
Verification by Error Modeling
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency in Dependable Computing]()
Concurrency in Dependable Computing
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algorithms, Concurrency and Knowledge]()
Algorithms, Concurrency and Knowledge
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Design Methodology for Real-Time Embedded Systems]()
Specification and Design Methodology for Real-Time Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real Time Tasks Scheduling in Cloud Computing Environment]()
Real Time Tasks Scheduling in Cloud Computing Environment
45,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Functional Verification of Programmable Embedded Architectures]()
Functional Verification of Programmable Embedded Architectures
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics for Concurrency]()
Logics for Concurrency
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Embedded Controller Development with Petri Nets]()
Distributed Embedded Controller Development with Petri Nets
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded and Real-Time Operating Systems]()
Embedded and Real-Time Operating Systems
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Thermal Analysis of Fair Scheduling in Real-time Embedded Systems]()
Thermal Analysis of Fair Scheduling in Real-time Embedded Systems
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Movements of eyes in real tasks]()
Movements of eyes in real tasks
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems]()
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems: Design, Analysis and Verification]()
Embedded Systems: Design, Analysis and Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Real-Time System und seine Anwendung in der Avionik]()
Embedded Real-Time System und seine Anwendung in der Avionik
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das 'G' der HRM-Funktion: Enter Hammer und Amboss]()
Das ‚G‘ der HRM-Funktion: Enter Hammer und Amboss
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency in Dependable Computing]()
Concurrency in Dependable Computing
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems: Design, Analysis and Verification]()
Embedded Systems: Design, Analysis and Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Validation of Real-Time Software]()
Verification and Validation of Real-Time Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analysis and Synthesis of Distributed Real-Time Embedded Systems]()
Analysis and Synthesis of Distributed Real-Time Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Timing Verification in Transaction Modeling]()
Timing Verification in Transaction Modeling
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Compositional Verification of Concurrent and Real-Time Systems]()
Compositional Verification of Concurrent and Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling of Photovoltaic Systems and Real-Time Implementation]()
Modeling of Photovoltaic Systems and Real-Time Implementation
35,30 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: PAEQUE-Projekt und gleichberechtigter Zugang für Kinder aus benachteiligten Gebieten]()
PAEQUE-Projekt und gleichberechtigter Zugang für Kinder aus benachteiligten Gebieten
60,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fault Tolerance for Real-Time Embedded Applications]()
Fault Tolerance for Real-Time Embedded Applications
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mechanical Verification of Parameterized Real-Time Systems]()
Mechanical Verification of Parameterized Real-Time Systems
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Functional Verification of Programmable Embedded Architectures]()
Functional Verification of Programmable Embedded Architectures
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling of Photovoltaic Systems and Real-Time Implementation]()
Modeling of Photovoltaic Systems and Real-Time Implementation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Performance Analysis of Real-Time Embedded Software]()
Performance Analysis of Real-Time Embedded Software
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable and Near-Optimal Design Space Exploration for Embedded Systems]()
Scalable and Near-Optimal Design Space Exploration for Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Verification of Cyber-Physical Systems]()
Formal Modeling and Verification of Cyber-Physical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems]()
Embedded Systems
129,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: High-level platform modeling and exploration]()
High-level platform modeling and exploration
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems]()
Embedded Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded and Real-Time Operating Systems]()
Embedded and Real-Time Operating Systems
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Paradigms of Concurrency]()
Paradigms of Concurrency
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems]()
Embedded Systems
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Temporal Properties in Embedded Software]()
Verification of Temporal Properties in Embedded Software
69,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Heterogeneous Memory Organizations in Embedded Systems]()
Heterogeneous Memory Organizations in Embedded Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency Theory]()
Concurrency Theory
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Time-Triggered Embedded Systems]()
Time-Triggered Embedded Systems
104,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable and Near-Optimal Design Space Exploration for Embedded Systems]()
Scalable and Near-Optimal Design Space Exploration for Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency 88]()
Concurrency 88
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems]()
Embedded Systems
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Memory Controllers for Real-Time Embedded Systems]()
Memory Controllers for Real-Time Embedded Systems
129,98 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Performance Analysis of Real-Time Embedded Software]()
Performance Analysis of Real-Time Embedded Software
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Structures in Concurrency Theory]()
Structures in Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Systems]()
Real-Time Systems
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded and Real-Time Operating Systems]()
Embedded and Real-Time Operating Systems
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Role of real estate in portfolios of pension funds]()
Role of real estate in portfolios of pension funds
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Memory Architecture Exploration for Programmable Embedded Systems]()
Memory Architecture Exploration for Programmable Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Energy-aware address generation optimization]()
Energy-aware address generation optimization
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design Methodology for Reconfigurable Processors]()
Design Methodology for Reconfigurable Processors
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems -- Modeling, Technology, and Applications]()
Embedded Systems — Modeling, Technology, and Applications
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling Multi-Level Systems]()
Modeling Multi-Level Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling Multi-Level Systems]()
Modeling Multi-Level Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems]()
Embedded Systems
155,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-time task pipelines allocation on multicore systems]()
Real-time task pipelines allocation on multicore systems
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Compositional Verification of Real-Time Systems]()
Specification and Compositional Verification of Real-Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency Theory]()
Concurrency Theory
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Software Verification and Debugging]()
Embedded Software Verification and Debugging
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: UNIX Systems Programming: Communication, Concurrency and Threads: Communication, Concurrency and Threads]()
UNIX Systems Programming: Communication, Concurrency and Threads: Communication, Concurrency and Threads
81,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Circuit-Technology Co-Optimization of SRAM Design in Advanced CMOS Nodes]()
Circuit-Technology Co-Optimization of SRAM Design in Advanced CMOS Nodes
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency and Nets]()
Concurrency and Nets
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Transaction Level Modeling and High Performance Simulation of Embedded Systems]()
Transaction Level Modeling and High Performance Simulation of Embedded Systems
48,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: MySQL Concurrency]()
MySQL Concurrency
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Embedded Application and Techniques]()
Real-Time Embedded Application and Techniques
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed, Embedded and Real-time Java Systems]()
Distributed, Embedded and Real-time Java Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Heterogeneous Memory Organizations in Embedded Systems]()
Heterogeneous Memory Organizations in Embedded Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SRAM Design for Wireless Sensor Networks]()
SRAM Design for Wireless Sensor Networks
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Systems]()
Real-Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Design Methodology for Real-Time Embedded Systems]()
Specification and Design Methodology for Real-Time Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Memory Architecture Exploration for Programmable Embedded Systems]()
Memory Architecture Exploration for Programmable Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Concurrent Embedded Software]()
Formal Verification of Concurrent Embedded Software
15,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: High-Level Verification]()
High-Level Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency in Scala]()
Concurrency in Scala
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SRAM Design for Wireless Sensor Networks]()
SRAM Design for Wireless Sensor Networks
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Memory Controllers for Real-Time Embedded Systems]()
Memory Controllers for Real-Time Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analysis and Synthesis of Distributed Real-Time Embedded Systems]()
Analysis and Synthesis of Distributed Real-Time Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed, Embedded and Real-time Java Systems]()
Distributed, Embedded and Real-time Java Systems
139,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Systems]()
Real-Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Applications with Stochastic Task Execution Times]()
Real-Time Applications with Stochastic Task Execution Times
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Approach For Concurrency Control Algorithm In Real-Time Database]()
An Approach For Concurrency Control Algorithm In Real-Time Database
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics for Concurrency]()
Semantics for Concurrency
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-time Systems]()
Real-time Systems
129,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Current Trends in Concurrency]()
Current Trends in Concurrency
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Real Time Task Scheduling]()
Advances in Real Time Task Scheduling
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Compositional Verification of Concurrent and Real-Time Systems]()
Compositional Verification of Concurrent and Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: High-Level Verification]()
High-Level Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Travail des enfants de 5-14 ans et rendement scolaire au Cameroun]()
Travail des enfants de 5-14 ans et rendement scolaire au Cameroun
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems]()
Embedded Systems
29,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Software Verification and Debugging]()
Embedded Software Verification and Debugging
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-time task scheduling modeling using Mixed-integer Programming]()
Real-time task scheduling modeling using Mixed-integer Programming
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency and Hardware Design]()
Concurrency and Hardware Design
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Seminar on Concurrency]()
Seminar on Concurrency
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: ML with Concurrency]()
ML with Concurrency
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model-Based Engineering of Embedded Real-Time Systems]()
Model-Based Engineering of Embedded Real-Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Self-Organization in Embedded Real-Time Systems]()
Self-Organization in Embedded Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification by Error Modeling]()
Verification by Error Modeling
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
