Sciweavers

1321 search results - page 135 / 265
» Logic Simulation Using Networks of State Machines
Sort
View
NETWORKING
2004
14 years 11 months ago
LMPS: Localized Multi-path Selection for QoS Routing in VoIP Networks
Abstract. Localized QoS routing techniques were proposed to achieve acceptable performance without exchanging global state information over the network. In such techniques, the ing...
Khaled M. F. Elsayed, Hassan Fadel, Amin M. Nassar
LCN
2006
IEEE
15 years 4 months ago
Achieving Fairness in IEEE 802.11 Ad Hoc Networks
IEEE 802.11 has become the main technology in local area wireless networks. However, performance anomalies, especially, in terms of fairness, arise in its use in ad hoc networks. ...
Fanilo Harivelo, Pascal Anelli
WD
2010
14 years 4 months ago
Urban-X: Towards distributed channel assignment in cognitive multi-radio mesh networks
Researches about multi-radio mesh networks have mostly focused on channel allocation under internal interference. However, the deployment of WMNs in unlicensed bands of dense urban...
Wooseong Kim, Andreas J. Kassler, Marco Di Felice,...
SOFTVIS
2005
ACM
15 years 3 months ago
Visualization of mobile object environments
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
Yaniv Frishman, Ayellet Tal
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
15 years 3 months ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...