1392 search results - page 17 / 279 » A Calculus for Dynamic Linking |
88
Voted
CIIT
2007
15 years 3 months ago
2007
To characterize the behavior of a mobile ad-hoc network (MANET), the Brownian mobility model is studied, where the random coordinators of mobile nodes are modeled by the Brownian ...
128
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
— We consider the problem of maintaining routing paths between nodes in a dynamic network. Gafni and Bertsekas proposed a link reversal approach called the BG method that maintai...
95
Voted
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Current trends in high-performance parallel computers show that fat-tree interconnection networks are one of the most popular topologies. The particular characteristics of this to...
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
144
Voted
GLOBECOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Wireless networks, especially mobile ad hoc networks (MANET) and cognitive radio networks (CRN), are facing two new challenges beyond traditional random network model: op...