921 search results - page 63 / 185 » On Interleaving in Timed Automata |
165
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We introduce the class of event-clock visibly pushdown automata (ECVPAs) as an extension of event-clock automata. The class of ECVPAs, on one hand, can model simple real-...
178
click to vote
FUIN
2010
15 years 3 months ago
2010
Abstract. Cellular automata have rich computational properties and, at the same time, provide plausible models of physics-like computation. We study decidability issues in the phas...
196
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
163
click to vote
ECCC
2000
15 years 6 months ago
2000
Deterministic k-tape and multitape Turing machines with one-way, two-way and without a separated input tape are considered. We investigate the classes of languages acceptable by s...
172
click to vote
RTCSA
2008
IEEE
16 years 20 days ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...