Sciweavers

2996 search results - page 184 / 600
» Dynamic Traveling Repairperson Problem for dynamic systems
Sort
View
RTS
2011
131views more  RTS 2011»
15 years 1 months ago
Global scheduling based reliability-aware power management for multiprocessor real-time systems
Reliability-aware power management (RAPM) has been a recent research focus due the negative effects of the popular power management technique dynamic voltage and frequency scaling ...
Xuan Qi, Dakai Zhu, Hakan Aydin
ATVA
2007
Springer
115views Hardware» more  ATVA 2007»
16 years 21 days ago
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
HYBRID
2007
Springer
15 years 10 months ago
Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models
Abstract. The use of hybrid dynamical systems to model gene regulation is impelled by the switch-like behaviour of the latter. Piecewise affine differential equations is one of the...
Etienne Farcot, Jean-Luc Gouzé
HYBRID
2009
Springer
15 years 4 months ago
STORMED Hybrid Games
We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [21], which have natural specifications, allow rich continuous dynamics and admit various proper...
Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh ...
MIDDLEWARE
2007
Springer
16 years 20 days ago
Domain-based context management for dynamic and evolutionary environments
Research in context-aware computing has produced a number of application prototypes, frameworks, middlewares and models for describing context. However, development of ubiquitous ...
Ricardo Couto Antunes da Rocha, Markus Endler