Sciweavers

1229 search results - page 145 / 246
» Live updating operating systems using virtualization
Sort
View
INFORMATICALT
2002
103views more  INFORMATICALT 2002»
15 years 3 months ago
Numerical Representations as Purely Functional Data Structures: a New Approach
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
Mirjana Ivanovic, Viktor Kuncak
PDPTA
2000
15 years 5 months ago
The PODOS File System - Exploiting the High-Speed Communication Subsystem
Performance Oriented Distributed Operating System (PODOS) is a clustering environment, being built on a monolithic Linux kernel. PODOS augments very few components to the Linux ke...
Sudharshan Vazhkudai, P. Tobin Maginnis
IPPS
2003
IEEE
15 years 9 months ago
Dynamic Power Management of Heterogeneous Systems
Power management is critical to power-constrained real-time systems. In this paper, we present a dynamic power management algorithm for real-time heterogeneous systems. Unlike oth...
Jinwoo Suh, Dong-In Kang, Stephen P. Crago
MOBISYS
2005
ACM
16 years 3 months ago
Reincarnating PCs with portable SoulPads
The ability to walk up to any computer, personalize it, and use it as one's own has long been a goal of mobile computing research. We present SoulPad, a new approach based on...
Ramón Cáceres, Casey Carter, Chandra...
125
Voted
EDBT
2009
ACM
124views Database» more  EDBT 2009»
15 years 10 months ago
A sequential indexing scheme for flash-based embedded systems
NAND Flash has become the most popular stable storage medium for embedded systems. As on-board storage capacity increases, the need for efficient indexing techniques arises. Such ...
Shaoyi Yin, Philippe Pucheral, Xiaofeng Meng