Sciweavers

4629 search results - page 126 / 926
» Space Kernel Analysis
Sort
View
RTAS
2002
IEEE
15 years 11 months ago
A Measurement-Based Analysis of the Real-Time Performance of Linux
This paper presents an experimental study of the latency behavior of the Linux OS. We identify major sources of latency in the kernel with the goal of providing real-time performa...
Luca Abeni, Ashvin Goel, Charles Krasic, Jim Snow,...
CVPR
2007
IEEE
16 years 8 months ago
A Graph Cut Approach to Image Segmentation in Tensor Space
This paper proposes a novel method to apply the standard graph cut technique to segmenting multimodal tensor valued images. The Riemannian nature of the tensor space is explicitly...
Allen Tannenbaum, James G. Malcolm, Yogesh Rathi
CSREAESA
2006
15 years 7 months ago
Reliable Management Services for COTS-based Space Systems and Applications
Hybrid spacecraft processing platforms that combine radiation-hardened components with commercialgrade COTS components have the potential to dramatically improve performance while ...
Ian A. Troxel, Eric Grobelny, Grzegorz Cieslewski,...
VIP
2003
15 years 7 months ago
Tracking Using CamShift Algorithm and Multiple Quantized Feature Spaces
The Continuously Adaptive Mean Shift Algorithm (CamShift) is an adaptation of the Mean Shift algorithm for object tracking that is intended as a step towards head and face trackin...
John G. Allen, Richard Y. D. Xu, Jesse S. Jin
ESOP
2007
Springer
16 years 13 days ago
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
Kohei Suenaga, Naoki Kobayashi