Sciweavers

773 search results - page 54 / 155
» Kernel Change-point Analysis
Sort
View
120
Voted
RTAS
2002
IEEE
15 years 8 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,...
149
Voted
ESOP
2007
Springer
15 years 9 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
146
Voted
ICMAS
1998
15 years 5 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
138
Voted
ICPR
2008
IEEE
16 years 4 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
113
Voted
ICIP
1999
IEEE
16 years 5 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...