JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Zippel, Richard"
Now showing items 115 of 15

The Data Structure Accelerator Architecture
Zippel, Richard (Cornell University, 199112)We present a fine grained, massively parallel SIMD architecture called the data structure accelerator and demonstrate its use in a number of problems in computational geometry. This architecture is extremely dense and ... 
Decomposition of Algebraic Functions
Kozen, Dexter; Landau, Susan; Zippel, Richard (Cornell University, 199402)Functional decompositionwhether a function $f(x)$ can be written as a composition of functions $g(h(x))$ in a nontrivial wayis an important primitive in symbolic computation systems. The problem of univariate ... 
An Explicit Separation of Relativised Random and Polynomial Time and Relativised Deterministic Polynomial Time
Zippel, Richard (Cornell University, 198902)Inthis note, we demonstrate that a certain class of naturally occuring problems involving an oracle are solvable in random polynomial time, but not in deterministic polynomial time. This class of problems is especially ... 
Generating Spectral Method Solvers for Partial Differential Equations
Berkooz, Gal; Chew, L. Paul; Cremer, James F.; Palmer, Richard S.; Zippel, Richard (Cornell University, 199210)A major cost in scientific computing is the creation of software that performs the numerical computations. This paper presents preliminary results on research to build a framework for automating the construction of ... 
Implementing File Systems and Object Databases in a Microstorage Architecture
Dean, Dawson; Zippel, Richard (Cornell University, 199310)A microstorage architecture consists of a microstorage kernel and several storage servers. Each storage server implements a storage model that defines a client's view of all the data in the system, how it is stored, ... 
Interpolating Polynomials from Their Values
Zippel, Richard (Cornell University, 198901)A fundamental technique used by many algorithms in computer algebra is interpolating polynomials from their values. This paper discusses two algorithms for solving this problem for sparse multivariate polynomials, an ... 
A New Modular Interpolation Algorithm for Factoring Multivariate Polynomials
Rubinfeld, Ronitt; Zippel, Richard (Cornell University, 199301)In this paper, we present a technique that uses a new interpolation scheme to reconstruct a multivariate polynomial factorization from a number of univariate factorizations. Whereas other interpolation algorithms for ... 
On Two Different Notions of Type
Zippel, Richard (Cornell University, 199001)No abstract is available. 
Proving PolynomialTime for SphereConstrained Quadratic Programming
Vavasis, Stephen A.; Zippel, Richard (Cornell University, 199012)Recently Ye and Karmarkar have proposed similar algorithms for minimizing a nonconvex quadratic function on a sphere. These algorithms are based on trustregion work going back to Levenberg and Marquardt. Although both ... 
Rational Function Decomposition
Zippel, Richard (Cornell University, 199105)This paper presents a polynomial time algorithm for determining whether a given univariate rational function over an arbitrary field is the composition of two rational functions over that field, and finds them if so. 
Set Reconciliation with Nearly Optimal Communication Complexity
Minsky, Yaron; Trachtenberg, Ari; Zippel, Richard (Cornell University, 20000927)We consider the problem of efficiently reconciling two similar sets held by different hosts while minimizing the communication complexity. This type of problem arises naturally from gossip protocols used for the distribution ... 
Set Reconciliation with Nearly Optimal Communication Complexity
Minsky, Yaron; Trachtenberg, Ari; Zippel, Richard (Cornell University, 20000428)We consider a fundamental problem that arises in the context of gossip protocols. Specifically, we consider the problem of efficiently reconciling two similar sets held by different hosts while minimizing the ... 
Symoblic/Numeric Techniques in Modeling and Simulation
Zippel, Richard (Cornell University, 199106)Modeling and simulating collections of physical objects which are subject to a wide variety of physical forces and interactions is exceedingly difficult. The construction of a single simulator capable of dealing with all ... 
Systems Research in the Age of OnLine Coffee Houses
Zippel, Richard (Cornell University, 199404)For years, we have spoken of a golden era where high performance "supercomputers" will be available in local department stores and we will be able to communicate with anyone and any organization we want via computer ... 
The Weyl Computer Algebra Substrate
Zippel, Richard (Cornell University, 199001)No abstract is available.