Search
Now showing items 31-40 of 950
Nonlinear Array Dependence Analysis
(1998-10-15)
Standard array data dependence techniques can only reason about linear
constraints. There has also been work on analyzing some dependences
involving polynomial constraints. Analyzing array data dependences in
real-world ...
Improved Approximation Algorthmsor Uniform Connectivity Problems
(1998-10-15)
The problem of finding minimum weight spanning subgraphs with a given
connectivity requirement is considered. The problem is NP-hard when the
connectivity requirement is greater than one. Polynomial time
approximation ...
The Hierarchical Timing Pair Model for Synchronous Dataflow Systems
(2000-11-16)
We consider the problem of representing timing information associated
with functions in a dataflow graph. This information is used for
behavioral synthesis of appropriate architectures for implementing the
graph. ...
Support for Speculative Update Propagation and Mobility in Deno
(2000-07-11)
This paper presents the transactional framework of Deno, an object
replication system specifically designed for use in mobile and
weakly-connected environments. Deno uses weighted voting for availability
and pair-wise, ...
Multiple Scattering from $N$ Spheres Using Multipole Reexpansion
(2001-10-10)
A semi-analytical technique for the solution of problems of wave scattering
from multiple spheres is developed. This technique extensively uses the
theory for the translation and rotation of Helmholtz multipoles that ...
Nuun: A System for Developing Platform and Browser independent Arabic Web Applications
(2001-09-05)
For a human language to reach its full potential in cyberspace, platform
and browser independent support for data entry and display are required.
Arabic web applications are far from this state of ubiquitous support.
Full ...
Optimizing SMT Processors for High Single-Thread Performance
(2003-02-05)
Simultaneous Multithreading (SMT) processors achieve high processor
throughput at the expense of single-thread performance. This paper
investigates resource allocation policies for SMT processors that
preserve, as much ...
Communication and Matrix Computations on Large Message Passing Systems
(1998-10-15)
This paper is concerned with the consequences for matrix computations
of having a rather large number of general purpose processors, say
ten or twenty thousand, connected in a network in such a way that a
processor can ...
How Young Can Our Design Partners Be?
(2002-09-18)
For this work-in-progress presentation, we report on our experiences working
with young children as technology design partners. Our team from the
Human-Computer Interaction Lab has extensive participatory design ...
Automatic Deployment of Application-Specific Metadata and Code in MOCHA
(1999-12-10)
Database middleware systems require the deployment of application-specific
data types and query operators to the servers and clients in the system.
Existing middleware solutions rely on developers and system
administrators ...