487 search results - page 25 / 98 » Implementation Correctness of a Real-Time Operating System |
HICSS
2000
IEEE
14 years 4 days ago
2000
IEEE
A new tool for computing and visualizing the operation of power system components and systems is presented. One component of the tool is a time domain simulator that operates in t...
IJNSEC
2008
13 years 7 months ago
2008
Proxies are commonly used to cache objects, especially multimedia objects, so that clients can enjoy better quality-of-service (QoS) guarantees such as smaller startup latency and...
RTSS
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we propose to implement hybrid operating systems based on two-level hardware interrupts. To separate real-time and non-real-time hardware interrupts by hardware, we...
TPHOL
2005
IEEE
14 years 1 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
GLVLSI
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we propose a hardware real time operating system (HW-RTOS) solution that makes use of a dedicated hardware in order to replace the standard support provided by the P...