985 search results - page 100 / 197 » A Caching Model of Operating System Kernel Functionality |
140
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—This paper presents an auxiliary model based stochastic gradient parameter estimation algorithm for multiinput output-error systems by minimizing a quadratic cost function. The ...
113
click to vote
MCSS
2007
Springer
15 years 4 months ago
2007
Springer
We extend the classes of standard discrete- and continuous-time input/state/ output matrix systems by adding reverse internal and/or external channels. The reverse internal channe...
175
click to vote
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
138
click to vote
ISCA
2010
IEEE
15 years 10 months ago
2010
IEEE
Light-weight, flexible access control, which allows software to regulate reads and writes to any granularity of memory region, can help improve the reliability of today’s multi...
177
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— In recent years, learning models from data has become an increasingly interesting tool for robotics, as it allows straightforward and accurate model approximation. However, in ...