3565 search results - page 222 / 713 » Modeling a system controller for timing analysis |
140
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
120
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Little research has examined the relevance of real options for valuation of information technology (IT) investments for prioritizing a portfolio of projects. When the effect of pr...
126
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
164
Voted
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the problem of scheduling realtime dwells in multi-function phase array radar systems. To keep track of targets, a radar system must meet its timing and energ...
133
Voted
HOTOS
1997
IEEE
15 years 8 months ago
1997
IEEE
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...