34 search results - page 5 / 7 » Real-time CORBA |
HICSS
1998
IEEE
15 years 1 months ago
1998
IEEE
The last several years saw an emergence of standardization activities for real-time systems including standardization of operating systems series of POSIX standards 1 , of communi...
DAIS
2008
14 years 11 months ago
2008
Distributed real-time and embedded (DRE) systems often require support for multiple simultaneous quality of service (QoS) properties, such as real-timeliness and fault tolerance, t...
RTAS
2005
IEEE
15 years 3 months ago
2005
IEEE
No one middleware communication model completely solves the problem of ensuring schedulability in every DRE system. Furthermore, there have been few studies to date of the trade-o...
102
click to vote
ADAEUROPE
2008
Springer
15 years 3 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
ISORC
2005
IEEE
15 years 3 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...