8824 search results - page 240 / 1765 » On the Complexity of Real Functions |
202
click to vote
ISORC
2005
IEEE
16 years 5 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
175
click to vote
RTSS
2005
IEEE
16 years 5 days ago
2005
IEEE
The intricacy of real-time data service management increases mainly due to the emergence of applications operating in open and unpredictable environments, increases in software co...
183
click to vote
SCALESPACE
2005
Springer
16 years 2 days ago
2005
Springer
Variational methods are very popular for optic flow computation: They yield dense flow fields and perform well if they are adapted such that they respect discontinuities in the ...
187
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
Energy constrained complex real-time systems are becoming increasingly important in defense, space, and consumer applications. In this paper, we present a sensible heuristic to ad...
195
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...