4004 search results - page 22 / 801 » How Many Packets Can We Encode |
ARC
2008
Springer
13 years 10 months ago
2008
Springer
Abstract: A key challenge for wireless industrial networking is to successfully transmit a packet within a prescribed deadline despite the unfriendly properties of the wireless tra...
FORTE
2004
13 years 11 months ago
2004
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
ASPDAC
2004
ACM
14 years 3 months ago
2004
ACM
— This paper focuses on checking safety properties for sequential circuits specified on the RTlevel. We study how different state encodings can be used to create a gate-level r...
CPM
2005
Springer
14 years 3 months ago
2005
Springer
A succinct full-text self-index is a data structure built on a text T = t1t2 . . . tn, which takes little space (ideally close to that of the compressed text), permits efficient se...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...