77 search results - page 10 / 16 » Model Checking the FlexRay Physical Layer Protocol |
80
Voted
OSDI
2008
ACM
15 years 9 months ago
2008
ACM
Transactional flash (TxFlash) is a novel solid-state drive (SSD) that uses flash memory and exports a transactional interface (WriteAtomic) to the higher-level software. The copy-...
MSWIM
2003
ACM
15 years 2 months ago
2003
ACM
Errors introduced by a wireless medium are more frequent and profound than contemporary wired media. Some of these errors, which are not corrected by the physical layer, result in...
103
click to vote
SECON
2007
IEEE
15 years 3 months ago
2007
IEEE
— The capacity of wireless multi-hop networks has been studied extensively in recent years. Most existing work tackles the problem from an asymptotic perspective and assumes a si...
PADS
2004
ACM
15 years 2 months ago
2004
ACM
In mobile ad hoc network (MANET) studies, it is imperative to use highly detailed device models as they provide high layer protocols with good prediction of underlying wireless co...
106
click to vote
SIGMETRICS
2005
ACM
15 years 3 months ago
2005
ACM
Wide-spread deployment of infrastructure WLANs has made Wi-Fi an integral part of today’s Internet access technology. Despite its crucial role in affecting end-to-end performan...