3467 search results - page 554 / 694 » A New Localized Network Based Routing Model in Computer and ... |
HPCA
2008
IEEE
14 years 8 months ago
2008
IEEE
Converged fabrics that support data, storage, and cluster networking in a unified fashion are desirable for their cost and manageability advantages. Recent trends towards higher-b...
NFM
2011
13 years 2 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
MOBIHOC
2006
ACM
14 years 7 months ago
2006
ACM
To date, topology control in wireless ad hoc and sensor networks--the study of how to compute from the given communication network a subgraph with certain beneficial properties--h...
EUC
2005
Springer
14 years 1 months ago
2005
Springer
1 The reader collision problem occurs when the signal from one reader interferes with the signal from other readers. Solutions like RTS-CTS are not applicable because a reader may ...
LCN
2003
IEEE
14 years 1 months ago
2003
IEEE
Collective operations are an important aspect of the currently most important message-passing programming model MPI (Message Passing Interface). Many MPI applications make heavy u...