346 search results - page 2 / 70 » Memory Management for Self-stabilizing Operating Systems |
SOSP
2007
ACM
14 years 1 months ago
2007
ACM
TxLinux is a variant of Linux that is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the sc...
IJCSA
2007
13 years 4 months ago
2007
The paper presents results of experimental dependability evaluation of the Phoenix-RTOS operating system. Experiments are conducted using a self-developed testing environment and ...
DCOSS
2008
Springer
13 years 6 months ago
2008
Springer
IPPS
2010
IEEE
13 years 2 months ago
2010
IEEE
From the point of view of an operating system, a computer is managed and optimized in terms of the application programming model and the management of system resources. For the TF...
DAC
2006
ACM
13 years 10 months ago
2006
ACM
This article describes a new software-based on-line memory compression algorithm for embedded systems and presents a method of adaptively managing the uncompressed and compressed ...