3565 search results - page 155 / 713 » Modeling a system controller for timing analysis |
128
Voted
FTCS
1998
15 years 4 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
115
Voted
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
108
click to vote
RTAS
2002
IEEE
15 years 8 months ago
2002
IEEE
The paper presents some preliminary results on dynamic scheduling of model predictive controllers (MPCs). In an MPC, the control signal is obtained by on-line optimization of a co...
128
Voted
SMC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Existing human performance taxonomies which mostly can answer the question “what factors could affect the result” rather than “why it happened”, are usually used to ana...
129
click to vote
WSC
2004
15 years 4 months ago
2004
Most discrete-event simulation models have stochastic elements that mimic the probabilistic nature of the system under consideration. A close match between the input model and the...