This paper proposes a novel adaptive algorithm based on a new soft-regulator (σ, ρ, λ) for concurrent multimedia flows at end hosts. Our algorithm has the following features: ...
— This paper describes a test-bed for planar micro manipulation tasks and a framework for planning based on quasistatic models of mechanical systems with frictional contacts. We ...
David J. Cappelleri, Jonathan Fink, Barry Munkunda...
—We characterize the metastability measurement system [8] in which asynchronous data input and sampling clock frequencies trigger metastability. We develop the equation describin...
Subsampling is a commonly used technique for modern image and video compression. Existing image and video standards such as JPEG, MPEG, and H.264 provide support for uniform chrom...
We present a complete method for synthesizing lexicographic linear ranking functions supported by inductive linear invariants for loops with linear guards and transitions. Proving ...