Sciweavers

13489 search results - page 389 / 2698
» Self-migration of operating systems
Sort
View
USENIX
1993
15 years 9 months ago
Exploiting In-Kernel Data Paths to Improve I/O Throughput and CPU Availability
We present the motivation, design, implementation, and performance evaluation of a UNIX kernel mechanism capable of establishing fast in-kernel data pathways between I/O objects. ...
Kevin R. Fall, Joseph Pasquale
CIDR
2009
113views Algorithms» more  CIDR 2009»
15 years 8 months ago
Remembrance: The Unbearable Sentience of Being Digital
We introduce a world vision in which data is endowed with memory. In this data-centric systems paradigm, data items can be enabled to retain all or some of their previous values. ...
Ragib Hasan, Radu Sion, Marianne Winslett
DAGSTUHL
2009
15 years 8 months ago
A Case Study in Goal-Driven Architectural Adaptation
To operate reliably in environments where interaction with an operator is infrequent or undesirable, an autonomous system should be capable of both determining how to achieve its ...
William Heaven, Daniel Sykes, Jeff Magee, Jeff Kra...
JACIII
2008
101views more  JACIII 2008»
15 years 7 months ago
On-Line Fault Detection and Compensation of Hydraulic Driven Machines Using Modelling Techniques
The development of on line model-based fault detection systems in machinery improves the operational reliability of industrial systems and reduces the operational and maintenance ...
Chrissanthi Angeli, Avraam Chatzinikolaou
SAS
2010
Springer
134views Formal Methods» more  SAS 2010»
15 years 6 months ago
Strictness Meets Data Flow
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
Tom Schrijvers, Alan Mycroft