Sciweavers

489 search results - page 82 / 98
» An Extensible Framework for Distributed Testing of MPI Imple...
Sort
View
136
Voted
JMM2
2006
140views more  JMM2 2006»
15 years 2 months ago
A Cost-Effective Peer-to-Peer Architecture for Large-Scale On-Demand Media Streaming
This paper presents a cost-effective peer-to-peer (P2P) architecture for large-scale on-demand media streaming, named BitVampire. BitVampire's primary design goal is to aggreg...
Xin Liu, Son T. Vuong
FAST
2009
15 years 9 days ago
CA-NFS: A Congestion-Aware Network File System
We develop a holistic framework for adaptively scheduling asynchronous requests in distributed file systems. The system is holistic in that it manages all resources, including net...
Alexandros Batsakis, Randal C. Burns, Arkady Kanev...
169
Voted
IWQOS
2011
Springer
14 years 5 months ago
Advanced Quality-of-Service signaling for IP multicast
—Supporting Quality-of-Service resource reservations for IP multicast flows is especially advantageous for distributed multimedia applications like video conferencing, 3D teleim...
Roland Bless, Martin Röhricht
FORTE
2009
15 years 9 days ago
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
Luciano Baresi, Domenico Bianculli, Sam Guinea, Pa...
122
Voted
DAC
2007
ACM
16 years 3 months ago
Automatic Verification of External Interrupt Behaviors for Microprocessor Design
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang