Sciweavers

5376 search results - page 138 / 1076
» Scalable Kernel Systems
Sort
View
SIGOPSE
2004
ACM
15 years 9 months ago
Using AOP to develop architectural-neutral operating system components
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
Olaf Spinczyk, Daniel Lohmann
RTCSA
1999
IEEE
15 years 8 months ago
A Matlab Toolbox for Real-Time and Control Systems Co-Design
The paper presents a Matlab toolbox for simulation of real-time control systems. The basic idea is to simulate a real-time kernel in parallel with continuous plant dynamics. The t...
Johan Eker, Anton Cervin
PODC
1997
ACM
15 years 8 months ago
Implementing Wait-Free Objects on Priority-Based Systems
Wait-free objects are often implemented through the use of a \helping scheme", whereby one process \helps" one or more other processes to complete an operation. This pap...
James H. Anderson, Srikanth Ramamurthy, Rohit Jain
SOSP
2005
ACM
16 years 29 days ago
Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...
Arvind Seshadri, Mark Luk, Elaine Shi, Adrian Perr...
MMM
2006
Springer
133views Multimedia» more  MMM 2006»
15 years 10 months ago
A SVM-based personal recommendation system for TV programs
This paper presents a SVM-based prediction approach for constructing personal recommendation system for TV programs. We have applied Support Vector Machine (SVM) to personal predi...
Jin An Xu, Kenji Araki