Sciweavers

773 search results - page 54 / 155
» Kernel Change-point Analysis
Sort
View
RTAS
2002
IEEE
15 years 2 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,...
ESOP
2007
Springer
15 years 4 months 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
ICMAS
1998
14 years 11 months ago
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
This paper presents a generic meta-model of multi-agent systems based on organizational concepts such as groups, roles and structures. This model, called AALAADIN, defines a very ...
Jacques Ferber, Olivier Gutknecht
ICPR
2008
IEEE
15 years 11 months ago
Generalized Nonlinear Discriminant Analysis
A Generalized Nonlinear Discriminant Analysis (GNDA) method is proposed, which implements Fisher discriminant analysis in a nonlinear mapping space. Linear discriminant analysis i...
Hua Zhang, Li Zhang, Licheng Jiao, Weida Zhou
ICIP
1999
IEEE
15 years 11 months ago
The Sinc-Approximating Kernels of Classical Polynomial Interpolation
A classical approach to interpolation of sampled data is polynomial interpolation. However, from the sampling theorem it follows that the ideal approach to interpolation is to con...
Erik H. W. Meijering, Wiro J. Niessen, Max A. Vier...