Sciweavers

13500 search results - page 145 / 2700
» Improved analysis of D
Sort
View
75
Voted
PASTE
1999
ACM
15 years 5 months ago
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification
Gleb Naumovich, Lori A. Clarke, Jamieson M. Coblei...
70
Voted
APPROX
2006
Springer
72views Algorithms» more  APPROX 2006»
15 years 4 months ago
An Improved Analysis for a Greedy Remote-Clique Algorithm Using Factor-Revealing LPs
Benjamin E. Birnbaum, Kenneth J. Goldman
76
Voted
SIGMETRICS
1998
ACM
115views Hardware» more  SIGMETRICS 1998»
15 years 4 months ago
Improving TCP Throughput over Two-Way Asymmetric Links: Analysis and Solutions
Lampros Kalampoukas, Anujan Varma, K. K. Ramakrish...