Sciweavers

12115 search results - page 316 / 2423
» Bisimulation of Dynamical Systems
Sort
View
EUROMICRO
2006
IEEE
15 years 10 months ago
Building Reconfigurable Component-Based OS with THINK
Dynamic reconfiguration allows modifying a system during its execution, and can be used to apply patches and updates, to implement adaptive systems, dynamic instrumentation, or to...
Juraj Polakovic, Ali Erdem Özcan, Jean-Bernar...
163
Voted
ACSAC
2001
IEEE
15 years 10 months ago
A Framework for Multiple Authorization Types in a Healthcare Application System
In most of the current authorization frameworks in application systems, the authorization for a user operation is determined using a static database like ACL entries or system tab...
Ramaswamy Chandramouli
TROB
2002
126views more  TROB 2002»
15 years 6 months ago
Modeling and controllability for a class of hybrid mechanical systems
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
Francesco Bullo, Milos Zefran
CDC
2008
IEEE
111views Control Systems» more  CDC 2008»
15 years 8 months ago
A Hamiltonian approximation method for the reduction of controlled systems
Abstract-- This paper considers the problem of model reduction for controlled systems. The paper considers a dual/adjoint formulation of the general optimization problem to minimiz...
Siep Weiland
DAC
2008
ACM
16 years 7 months ago
Feedback-controlled reliability-aware power management for real-time embedded systems
In recent literature it has been reported that Dynamic Power Management (DPM) may lead to decreased reliability in real-time embedded systems. The ever-shrinking device sizes cont...
Ranjani Sridharan, Nikhil Gupta, Rabi N. Mahapatra