Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	September 2001
Genre:	EDV / Informatik
	C / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computers / Expert systems / knowledge-based systems / Logics and Meanings of Programs / Mathematical theory of computation / Operating systems / Software Engineering / Software Engineering/Programming and Operating Systems / Special Purpose and Application-Based Systems / Special purpose computers / Theory of Computation mehr...
ISBN:	9783540426738
EAN-Code:	9783540426738
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#2211 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1500 gr
Seiten:	504
Illustration:	IX, 504 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Heterogeneous Modeling Support for Embedded Systems Design.- Hierarchical Hybrid Modeling of Embedded Systems.- Some Synchronization Issues When Designing Embedded Systems from Components.- Synchronous Programming Techniques for Embedded Systems: Present and Future.- From Requirements to Validated Embedded Systems.- Usage Scenarios for an Automated Model Compiler.- Embedded Control: From Asynchrony to Synchrony and Back.- Verification of Embedded Software: Problems and Perspectives.- A Network-Centric Approach to Embedded Software for Tiny Devices.- Storage Allocation for Real-Time, Embedded Systems.- Interface Theories for Component-Based Design.- Giotto: A Time-Triggered Language for Embedded Programming.- Directions in Functional Programming for Real(-Time) Applications.- Rate-Based Resource Allocation Models for Embedded Systems.- The Temporal Specification of Interfaces in Distributed Real-Time Systems.- System-Level Types for Component-Based Design.- Embedded Software Implementation Tools for Fully Programmable Application Specific Systems.- Compiler Optimizations for Adaptive EPIC Processors.- Embedded Software Market Transformation through Reusable Frameworks.- An End-to-End Methodology for Building Embedded Systems.- An Implementation of Scoped Memory for Real-Time Java.- Bus Architectures for Safety-Critical Embedded Systems.- Using Multiple Levels of Abstractions in Embedded Software Design.- Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software.- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems.- Modeling Real-Time Systems - Challenges and Work Directions.- VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems.- Embedded Software: Challenges and Opportunities.- EmbeddedSoftware in Network Processors - Models and Algorithms.- Design of Autonomous, Distributed Systems.- Formalizing Software Architectures for Embedded Systems.- Reliable and Precise WCET Determination for a Real-Life Processor.- Embedded Systems and Real-Time Programming.- Embedded Software for Video.