2615 search results - page 13 / 523 » Analysis of Real Time Operating System Based Applications |
137
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
122
click to vote
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
CORBA is an important standard middleware used in the development of distributed applications. It has also been used with distributed real-time applications, through its extension ...
149
click to vote
RTCSA
2003
IEEE
15 years 7 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
186
click to vote
SIGADA
2007
Springer
15 years 8 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...