2485 search results - page 152 / 497 » Time Bounded Frequency Computations |
135
click to vote
SAS
1991
Springer
15 years 8 months ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...
167
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...
153
click to vote
ECRTS
2006
IEEE
15 years 11 months ago
2006
IEEE
FlexRay will very likely become the de-facto standard for in-vehicle communications. However, before it can be successfully used for safety-critical applications that require pred...
145
Voted
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
146
Voted
WORDS
2003
IEEE
15 years 10 months ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...