Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	September 2002
Genre:	EDV / Informatik
	Application software / Betriebssysteme / C / Computer and Information Systems Applications / Computer Applications / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Expert systems / knowledge-based systems / Logics and Meanings of Programs / Operating systems / Operating systems (Computers) / Software Engineering / Software Engineering/Programming and Operating Systems / Special Purpose and Application-Based Systems / Special purpose computers / Theoretische Informatik / Wissensbasierte Systeme, Expertensysteme mehr...
ISBN:	9783540443070
EAN-Code:	9783540443070
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#2491 - Lecture Notes in Computer Science
Dimensionen:	H 233 mm / B 155 mm / D
Gewicht:	1370 gr
Seiten:	430
Illustration:	X, 430 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Embedded Systems: Challenges in Specification and Verification.- An Approach to Designing Safe Embedded Software.- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?).- Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems.- A Giotto-Based Helicopter Control System.- Principles of Real-Time Programming.- Time-Safety Checking for Embedded Programs.- Compositional Modeling in Metropolis.- Timed Interfaces.- Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System.- Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS.- Scalable Applications for Energy-Aware Processors.- Upgrading Embedded Software in the Field: Dependability and Survivability.- Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems.- JCOD: A Lightweight Modular Compilation Technology for Embedded Java.- Decreasing Memory Overhead in Hard Real-Time Garbage Collection.- Speedup Prediction for Selective Compilation of Embedded Java Programs.- Synchronous Modelling of Asynchronous Systems.- A Protocol for Loosely Time-Triggered Architectures.- Automatic Production of Globally Asynchronous Locally Synchronous Systems.- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems.- Toward an Approximation Theory for Computerised Control.- A New Facility for Dynamic Control of Program Execution: DELI.- Design Tools for Application Specific Embedded Processors.- Processor Pipelines and Their Properties for Static WCET Analysis.- ILP-Based Interprocedural Path Analysis.- Enhancing Compiler Techniques for Memory Energy Optimizations.- FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors.- Physical Programming: Beyond Mere Logic.- Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis.