487 search results - page 11 / 98 » Implementation Correctness of a Real-Time Operating System |
TII
2008
13 years 7 months ago
2008
Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
EUROPAR
2010
Springer
13 years 8 months ago
2010
Springer
In the age of Grid, Cloud, volunteer computing, massively parallel applications are deployed over tens or hundreds of thousands of resources over short periods of times to complete...
ICDAR
2009
IEEE
14 years 2 months ago
2009
IEEE
Camera-based character recognition systems should have the capability of quick operation and recognizing perspectively distorted texts in a complex layout. In this paper, in order...
USENIX
2008
13 years 10 months ago
2008
We propose a real real-time memory management system called Compact-fit that offers both time and space predictability. Compact-fit is a compacting memory management system for al...
SEUS
2007
IEEE
14 years 2 months ago
2007
IEEE
The popularity of mobile and multimedia applications made real-time support a mandatory feature for embedded operating systems. However, the current situation is that the overall p...