Sciweavers

1154 search results - page 19 / 231
» Improving Network Processing Concurrency using TCPServers
Sort
View
TAAS
2008
70views more  TAAS 2008»
14 years 9 months ago
A general characterization of indulgence
characterization of indulgence in an abstract computing model that encompasses various communication and resilience schemes. We use our characterization to establish several result...
Rachid Guerraoui, Nancy A. Lynch
FM
2009
Springer
157views Formal Methods» more  FM 2009»
15 years 4 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
ICNP
2006
IEEE
15 years 3 months ago
Differentiated BGP Update Processing for Improved Routing Convergence
— Internet routers today can be overwhelmed by a large number of BGP updates triggered by events such as session resets, link failures, and policy changes. Such excessive updates...
Wei Sun, Zhuoqing Morley Mao, Kang G. Shin
IPPS
2006
IEEE
15 years 3 months ago
Real-time task mapping and scheduling for collaborative in-network processing in DVS-enabled wireless sensor networks
With the increasing importance of energy consumption considerations and new requirements of emerging applications, in-network processing of information gains recognition as a viab...
Yuan Tian, J. Boangoat, Eylem Ekici, Füsun &O...
CONEXT
2008
ACM
14 years 11 months ago
Exploiting multi-flow diversity for mitigating intra-flow interference in wireless mesh networks
We consider the problem of improving network capacity in wireless mesh networks from the angle of multi-flow diversity. As consecutive packets on a multihop path can interfere wit...
Taewoon Kim, Hyuk Lim, Chaegwon Lim