Sciweavers

499 search results - page 87 / 100
» Compositional Systems over Reducible Networks
Sort
View
ICAS
2005
IEEE
85views Robotics» more  ICAS 2005»
15 years 5 months ago
Supporting Consistency Management in Dynamic Content Distribution Overlays
Content Distribution Overlays improves end-user performance by replicating Web contents on a group of geographically distributed sites interconnected over the Internet. However, w...
Zhou Su, Jiro Katto, Yasuhiko Yasuda
ANSS
2004
IEEE
15 years 3 months ago
Markov Model Based Congestion Control for TCP
The Random Early Detection (RED) scheme for congestion control in TCP is well known over a decade. Due to a number of control parameters in RED, it cannot make acceptable packet-d...
Shan Suthaharan
DSN
2004
IEEE
15 years 3 months ago
Model Checking Action- and State-Labelled Markov Chains
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
Christel Baier, Lucia Cloth, Boudewijn R. Haverkor...
89
Voted
DAC
1996
ACM
15 years 3 months ago
Optimal Clock Skew Scheduling Tolerant to Process Variations
1- A methodology is presented in this paper for determining an optimal set of clock path delays for designing high performance VLSI/ULSI-based clock distribution networks. This met...
José Luis Neves, Eby G. Friedman
ICDCSW
2005
IEEE
15 years 5 months ago
Probability Based Power Aware Error Resilient Coding
Error resilient encoding in video communication is becoming increasingly important due to data transmission over unreliable channels. In this paper, we propose a new power-aware e...
Minyoung Kim, Hyunok Oh, Nikil D. Dutt, Alexandru ...