77 search results - page 9 / 16 » Model Checking the FlexRay Physical Layer Protocol |
91
Voted
IEEEMSP
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract—Traditionally, random access protocols have been designed and studied by assuming simple models for the physical layer. We introduce a reception model that incorporates ...
90
Voted
WICON
2008
14 years 11 months ago
2008
This paper examines the denial of service attacks that an 802.16 Broadband Wireless Access network is susceptible to at the physical and medium access control layers. In our threa...
ASPLOS
1996
ACM
15 years 1 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we present a high fidelity and efficient emulation framework called TWINE, which combines the accuracy and realism of emulated and physical networks and the scala...
ICN
2007
Springer
15 years 3 months ago
2007
Springer
ct Bandwidth usage monitoring is important for network troubleshooting and planning. Traditionally, used bandwidth is computed from router interface byte counters read by SNMP. Thi...