921 search results - page 5 / 185 » On Interleaving in Timed Automata |
FORMATS
2004
Springer
14 years 23 days ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
WCNC
2008
IEEE
14 years 1 months ago
2008
IEEE
— In this paper, we design and investigate a novel Interleave Division Multiplexing based Space-Time Code (IDM-STC) in the context of cooperative communications. We outline the p...
JUCS
2010
13 years 5 months ago
2010
: The membership problems of both stack automata and nonerasing stack automata are shown to be complete for polynomial time.
GLOBECOM
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— In this paper, we propose a novel distributed Interleaved Random Space-Time Code (IR-STC) designed for MultiSource Cooperation (MSC) employing various relaying techniqu...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Distributed space time coding for wireless relay networks when the source, the destination and the relays have multiple antennas have been studied by Jing and Hassibi. In this set-...