Sciweavers

3979 search results - page 615 / 796
» Wild control operators
Sort
View
ICNP
2000
IEEE
15 years 11 months ago
Analysis of Internet Multicast Traffic Performance Considering Multicast Routing Protocol
Recently, audio and video delivery services are widely spread in the Internet. In order to deliver these data to multiple receivers at the same time, the multicast technologies ar...
Seiji Ueno, Toshihiko Kato, Kenji Suzuki
INFOCOM
2000
IEEE
15 years 11 months ago
TCP Vegas Revisited
Abstract—The innovative techniques of TCP Vegas have been the subject of much debate in recent years. Several studies have reported that TCP Vegas provides better performance tha...
Urs Hengartner, Jürg Bolliger, Thomas R. Gros...
ISCA
2000
IEEE
111views Hardware» more  ISCA 2000»
15 years 11 months ago
Understanding the backward slices of performance degrading instructions
For many applications, branch mispredictions and cache misses limit a processor’s performance to a level well below its peak instruction throughput. A small fraction of static i...
Craig B. Zilles, Gurindar S. Sohi
KBSE
2000
IEEE
15 years 11 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
NDSS
2000
IEEE
15 years 11 months ago
Secure Virtual Enclaves: Supporting Coalition Use of Distributed Application Technologies
The Secure Virtual Enclaves (SVE) collaboration infrastructure allows multiple organizations to share their distributed application objects, while respecting organizational autono...
Deborah Shands, Richard Yee, Jay Jacobs, E. John S...