321 search results - page 22 / 65 » Testing protocols modeled as FSMs with timing parameters |
122
click to vote
ICECCS
1999
IEEE
15 years 4 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
119
click to vote
PADS
1997
ACM
15 years 4 months ago
1997
ACM
This paper is a reminder of the danger of allowing \risk" when synchronizing a parallel discrete-event simulation: a simulation code that runs correctly on a serial machine m...
112
Voted
NETWORKING
2007
15 years 1 months ago
2007
This paper presents a general model to study the medium access control (MAC) layer performance and equilibrium of WLANs consisting of nodes with different MAC parameters (e.g., ba...
108
Voted
DAC
2006
ACM
15 years 4 months ago
2006
ACM
Statistical static timing analysis (SSTA) has been a popular research topic in recent years. A fundamental issue with applying SSTA in practice today is the lack of reliable and e...
117
Voted
IJACTAICIT
2010
14 years 7 months ago
2010
It is great practical interest to decide when to stop testing a software system in development phase and transfer it to the user. This problem is called as the optimal software re...