7557 search results - page 127 / 1512 » Modeling Timed Concurrent Systems |
111
click to vote
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
RTSS
1993
IEEE
15 years 5 months ago
1993
IEEE
234
click to vote
ICDE
2009
IEEE
16 years 3 months ago
2009
IEEE
Temporal data analysis in data warehouses and data streaming systems often uses time decay to reduce the importance of older tuples, without eliminating their influence, on the res...
126
click to vote
TWC
2010
14 years 8 months ago
2010
In this letter, we investigate the problem of CFO estimation in OFDM systems when the timing offset and channel length are not exactly known. Instead of explicitly estimating the t...
129
click to vote
RTSS
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...