Learn More
Static timing analyzers need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. This paper describes three complementary methods to support timing analysis by bounding the number of loop iterations. First, an algorithm is presented that determines the minimum(More)
Static timing analyzers, which are used to analyze real-time systems, need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. This paper describes three complementary methods to support timing analysis by bounding the number of loop iterations. First, an(More)
MiThOS (Micro-kernel Threads Operating System) is an experimental operating system for embedded systems. The system kernel is a rst implementation of the POSIX \Minimal Real-Time System Proole". It is based on prior work of a library implementation of Pthreads (POSIX threads). The system is fully pre-emptive. It supports multi-threading within a single(More)
Telecom service providers are augmenting telephony networks with packet-switched networks, enabling converged voice, data, and multimedia transport over a single network infrastructure. However, the profound mismatch between circuit-switched telephony networks and packet-switched data networks makes providing converged voice and data services difficult.(More)
  • 1