3229 search results - page 81 / 646 » The Theory of Timed Automata |
164
click to vote
RTCSA
2008
IEEE
16 years 1 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...
167
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
173
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
169
click to vote
LATA
2010
Springer
15 years 10 months ago
2010
Springer
With the advent of new sequencing technologies able to produce an enormous quantity of short genomic sequences, new tools able to search for them inside a references sequence genom...
155
click to vote
GEOINFO
2004
15 years 7 months ago
2004
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...