1052 search results - page 51 / 211 » The Regular Real-Time Languages |
JUCS
2002
15 years 3 months ago
2002
IJFCS
2010
15 years 2 months ago
2010
105
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLD...
128
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
We solve some decision problems for timed automata which were raised by S. Tripakis in [Tri04] and by E. Asarin in [Asa04]. In particular, we show that one cannot decide whether a ...