4962 search results - page 929 / 993 » Stochastic Model Checking |
ASPLOS
2004
ACM
14 years 1 months ago
2004
ACM
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...
P2P
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we take an availability-centric view on quality of service (QoS) and propose a model and mechanisms for studying the effectiveness of realistic replication schemes ...
SIGMETRICS
2003
ACM
14 years 29 days ago
2003
ACM
It has been observed that the degrees of the topologies of several communication networks follow heavy tailed statistics. What is the impact of such heavy tailed statistics on the...
NOSSDAV
2010
Springer
14 years 15 days ago
2010
Springer
Real-time Transport Protocol (RTP) is a widely adopted standard for transmission of multimedia traffic in Internet telephony (commonly known as VoIP). Therefore, it is a hot poten...
IWDC
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. For time-constrained applications, repair-server-based active local recovery approaches can be valuable in providing low-latency reliable multicast service. However, an a...