FEEDBACK Smiley face
Normal view MARC view ISBD view

Embedded Software [electronic resource] :Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings /

Contributor(s): Sangiovanni-Vincentelli, Alberto [editor.] | Sifakis, Joseph [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 2491Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Description: X, 430 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540458289.Subject(s): Computer science | Special purpose computers | Software engineering | Operating systems (Computers) | Computer logic | Application software | Computer Science | Computer Applications | Software Engineering/Programming and Operating Systems | Operating Systems | Logics and Meanings of Programs | Special Purpose and Application-Based SystemsOnline resources: Click here to access online
Contents:
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.
In: Springer eBooks
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in