Sciweavers

451 search results - page 44 / 91
» Maintainability of the Linux kernel
Sort
View
CDC
2010
IEEE
150views Control Systems» more  CDC 2010»
15 years 29 days ago
Nonlinear hybrid system identification with kernel models
Abstract-- This paper focuses on the identification of nonlinear hybrid systems involving unknown nonlinear dynamics. The proposed method extends the framework of [1] by introducin...
Fabien Lauer, Gérard Bloch, René Vid...
SP
2008
IEEE
119views Security Privacy» more  SP 2008»
16 years 10 days ago
Verifying the Safety of User Pointer Dereferences
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
Suhabe Bugrara, Alex Aiken
SRDS
2006
IEEE
15 years 12 months ago
Satem: Trusted Service Code Execution across Transactions
Web services and service oriented architectures are becoming the de facto standard for Internet computing. A main problem faced by users of such services is how to ensure that the...
Gang Xu, Cristian Borcea, Liviu Iftode
ICPP
2005
IEEE
15 years 11 months ago
Performance Evaluation of the SGI Altix 3700
SGI recently introduced the Altix 3700. In contrast to previous SGI systems, the Altix uses a modified version of the open source Linux operating system and the latest Intel IA-64...
Thomas H. Dunigan, Jeffrey S. Vetter, Patrick H. W...
SYSTOR
2010
ACM
15 years 10 months ago
Operating system virtualization: practice and experience
Operating system (OS) virtualization can provide a number of important benefits, including transparent migration of applications, server consolidation, online OS maintenance, and...
Oren Laadan, Jason Nieh