3107 search results - page 455 / 622 » Error-Correcting Source Code |
116
click to vote
USENIX
1994
15 years 4 months ago
1994
In this paper, we demonstrate a technique called active probing used to study TCP implementations. Active probing treats a TCP implementation as a black box, and uses a set of pro...
124
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
114
click to vote
MM
2010
ACM
15 years 3 months ago
2010
ACM
VLFeat is an open and portable library of computer vision algorithms. It aims at facilitating fast prototyping and reproducible research for computer vision scientists and student...
148
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
—Cooperative communications leverages the spatial diversity available in a wireless network enabling multiple radio nodes work together to improve the overall system performance....
143
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This article is about a measurement analysis based approach to help software practitioners in managing the additional level complexities and variabilities in software product line...