Sciweavers

1840 search results - page 277 / 368
» On the capacity of the precision-resolution system
Sort
View
HICSS
2003
IEEE
116views Biometrics» more  HICSS 2003»
14 years 2 months ago
On Optimization of Reliability of Distributed Generation-Enhanced Feeders
Placement of protection devices in a conventional feeder (without distributed generation) is often performed so as to minimize traditional reliability indices (SAIDI, SAIFI, MAIFI...
Aleksandar Pregelj, Miroslav Begovic, Ajeet Rohatg...
INFOCOM
2003
IEEE
14 years 2 months ago
A Unifying Passivity Framework for Network Flow Control
—Network flow control regulates the traffic between sources and links based on congestion, and plays a critical role in ensuring satisfactory performance. In recent studies, glob...
John T. Wen, Murat Arcak
MEMOCODE
2003
IEEE
14 years 2 months ago
Methods for exploiting SAT solvers in unbounded model checking
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
Kenneth L. McMillan
IPTPS
2003
Springer
14 years 2 months ago
SOMO: Self-Organized Metadata Overlay for Resource Management in P2P DHT
– In this paper, we first describe the concept of data overlay, which is a mechanism to implement arbitrary data structure on top of any structured P2P DHT. With this ion, we dev...
Zheng Zhang, Shuming Shi, Jing Zhu
AICT
2009
IEEE
130views Communications» more  AICT 2009»
14 years 1 months ago
Modelling an Isolated Compound TCP Connection
—Compound TCP (CTCP) was designed by Tan at al. to improve the efficiency of TCP on high speed networks without unfairly penalizing other connections. In this work we analyze an...
Alberto Blanc, Denis Collange, Konstantin Avrachen...