9 search results - page 1 / 2 » adaeurope 2008 |
ADAEUROPE
2008
Springer
13 years 11 months ago
2008
Springer
ADAEUROPE
2008
Springer
13 years 11 months ago
2008
Springer
The Cheddar project deals with real time scheduling theory. Many industrial projects do not perform performance analysis with real time scheduling theory even if the demand for the...
ADAEUROPE
2008
Springer
13 years 6 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
ADAEUROPE
2008
Springer
13 years 11 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
ADAEUROPE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...