Sciweavers

6059 search results - page 54 / 1212
» A Technique for Verifying Measurements
Sort
View
ICNP
1998
IEEE
15 years 2 months ago
A Proof Technique for Liveness Properties of Multifunction Composite Protocols
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
J. Park, R. Miller
DAC
2002
ACM
15 years 11 months ago
Dynamic and leakage power reduction in MTCMOS circuits using an automated efficient gate clustering technique
Reducing power dissipation is one of the most principle subjects in VLSI design today. Scaling causes subthreshold leakage currents to become a large component of total power diss...
Mohab Anis, Mohamed Mahmoud, Mohamed I. Elmasry, S...
INFOCOM
1999
IEEE
15 years 2 months ago
Cache-Based Compaction: A New Technique for Optimizing Web Transfer
In this paper, we propose and study a new technique, which we call cache-based compaction for reducing the latency of Web browsing over a slow link. Our compaction technique trades...
Mun Choon Chan, Thomas Y. C. Woo
MTA
2006
93views more  MTA 2006»
14 years 10 months ago
A multi-threshold online smoothing technique for variable rate multimedia streams
Variable bit rate (VBR) compression for media streams allocates more bits to complex scenes and fewer bits to simple scenes. This results in a higher and more uniform visual and au...
Roger Zimmermann, Cyrus Shahabi, Kun Fu, Mehrdad J...
METMBS
2004
140views Mathematics» more  METMBS 2004»
14 years 11 months ago
New Techniques for Generation and Analysis of Evolutionary Trees
We introduce new distance measures for the construction and analysis of phylogenies, focusing on thioredoxin-fold proteins. Our distance measures for tree construction are based o...
Chang Wang, Stephen D. Scott, Qingping Tao, Dmitri...