Search
Now showing items 51-60 of 939
Matrix Approximation and Projective Clustering via Iterative Sampling
(2005-03-29)
We present two new results for the problem of approximating a given real m by n matrix A by a rank-k matrix D, where k < min{m, n}, so as to minimize ||A-D||_F^2. It is known that bysampling O(k/eps) rows of the matrix, ...
Motion Coordination Using Virtual Nodes
(2005-04-06)
We describe how a virtual node abstraction layer can be used to coordinate the motion of real mobile nodes in a region of 2-space. In particular, we consider how nodes in a mobile ad hoc network can arrange themselves along ...
File Synchronization with Vector Time Pairs
(2005-02-28)
Vector time pairs are a new method for trackingsynchronization metadata. A vector time pairconsists of two vector times: one tracking filemodification history and one tracking filesynchronization history. Because the ...
On Relational Analysis of Algebraic Datatypes
(2005-04-05)
We present a technique that enables the use of finite modelfinding to check the satisfiability of certain formulaswhose intended models are infinite. Such formulas arisewhen using the language of sets and relations to ...
Wait-free Regular Storage from Byzantine Components
(2005-04-05)
We present a simple, efficient, and self-contained construction of a wait-free regular register from Byzantine storage components. Our construction utilizes a novel building block, called 1-regular register, which can be ...
Using Cyclic Memory Allocation to Eliminate Memory Leaks
(2005-10-26)
We present and evaluate a new memory management technique foreliminating memory leaks in programs with dynamic memoryallocation. This technique observes the execution of the program on asequence of training inputsto find ...
Victim Migration: Dynamically Adapting Between Private and Shared CMP Caches
(2005-10-10)
Future CMPs will have more cores and greater onchip cache capacity. The on-chip cache can either be divided into separate private L2 caches for each core, or treated as a large shared L2 cache. Private caches provide low ...
MPEG-2 in a Stream Programming Language
(2005-10-22)
Image and video codecs are prevalent in multimedia applications, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncommon however that developers create ...
Towards Realizing the Performance and Availability Benefits of a Global Overlay Network
(2005-11-01)
Prior analyses of the benefits of routing overlays are based onplatforms consisting of nodes located primarily in North America, onthe academic Internet, and at the edge of the network. This paper isthe first global study ...
Towards the Prevention of Dyslexia
(2005-10-18)
Previous studies have shown that dyslexic individuals who supplement windowed reading practice with intensive small-scale hand-eye coordination tasks exhibit marked improvement in their reading skills. Here we examine ...