321 search results - page 7 / 65 » Testing protocols modeled as FSMs with timing parameters |
103
Voted
TDSC
2011
14 years 5 months ago
2011
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...
80
Voted
VTS
2008
IEEE
15 years 4 months ago
2008
IEEE
Dealing with static and dynamic parameter variations has become a major challenge for design and test. To avoid unnecessary yield loss and to ensure reliable system operation a ro...
91
Voted
CBSE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...
88
Voted
MBEC
2010
14 years 5 months ago
2010
Abstract Hydrocephalus is related to a disturbed cerebrospinal fluid (CSF) system. For diagnosis, lumbar infusion test are performed to estimate outflow conductance, Cout, and pres...
MASCOTS
2010
14 years 11 months ago
2010
In this work the authors present an analytical model that -- compared to previously published work -- more accurately captures the delay of IEEE 802.11 protocol under low, medium,...