The spring scheduling co-processor: a scheduling accelerator, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93, 1993. ,
DOI : 10.1109/ICCD.1993.393392
Life with adeos, 2005. ,
The real-time driver model and first applications, 7th Real-Time Linux Workshop, 2005. ,
Hardware support for real-time operating systems, Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign & system synthesis , CODES+ISSS '03, pp.45-51, 2003. ,
DOI : 10.1145/944654.944656
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.7409
A configurable hardware scheduler for real-time systems, Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms, pp.96-101, 2003. ,
MicroC/OS-II: the real-time kernel. Newnes, 2002. ,
Fastchart-a fast time deterministic CPU and hardware based real-time-kernel, Proceedings. EUROMICRO `91 Workshop on Real-Time Systems, pp.36-40, 1991. ,
DOI : 10.1109/EMWRT.1991.144077
Adaptive domain environment for operating systems, Opersys inc, 2001. ,