Sciweavers

13618 search results - page 64 / 2724
» The Newton Operating System
Sort
View
SOSP
2007
ACM
16 years 1 months ago
TxLinux: using and managing hardware transactional memory in an operating system
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...
Christopher J. Rossbach, Owen S. Hofmann, Donald E...
141
Voted
ASPLOS
2009
ACM
15 years 12 months ago
Recovery domains: an organizing principle for recoverable operating systems
We describe a strategy for enabling existing commodity operating systems to recover from unexpected run-time errors in nearly any part of the kernel, including core kernel compone...
Andrew Lenharth, Vikram S. Adve, Samuel T. King
CGO
2007
IEEE
15 years 11 months ago
Code Compaction of an Operating System Kernel
General-purpose operating systems, such as Linux, are increasingly being used in embedded systems. Computational resources are usually limited, and embedded processors often have ...
Haifeng He, John Trimble, Somu Perianayagam, Saumy...
EUROSYS
2011
ACM
14 years 8 months ago
Energy management in mobile devices with the cinder operating system
We argue that controlling energy allocation is an increasingly useful and important feature for operating systems, especially on mobile devices. We present two new low-level ions ...
Arjun Roy, Stephen M. Rumble, Ryan Stutsman, Phili...
116
Voted
CASC
2007
Springer
124views Mathematics» more  CASC 2007»
15 years 9 months ago
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form
We find a full system of invariants with respect to gauge transformations L g-1 Lg for third-order hyperbolic linear partial differential operators on the plane. The operators are...
Ekaterina Shemyakova, Franz Winkler