20126 search results - page 276 / 4026 » Timed Transition Systems |
156
click to vote
RTCSA
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents an implementation of feedback control strategy on distributed static scheduling. The static schedule is created taking into account the average execution times...
126
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
153
click to vote
PE
2011
Springer
14 years 11 months ago
2011
Springer
A typical polling system consists of a number of queues, attended by a single server in a fixed order. The present study derives closed-form approximations for the mean waiting t...
142
Voted
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
117
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
- An initial timing offset estimation method for orthogonal frequency-division multiplexing (OFDM) systems is proposed. Conventional preamble-based synchronization methods result i...