Sciweavers

985 search results - page 49 / 197
» A Caching Model of Operating System Kernel Functionality
Sort
View
AUTOMATICA
2008
98views more  AUTOMATICA 2008»
15 years 2 months ago
An algorithm for bounded-error identification of nonlinear systems based on DC functions
This paper presents a guaranteed method for the parameter estimation of nonlinear models in a bounded-error context. This method is based on functions which consists of the differ...
J. M. Bravo, T. Alamo, M. J. Redondo, Eduardo F. C...
AUTOMATICA
2011
14 years 9 months ago
Stability analysis of nonlinear quadratic systems via polyhedral Lyapunov functions
— Quadratic systems play an important role in the modeling of a wide class of nonlinear processes (electrical, robotic, biological, etc.). For such systems it is of mandatory imp...
Francesco Amato, Francesco Calabrese, Carlo Cosent...
SIGMOD
2008
ACM
203views Database» more  SIGMOD 2008»
16 years 2 months ago
Querying continuous functions in a database system
Many scientific, financial, data mining and sensor network applications need to work with continuous, rather than discrete data e.g., temperature as a function of location, or sto...
Arvind Thiagarajan, Samuel Madden
DFG
2004
Springer
15 years 5 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
FAST
2009
14 years 11 months ago
Dynamic Resource Allocation for Database Servers Running on Virtual Storage
We introduce a novel multi-resource allocator to dynamically allocate resources for database servers running on virtual storage. Multi-resource allocation involves proportioning t...
Gokul Soundararajan, Daniel Lupei, Saeed Ghanbari,...