3724 search results - page 218 / 745 » Timed regular expressions |
158
click to vote
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
149
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
123
click to vote
IJON
2006
15 years 4 months ago
2006
GABAergic inhibition via local interneurons may play a role in enhancing spike timing precision in principal cells, since it tends to eliminate the influence of initial conditions...
149
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
—In this paper we present an analytical approach to evaluate the M-QAM symbol error rate (SER) of Alamouti space time coded OFDM direct conversion receivers subject to carrier fr...
141
click to vote
ISOLA
2007
Springer
15 years 11 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...