4520 search results - page 95 / 904 » Algebraic Techniques for Timed Systems |
206
click to vote
APN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...
157
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—In this treatise we propose a three-stage twin-transmitantenna assisted MultiUser (MU) Direct Sequence Code-Division Mulitple Access (DS-CDMA) system employing both a Un...
171
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...
121
click to vote
JAMDS
2000
15 years 6 months ago
2000
The aim of this work is to obtain explicit conditions (i.e., conditions on the transition rates) for the stochastic comparison of Markov Processes. A general coupling technique is ...
163
click to vote
ISSAC
2007
Springer
16 years 12 days ago
2007
Springer
It is only in the last five years that researchers have begun to use disk-based search techniques on a large scale. The primary examples of its use come from symbolic algebra and...