Sciweavers

1953 search results - page 86 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
SIMUTOOLS
2008
13 years 10 months ago
Snoopy: a tool to design and animate/simulate graph-based formalisms
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
Monika Heiner, Ronny Richter, Martin Schwarick
WORDS
2005
IEEE
14 years 2 months ago
Towards a Flow Analysis for Embedded System C Programs
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
Jan Gustafsson, Andreas Ermedahl, Björn Lispe...
LSSC
2005
Springer
14 years 2 months ago
Stabilization of a Nonlinear Anaerobic Wastewater Treatment Model
Abstract. A nonlinear anaerobic digester model of wastewater treatment plants is considered. The stabilizability of the dynamic system is studied and a continuous stabilizing feedb...
Neli S. Dimitrova, Mikhail Krastanov
CCR
2004
87views more  CCR 2004»
13 years 9 months ago
Non-stationarity and high-order scaling in TCP flow arrivals: a methodological analysis
The last decade has been a very fruitful period in important discoveries in network traffic modeling, uncovering various scaling behaviors. Self-similarity, long-range dependence,...
Steve Uhlig
CVPR
2000
IEEE
14 years 1 months ago
Error Analysis of Background Adaption
Background modeling is a common component in video surveillance systems and is used to quickly identify regions of interest. To increase the robustness of background subtraction t...
Xiang Gao, Terrance E. Boult, Frans Coetzee, Visva...