2902 search results - page 263 / 581 » Simple Local Models for Complex Dynamical Systems |
126
click to vote
AUTOMATICA
2006
15 years 3 months ago
2006
We consider a class of systems with a cyclic interconnection structure that arises, among other examples, in dynamic models for certain biochemical reactions. We first show that a...
137
click to vote
SIGMETRICS
1997
ACM
15 years 8 months ago
1997
ACM
The Internet is a very large scale, complex, dynamical system that is hard to model and analyze. In this paper, we develop and analyze statistical models for the observed end-to-e...
112
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
128
click to vote
MASCOTS
2003
15 years 5 months ago
2003
All enterprise storage systems depend on disk arrays to satisfy their capacity, reliability, and availability requirements. Performance models of disk arrays are useful in underst...
152
click to vote
GECCO
2011
Springer
14 years 7 months ago
2011
Springer
The rate of speciation is in most mammals an order of magnitude faster than in most other vertebrates. It is faster still in the social mammals. The apparent association between c...