Sciweavers

724 search results - page 113 / 145
» Gossiping with Multiple Messages
Sort
View
IMC
2003
ACM
15 years 2 months ago
Source-level IP packet bursts: causes and effects
By source-level IP packet burst, we mean several IP packets sent back-to-back from the source of a flow. We first identify several causes of source-level bursts, including TCP...
Hao Jiang, Constantinos Dovrolis
73
Voted
SC
2003
ACM
15 years 2 months ago
MRNet: A Software-Based Multicast/Reduction Network for Scalable Tools
We present MRNet, a software-based multicast/reduction network for building scalable performance and system administration tools. MRNet supports multiple simultaneous, asynchronou...
Philip C. Roth, Dorian C. Arnold, Barton P. Miller
APPT
2003
Springer
15 years 2 months ago
Multi-scheduler Concurrency Control for Parallel Database Systems
Increase in amount of data stored and requirement of fast response time has motivated the research in Parallel Database Systems (PDS). Requirement for correctness of data still rem...
Sushant Goel, Hema Sharda, David Taniar
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 2 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
WEBDB
2010
Springer
224views Database» more  WEBDB 2010»
15 years 2 months ago
Concurrent One-Way Protocols in Around-the-Clock Social Networks
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation feature...
Royi Ronen, Oded Shmueli