2838 search results - page 205 / 568 » Verifying Controlled Components |
99
Voted
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
ECBS
2005
IEEE
15 years 6 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
81
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
A rigorous analysis of the performance of a blind source extraction structure based on a linear predictor is provided. It is shown that by minimising the mean square prediction er...
103
Voted
WORDS
2005
IEEE
15 years 6 months ago
2005
IEEE
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 ...
102
click to vote
IBERAMIA
2004
Springer
15 years 6 months ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...