Sciweavers

1303 search results - page 202 / 261
» Scalable group communication system for scalable trust
Sort
View
FASE
2011
Springer
14 years 4 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
94
Voted
INFOCOM
2008
IEEE
15 years 7 months ago
FLoD: A Framework for Peer-to-Peer 3D Streaming
—Interactive 3D content on Internet has yet become popular due to its typically large volume and the limited network bandwidth. Progressive content transmission, or 3D streaming,...
Shun-Yun Hu, Ting-Hao Huang, Shao-Chen Chang, Wei-...
ISCA
2007
IEEE
111views Hardware» more  ISCA 2007»
15 years 7 months ago
Express virtual channels: towards the ideal interconnection fabric
Due to wire delay scalability and bandwidth limitations inherent in shared buses and dedicated links, packet-switched on-chip interconnection networks are fast emerging as the per...
Amit Kumar 0002, Li-Shiuan Peh, Partha Kundu, Nira...
140
Voted
INFOCOM
2006
IEEE
15 years 6 months ago
A Compound TCP Approach for High-Speed and Long Distance Networks
—Many applications require fast data transfer over high speed and long distance networks. However, standard TCP fails to fully utilize the network capacity due to the limitation ...
Kun Tan, Jingmin Song, Qian Zhang, Murari Sridhara...
109
Voted
IWDC
2001
Springer
101views Communications» more  IWDC 2001»
15 years 5 months ago
Resource Stealing in Endpoint Controlled Multi-class Networks
Abstract. Endpoint admission control is a mechanism for achieving scalable services by pushing quality-of-service functionality to end hosts. In particular, hosts probe the network...
Susana Sargento, Rui Valadas, Edward W. Knightly