Sciweavers

82 search results - page 9 / 17
» Parameter Synthesis in Nonlinear Dynamical Systems: Applicat...
Sort
View
SIGMETRICS
2003
ACM
115views Hardware» more  SIGMETRICS 2003»
14 years 2 months ago
Dynamic resource allocation for shared data centers using online measurements
Since web workloads are known to vary dynamically with time, in this paper, we argue that dynamic resource allocation techniques are necessary to provide guarantees to web applicat...
Abhishek Chandra, Weibo Gong, Prashant J. Shenoy
MOC
1998
104views more  MOC 1998»
13 years 8 months ago
Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
Abstract. Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique abstract existence results based...
Konstantin Mischaikow, Marian Mrozek
ICNC
2005
Springer
14 years 2 months ago
Reaction-Driven Membrane Systems
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...
Luca Bianco, Federico Fontana, Vincenzo Manca
FORMATS
2010
Springer
13 years 6 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
ICTAI
2005
IEEE
14 years 2 months ago
Hybrid Learning Neuro-Fuzzy Approach for Complex Modeling Using Asymmetric Fuzzy Sets
A hybrid learning neuro-fuzzy system with asymmetric fuzzy sets (HLNFS-A) is proposed in this paper. The learning methods of random optimization (RO) and least square estimation (...
Chunshien Li, Kuo-Hsiang Cheng, Jiann-Der Lee