77 search results - page 8 / 16 » Model Checking the FlexRay Physical Layer Protocol |
CORR
2006
Springer
14 years 9 months ago
2006
Springer
A cross-layer optimization approach is adopted for the design of symmetric random access wireless systems. Instead of the traditional collision model, a more realistic physical la...
SIGCSE
2002
ACM
14 years 9 months ago
2002
ACM
This paper covers the use of Java and its API for developing networking programs in an undergraduate computer networks class. Through the use of TCP and UDP sockets provided in th...
88
Voted
MSWIM
2006
ACM
15 years 3 months ago
2006
ACM
The simulation of wireless networks has been an important tool for researchers and the industry in the last years. Especially in the field of Mobile Ad Hoc Networking, most curre...
INFOCOM
2000
IEEE
15 years 1 months ago
2000
IEEE
Ad hoc networks are characterized by multihop wireless connectivity, frequently changing network topology and the need for efficient dynamic routing protocols. We compare the perf...
104
click to vote
PEWASUN
2005
ACM
15 years 3 months ago
2005
ACM
The design and evaluation of Inter-Vehicle Communication (IVC) protocols rely much on the accurate and efficient computational simulations. For simulations of Medium Access Contro...