176 search results - page 27 / 36 » Abstraction and Refinement in Protocol Derivation |
TPDS
2002
13 years 7 months ago
2002
Abstract--The Gemini interconnect is a dual technology (optical and electrical) interconnection network designed for use in tightlycoupled multicomputer systems. It consists of a c...
EWSN
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. In their EWSN'07 paper [1], Giusti et al. proposed a decentralized wake-up scattering algorithm for temporally spreading the intervals in which the nodes of a wirele...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—In this paper, we investigate cooperative OFDM communications using amplify-and-forward (AF) protocol at the relays, in the presence of imperfect timing synchronization....
EWSN
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Wireless sensor network protocols and applications, including those used for localization, topology control, link scheduling, and link quality estimation, make extensive ...
TIT
2008
13 years 7 months ago
2008
Abstract--In data communication networks, packets that arrive at the receiving host may be disordered for reasons such as retransmission of dropped packets or multi-path routing. R...