Sciweavers

489 search results - page 82 / 98
» An Extensible Framework for Distributed Testing of MPI Imple...
Sort
View
JMM2
2006
140views more  JMM2 2006»
13 years 8 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
13 years 6 months 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...
IWQOS
2011
Springer
12 years 11 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
13 years 6 months 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...
DAC
2007
ACM
14 years 9 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