Titlebook: Embedded Software; Second International Alberto Sangiovanni-Vincentelli,Joseph Sifakis Conference proceedings 2002 Springer-Verlag Berlin H

高度

acheon

JCOD: A Lightweight Modular Compilation Technology for Embedded Java,them out of the appliance, on a network compile server that uses a lot of code size optimizations. This paper describes the different components and exhibits their flexibility. They can easily be upgraded independently or tailored for a specific kind of applications running on a given appliance.

不來(lái)

A Protocol for Loosely Time-Triggered Architectures,locks on the top of LTTA, and we provide several proofs for it, both manual and automatic, based on synchronous languages and associated model checkers. We briefly discuss how this can be used for correct deployment of synchronous designs on an LTTA.

GAVEL

背叛者

chemoprevention

一起

Decreasing Memory Overhead in Hard Real-Time Garbage Collection,l memory can be used to store live objects. This should be compared to a memory overhead of about 500% for garbage collectors based on copying techniques and about 50% for garbage collectors based on mark-and-sweep techniques.

Annotate

https://doi.org/10.1007/978-94-007-5195-8e distribution and allocation..As a prototype example of such a development process, we quote some experiences from the . project and its follow-up . Necessary extensions to these preliminary experiments are discussed and evaluated.

散開(kāi)

Procedure van individuele mentale training,es a schedulability analysis. We show that while for arbitrary E code, the analysis is exponential, for E code generated from typical Giotto programs, the analysis is polynomial. This supports our claim that Giotto identifies a useful fragment of embedded programs.

補(bǔ)充