321 search results - page 14 / 65 » Testing protocols modeled as FSMs with timing parameters |
95
Voted
FM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
95
Voted
ASYNC
2003
IEEE
15 years 5 months ago
2003
IEEE
Parameterized first-order models for throughput, energy, and bandwidth are presented in this paper. Models are developed for many common pipeline methodologies, including clocked...
TPDS
2010
14 years 10 months ago
2010
—Various sensor types, e.g., temperature, humidity, and acoustic, sense physical phenomena in different ways, and thus, are expected to have different sensing models. Even for th...
105
click to vote
PE
2002
Springer
15 years 2 days ago
2002
Springer
This work addresses the resource sharing problem in broadband communication networks that can guarantee some quality of service (QoS), and develops some results about data source ...
103
click to vote
JTRES
2010
ACM
15 years 19 days ago
2010
ACM
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...