4520 search results - page 291 / 904 » Algebraic Techniques for Timed Systems |
186
click to vote
HICSS
2003
IEEE
16 years 21 days ago
2003
IEEE
This paper describes a number of effective techniques for visualizing some of the more complex data relationships that characterize an electric power system in real time. Power sy...
212
click to vote
TSE
2008
15 years 7 months ago
2008
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...
181
click to vote
AUTOMATICA
2002
15 years 7 months ago
2002
For discrete-time linear time invariant systems with constraints on inputs and states, we develop an algorithm to determine explicitly, the state feedback control law which minimi...
193
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present an approach to the scheduling and voltage scaling of low-power fault-tolerant hard real-time applications mapped on distributed heterogeneous embedded sys...
191
click to vote
OHS
2001
Springer
15 years 12 months ago
2001
Springer
Web-based applications with a large variety of users suffer from the inability to satisfy heterogeneous needs. A remedy for the negative effects of the traditional "one-size-...