3653 search results - page 369 / 731 » On Recognizable Timed Languages |
212
Voted
WORDS
2003
IEEE
16 years 1 days ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
192
click to vote
CAV
2003
Springer
16 years 3 hour ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
198
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
174
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
178
Voted
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose ‘Trace View’, a static visualization method for monitoringand debugging the dynamic behavior of programs written in data flow visual programming languages. Trace V...