487 search results - page 3 / 98 » Implementation Correctness of a Real-Time Operating System |
ECRTS
2003
IEEE
13 years 10 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...
ATC
2008
Springer
13 years 7 months ago
2008
Springer
To overcome the rising complexity of computing systems, the paradigms of Autonomic Computing and Organic Computing have been introduced. By using an observer/controller architectur...
WSC
1997
13 years 6 months ago
1997
The value of modeling and simulating business processes has recently received increased attention with the interest in business process re-engineering (BPR). Many re-engineering p...
RTCSA
2005
IEEE
13 years 11 months ago
2005
IEEE
FCCM
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents the porting of an RTOS Micro C/OS-II on a novel reconfigurable instruction cell based architecture which fills the gap between DSP, FPGA and ASIC with high per...