Sciweavers

11182 search results - page 1923 / 2237
» Shape Analysis of Sets
Sort
View
TJS
2002
144views more  TJS 2002»
15 years 7 months ago
TCP Performance and Behaviors with Local Retransmissions
TCP has been the dominant transport protocol over the global Internet, and its performance over a hybrid wireless/wireline network has attracted much attention in recent years. Thi...
Jianping Pan, Jon W. Mark, Sherman X. Shen
229
Voted
TVLSI
2002
130views more  TVLSI 2002»
15 years 7 months ago
Incremental compilation for parallel logic verification systems
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
R. Tessier, S. Jana
VLDB
2002
ACM
122views Database» more  VLDB 2002»
15 years 7 months ago
Lightweight Flexible Isolation for Language-based Extensible Systems
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
Laurent Daynès, Grzegorz Czajkowski
198
Voted
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 7 months ago
Mathematical Modeling of Competition in Sponsored Search Market
Sponsored search mechanisms have drawn much attention from both academic community and industry in recent years since the seminal papers of [3] and [4]. However, most of the exist...
Jian Liu, Dah Ming Chiu
158
Voted
CORR
2008
Springer
131views Education» more  CORR 2008»
15 years 7 months ago
Towards a More Accurate Carrier Sensing Model for CSMA Wireless Networks
Abstract--In the majority of studies on CSMA wireless networks, a contention graph is used to model the carrier sensing relationships among links. This is a 0-1 model in which two ...
Caihong Kai, Soung Chang Liew
« Prev « First page 1923 / 2237 Last » Next »