386 search results - page 22 / 78 » Static Timing Analysis of Real-Time Operating System Code |
ECRTS
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
RTAS
2008
IEEE
14 years 4 months ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...
SIGADA
2007
Springer
14 years 4 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
The presence of vulnerable statements in the source code is a crucial problem for maintainers: properly monitoring and, if necessary, removing them is highly desirable to ensure h...
HOTOS
1997
IEEE
14 years 2 months ago
1997
IEEE
We are building an operating system in which an integral run-time code generator constantly strives to improve the quality of already executing code. Our system is based on a plat...