773 search results - page 101 / 155 » Kernel Change-point Analysis |
SMI
2008
IEEE
15 years 4 months ago
2008
IEEE
We address the problem of bandwidth selection in MLS surfaces. While the problem has received relatively little attention in the literature, we show that appropriate selection pla...
ICPADS
2006
IEEE
15 years 3 months ago
2006
IEEE
Flexible resource management and scheduling policies require detailed system-state information. Traditional, monolithic operating systems with a centralized kernel derive the requ...
IJCAI
2007
14 years 11 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
BIOSYSTEMS
2008
14 years 10 months ago
2008
It is widely acknowledged that detailed timing of action potentials is used to encode information, for example, in auditory pathways; however, the computational tools required to ...
SP
2002
IEEE
14 years 9 months ago
2002
IEEE
This paper shows how system-speci c static analysis can nd security errors that violate rules such as \integers from untrusted sources must be sanitized before use" and \do n...