622 search results - page 17 / 125 » Specifying Functional and Timing Behavior for Real-Time Appl... |
ECRTS
2003
IEEE
14 years 1 months ago
2003
IEEE
1 : The ongoing revision of the POSIX.13 standard —real-time profiles for portable operating system interfaces— proposes adding new services to the Minimum RealTime System Prof...
COMPSAC
1998
IEEE
14 years 6 days ago
1998
IEEE
Distributed real-time applications have presented the need to extend the Object Management Group's OMG Common Object Request Broker Architecture CORBA standard to support rea...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
RTAS
2002
IEEE
14 years 26 days ago
2002
IEEE
This paper presents an experimental study of the latency behavior of the Linux OS. We identify major sources of latency in the kernel with the goal of providing real-time performa...
CAV
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...