3724 search results - page 126 / 745 » Timed regular expressions |
149
click to vote
IANDC
2008
15 years 4 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
114
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
151
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—We analyze the properties of a class of low complexity timing error detectors for the purpose of timing error tracking in orthogonal space-time block coding receivers. F...
135
click to vote
QUESTA
2007
15 years 3 months ago
2007
We present the queueing analysis of a degenerate buffer having access to a single server. This system cannot realize any given delay, but only values that are an integer multiple ...
128
click to vote
CPAIOR
2005
Springer
15 years 9 months ago
2005
Springer
The Employee Timetabling Problem (ETP) is a general class of problems widely encountered in service organizations (such as call centers for instance). Given a set of activities, a ...