487 search results - page 3 / 98 » Implementation Correctness of a Real-Time Operating System |
ECRTS
2003
IEEE
14 years 29 days 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 9 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 9 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
14 years 1 months ago
2005
IEEE
FCCM
2007
IEEE
14 years 2 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...