Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Sangiovanni-Vincentelli, Alberto (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Sifakis, Joseph (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Έκδοση:1st ed. 2002.
Σειρά:Lecture Notes in Computer Science, 2491
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.