2067 search results - page 226 / 414 » Modeling and Simulation of Operating System Behavior |
SIAMSC
2008
14 years 10 months ago
2008
Model order reduction (MOR) is common in simulation, control and optimization of complex dynamical systems arising in modeling of physical processes and in the spatial discretizati...
IJNSEC
2007
14 years 10 months ago
2007
It is generally agreed that two key points always attract special concerns during the modelling of anomaly-based intrusion detection. One is the techniques about discerning two cl...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— The goal of this paper is to serve as a reference for researchers in robotics and control that are interested in realistic modeling, theoretical analysis and simulation of wire...
TACAS
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
This paper presents an analysis and system-level design of a capacitive harvester of vibration energy composed from a mechanical resonator, capacitive transducer and a conditioning...