3565 search results - page 235 / 713 » Modeling a system controller for timing analysis |
127
Voted
HYBRID
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
121
Voted
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
163
click to vote
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper assesses the predictability of network traffic by considering two metrics: (1) how far into the future a traffic rate process can be predicted with bounded error; (2) w...
114
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In order to reduce the computational load of the recursive least squares (RLS) algorithm, a decomposition based least squares algorithm is developed for non-uniformly sampled m...
116
click to vote
EOR
2008
15 years 4 months ago
2008
In this work, we address investment decisions in production systems by using real options. As is standard in literature, the stochastic variable is assumed to be normally distribu...