Sciweavers

9842 search results - page 232 / 1969
» Compositional timing analysis
Sort
View
ICTAI
2005
IEEE
15 years 9 months ago
Dot Plots for Time Series Analysis
Dragomir Yankov, Eamonn J. Keogh, Stefano Lonardi,...
IPPS
2005
IEEE
15 years 9 months ago
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Jan Trowitzsch, Armin Zimmermann, Günter Homm...
WACV
2005
IEEE
15 years 9 months ago
A Real-Time Rodent Tracking System for Both Light and Dark Cycle Behavior Analysis
Position tracking of rodents is useful and necessary to help elucidate the behavioral and physiological effects of genetic mutations, drug action, and environmental stimuli. In th...
Jane Brooks Zurn, Drew Hohmann, Steven I. Dworkin,...
CONCUR
2005
Springer
15 years 9 months ago
Efficient On-the-Fly Algorithms for the Analysis of Timed Games
Franck Cassez, Alexandre David, Emmanuel Fleury, K...
ISNN
2005
Springer
15 years 9 months ago
Exponential Stability Analysis of Neural Networks with Multiple Time Delays
This paper considers the robust stability of neural networks with multiple delays. Based on Lyapunov stability theory and linear matrix inequality technique, some new delay indepe...
Huaguang Zhang, Zhanshan Wang, Derong Liu