In this report, three methods of image-to-image registration using control points are evaluated. We assume that ephemeris sensor and platform data are unavailable. These techniques are the polynomial ...
this paper, a modeling approach based on Markovian analysis is used to model several resource (i.e., bandwidth) allocation policies analytically. The policies are evaluated and compared under a wide r...
This paper describes problems in the BSD 4.4-Lite version of TCP (some of which are also present in earlier versions) and proposes fixes that result in a 21% increase in throughput. November 21, 1994 ...
this paper, a modeling approach based on Markovian analysis is used to model several resource (i.e., bandwidth) allocation policies analytically. The policies are evaluated and compared under a wide r...
This paper describes problems in the BSD 4.4-Lite version of TCP (some of which are also present in earlier versions) and proposes fixes that result in a 21% increase in throughput. November 21, 1994 ...
this paper, a modeling approach based on Markovian analysis is used to model several resource (i.e., bandwidth) allocation policies analytically. The policies are evaluated and compared under a wide r...
This paper describes problems in the BSD 4.4-Lite version of TCP (some of which are also present in earlier versions) and proposes fixes that result in a 21% increase in throughput. November 21, 1994 ...
This article focuses on an esoteric but practical use of automated reasoning that may indeed be new to many, especially those concerned primarily with verification of both hardware and software. Speci...