|
||||||||||||||||||
|
|
|
|
|
Technical Reports TR2011-946 Clark R. Dohrmann and Olof B. Widlund, An Alternative Coarse Space for Irregular Subdomains and an Overlapping Schwarz Algorithm, November 2011. TR2011-945 Robert Soulé, Martin Hirzel, Bugra Gedik, and Robert Grimm, From a Calculus to an Execution Environment for Stream Processing, November 2011. TR2011-944 Uri Klein, Nir Piterman, and Amir Pnueli, Effective Synthesis of Asynchronous Systems from GR(1) Specifications, December 2011. TR2011-943 Eric T. Chung, Hyea Hyun Kim, and Olof B. Widlund, Two-Level Overlapping Schwarz Algorithms for a Staggered Discontinuous Galerkin method, September 2011. TR2011-942 Duk-Soon Oh, Domain Decomposition Methods for Raviart-Thomas Vector Fields, September 2011. TR2011-940 Dejan Jovanovic and Clark Barrett, Sharing is Caring:
Combination of Theories. TR2011-939 Paul Gazzillo and Robert Grimm, Parsing All of C by Taming the Preprocessor, July 2011. TR2011-938 Uri Klein and Kedar S. Namjoshi, Formalization and Automated Verification of RESTful Behavior, May 2011. TR2011-937 Jong Ho Lee, Domain Decomposition Methods for Reissner-Mindlin Plates
Discretized with the Falk-Tu Elements, February 2011. TR2010-936 CLARK R. DOHRMANN AND OLOF B. WIDLUND, AN ITERATIVE SUBSTRUCTURING ALGORITHM
FOR TWO-DIMENSIONAL PROBLEMS IN H(CURL), December 2010. TR2010-935 Matthew D. Zeiler and Rob Fergus, Learning Image Decompositions with Hierarchical Sparse Coding, December 2010. TR2010-934 Martin Raphan and Eero P. Simoncelli, An Empirical Bayesian interpretation and generalization of NL-means, October 2010. TR2010-933 DUK-SOON OH, AN OVERLAPPING SCHWARZ ALGORITHM FOR RAVIART-THOMAS VECTOR FIELDS WITH DISCONTINUOUS COEFFICIENTS, September 2010. TR2010-932 Jong Ho Lee, An overlapping domain decomposition method for the Reissner-Mindlin Plate with the Falk-Tu Elements, September 2010. TR2010-931 Clark Barrett, Morgan Deters, Albert Oliveras,and Aaron Stump, Design and Results of the 4th Annual Satisfiability Modulo Theories Competition (SMT-COMP 2008),
July 2010. TR2010-930 Richard Cole, Vasilis Gkatzelis, and Vahab Mirrokni ,
Coordination Mechanisms for Weighted Sum of Completion Times,
May 2010. TR2010-929 Daniel Galron, Information Extraction on High-School Level Chemistry Labs, May 2010. TR2010-928 Luca F. Pavarino, Olof B. Widlund, and Stefano Zampini ,
BDDC preconditioners for spectral element discretizations of
almost incompressible elasticity in three dimensions, April 2010. TR2010-926 Samantha Kleinberg and Bud Mishra ,
The Temporal Logic of Token Causes, February 2010. TR2010-924 Robert Soulé, Martin Hirzel, Robert Grimm, Buğra Gedik,
Henrique Andrade, Vibhore Kumar, and Kun-Lung Wu,
A Universal Calculus for Stream Processing Languages,
January 2010. TR2010-922 Dejan Jovanovic and Clark Barrett,
Polite Theories Revisited,
January 2010. TR2009-925 Jungho Lee ,
A Hybrid Domain Decomposition Method and its Applications to Contact Problems,
September 2009. TR2009-923 Martin Raphan, Eero P. Simoncelli ,
Learning least squares estimators without assumed priors or supervision,
August 2009. TR2009-920 Shravan K. Veerapaneni, Denis Gueyerer, George Biros, Denis Zorin,
A numerical method for simulating the dynamics of 3D
axisymmetric vesicles suspended in viscous flows,
May 2009. TR2008-919 Clark R. Dohrmann, Olof B. Widlund,
Hybrid Domain Decomposition Algorithms for
Compressible and Almost Incompressible Elasticity,
January 2009. TR2008-915 George Williams, Christoph Bregler, Peggy Hackney, Sally Rosenthal, Ian McDowall, Kirill Smolskiy,
Body Signature Recognition,
May 2009. TR2008-914 Alan Leong ,
Extension of Two-level Schwarz Preconditioners to Symmetric
Indefinite Problems ,
Sept 2008. TR2008-913 Vera Cherepinsky, Ghazala Hashmi, Michael Seul, and Bud Mishra ,
Competitive Hybridization Model ,
Oct 2008. TR2008-912 Clark R. Dohrmann and Olof B. Widlund ,
An Overlapping Schwarz Algorithm for Almost Incompressible Elasticity ,
May 2008. TR2008-911 Siwei Lyu and Eero P. Simoncelli ,
Nonlinear extraction of 'Independent Components' of elliptically symmetric densities using radial Gaussianization ,
April 2008. TR2008-910 Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi and Clark Barrett ,
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors ,
March 2008. TR2007-908 Cyril Allauzen, Mehryar Mohri and Ashish Rastogi ,
General Algorithms for Testing the Ambiguity of Finite Automata ,
Feb 2008. TR2007-907 Samantha Kleinberg, Marco Antoniotti, Naren Ramakrishnan and Bud Mishra ,
Modal Logic, Temporal Models and Neural Circuits: What Connects Them ,
Feb 2008. TR2007-906 Sumit Chopra, Trivikaraman Thampy, John Leahy, Andrew Caplin, Yann LeCun ,
Factor Graphs for Relational Regression ,
Jan 2008. TR2007-905 Robert Grimm ,
Declarative Syntax Tree Engineering* Or, One Grammar to Rule Them All ,
Nov 2007. TR2007-904 Robert Grimm, Laune Harris and Anh Le ,
Typical: Taking the Tedium Out of Typing ,
Nov 2007. TR2007-903 Nir Ailon and Mehryar Mohri ,
An Efficient Reduction of Ranking to Classification ,
Sept 2007. TR2007-902 Cyril Allauzen and Mehryar Mohri ,
N-Way Composition of Weighted Finite-State Transducers ,
Aug 2007. TR2007-901 Dennis Shasha and Martyn Amos ,
DNA Hash Pooling and its Applications ,
May 2007. TR2007-900 Martin Raphan and Eero P. Simoncelli ,
Empirical Bayes least squares estimation without an explicit prior ,
May 2007. TR2007-889 Axel Klawonn, Oliver Rheinbach, and Olof B. Widlund ,
An analysis of a FETI--DP algorithm on irregular subdomains in the plane ,
April 2007. TR2007-888 Clark R. Dohrmann, Axel Klawonn, and Olof B. Widlund ,
Domain Decomposition for Less Regular Subdomains: Overlapping Schwarz in Two Dimensions ,
March 2007. TR2007-887 Corinna Cortes, Mehryar Mohri, and Ashish Rastogi,
Magnitude-Preserving Ranking Algorithms ,
March 2007. TR2007-886 Corinna Cortes, Mehryar Mohri, Ashish Rastogi, and Michael Riley ,
On the Computation of the Relative Entropy of Probabilistic Automata,
January 2007. TR2006-885 Ittai Balaban, Amir Pnueli, and Lenore Zuck ,
Shape Analysis of Single-Parent Heaps ,
November 2006. TR2006-884 Ittai Balaban, Amir Pnueli, and Lenore Zuck ,
Invisible Safety of Distributed Protocols ,
November 2006. TR2006-883 Corinna Cortes and Mehryar Mohri ,
On Transductive Regression ,
November 2006. TR2006-882 Hyea Hyun Kim ,
A FETI-DP algorithm for elasticity problems with mortar discretization on geometrically non-conforming partitions,
June 2006. TR2006-881 Amir Pnueli and Aleksandr Zaks ,
PSL Model Checking and Run-time Verification via Testers,
May 2006. TR2006-880 Cyril Allauzen and Mehryar Mohri ,
A Unified Construction of the Glushkov, Follow, and Antimirov Automata,
April 2006. TR2005-879 Xuemin Tu ,
BDDC Domain Decomposition Algorithms: Methods with Three Levels and for Flow in Porous Media ,
December 2005. TR2005-878 Clark Barrett, Igor Shikanian, and Cesare Tinelli ,
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types ,
November 2005. TR2005-877 Congchun He and Vijay Karamcheti ,
Oriented Overlays For Clustering Client Requests To Data-Centric Network Services ,
November 2005. TR2005-876 Dennis Shasha and Xin Zhang ,
Better Burst Detection ,
November 2005. TR2005-875 David K. Hammond and Eero P. Simoncelli ,
Nonlinear Image Representation via Local Multiscale Orientation ,
October 2005. TR2005-874 Cynthia Rudin ,
Ranking with a P-norm Push ,
September 2005. TR2005-873 Hyea Hyun Kim, Maksymilian Dryja, and Olof B. Widlund ,
A BDDC algorithm for problems with mortar discretization ,
September 2005. TR2005-872 Evgueni Parilov, Ilya Rosenberg and Denis Zorin ,
Real-time rendering of normal maps with discontinuities ,
August 2005. TR2005-871 Jing Li and Olof B. Widlund ,
On the Use of Inexact Subdomain Solvers for BDDC Algorithms ,
July 2005. TR2005-870 Hyea Hyun Kim and Olof B. Widlund,
Two-Level Schwarz Algorithms, Using Overlapping Subregions, for Mortar Finite Element Methods ,
July 2005. TR2005-869 Christoph Bregler, Clothilde Castiglia, Jessica DeVincenzo, Roger Luke DuBois, Kevin Feeley, Tom Igoe, Jonathan Meyer, Michael Naimark, Alexandru Postelnicu, Michael Rabinovich, Sally Rosenthal, Katie Salen, Jeremi Sudol and Bo Wright ,
Squidball: An Experiment in Large-Scale Motion Capture and Game Design ,
June 2005. TR2005-868 Alexander Totok and Vijay Karamcheti ,
Modeling Of Concurrent Web Sessions With Bounded Inconsistency In Shared Data ,
June 2005. TR2005-867 Anatoly Akkerman, Alexander Totok, and Vijay Karamcheti ,
Infrastructure for Automatic Dynamic Deployment of J2EE Applications in Distributed Environments ,
June 2005. TR2005-866 Congchun He and Vijay Karamcheti ,
An Analysis of Usage Locality for Data-Centric Web Services ,
June 2005. TR2005-865 Xuemin Tu ,
A BDDC algorithm for flow in porous media with a hybrid finite element discretization ,
May 2005. TR2005-864 Xuemin Tu ,
A BDDC Algorithm for Mixed Formulation of Flow in Porous Media ,
May 2005. TR2005-863 Hyea Hyun Kim ,
A FETI-DP formulation of three dimensional elasticity problems with mortar discretization ,
April 2005. TR2005-862 Xuemin Tu ,
Three-Level BDDC in Three Dimensions ,
April 2005. TR2005-861 Jing Li and Olof B. Widlund ,
BDDC Algorithms for Incompressible Stokes Equations ,
April 2005. TR2005-860 Maksymilian Dryja and Xuemin Tu,
A Domain Decomposition Discretization of Parabolic Problems ,
April 2005. TR2005-859 C. Piazza, M. Antoniotto, V. Mysore, A. Policriti, F. Winkler, B. Mishra ,
Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis ,
February 2005. TR2005-858Marco Antoniotti, Naren Ramakrishnan, Deept Kumar, Marina Spivak and Bud Mishra ,
Remembrance of Experiments Past: Analyzing Time Course Datasets to Discover Complex Temporal Invariants ,
February 2005. TR2004-857 Jing Li and Olof B. Widlund,
FETI--DP, BDDC, and Block Cholesky Methods ,
January 2005. TR2004-856 Xuemin Tu,
Three-level BDDC in Two Dimensions ,
November 2004. TR2004-855 Axel Klawonn and Olof B. Widlund,
Dual-Primal FETI Methods for Linear Elasticity ,
September 2004. TR2004-854 Robert Grimm ,
Practical Packrat Parsing ,
March 2004. TR2004-853 Marco Antoniotti, Ian T. Lau, and Bud Mishra ,
Naturally Speaking: A Systems Biology Tool with Natural Language Interfaces ,
June 2004. TR2004-852 Thomas Anantharaman, Venkatesh Mysore, and Bud Mishra ,
Fast and Cheap Genome wide Haplotype Construction via Optical Mapping ,
June 2004. TR2004-851 Tatiana Kichkaylo, Anca Ivan, and Vijay Karamcheti ,
Sekitei: An AI planner for Constrained Component Deployment in Wide-Area Networks ,
March 2004. TR2004-850 Alan Stocker ,
Optical flow estimation as distributed optimization problem - an aVLSI implementation ,
January 2004. TR2003-849 Eric Freudenthal and Allan Gottlieb ,
Comparing the Performance of Centralized and Distributed Coordination on Systems with Improved Combining Switches ,
November 2003. TR2003-848 Eric Freudenthal and Vijay Karamcheti ,
QTM: Trust Management with Quantified Stochastic Attributes ,
September 2003. TR2003-847 Paulo Goldfeld ,
Balancing Neumann-Neumann Preconditioners for the Mixed Formulation of Almost-Incompressible Linear Elasticity ,
September 2003. TR2003-846 Ziyang Wang ,
Improved Link-Based Algorithms for Ranking Web Pages ,
June 2003. TR2003-845 Vera Cherepinsky, Jiawu Feng, Marc Rejali, and Bud Mishra ,
Shrinkage-Based Similarity Metric for Cluster Analysis of Microarray Data ,
July 2003. TR2003-843 Xiaodong Fu and Vijay Karamcheti ,
Why Path-Based Adaptation? Performance Implications of Different Adaptation Mechanisms for Network Content Delivery ,
July 2003. TR2003-842 Xin Yu and Zvi M. Kedem ,
A Distributed Adaptive Cache Update Algorithm for Dynamic Source Routing ,
July 2003. TR2003-841 Jinyuan Li, Maxwell Krohn, David Mazieres, and Dennis Shasha ,
Secure Untrusted Data Repository (SUNDR) ,
June 2003. TR2003-840 Lorenzo Torresani, Aaron Hertzmann, and Christoph Bregler ,
Robust Model-Free Tracking of Non-Rigid Shape ,
June 2003. TR2003-839 George Biros, Lexing Ying, and Denis Zorin ,
A kernel-independent fast multipole algorithm ,
April 2003. TR2003-838 George Biros, Lexing Ying, and Denis Zorin ,
An Embedded Boundary Integral Solver for the Unsteady Incompressible Navier-Stokes Equations,
November 2002. TR2003-837 George Biros, Lexing Ying, and Denis Zorin ,
An Embedded Boundary Integral Solver for the Stokes Equations,
June 2002. TR2003-836 Alberto Lerner and Dennis Shasha ,
AQuery: Query Language for Ordered Data, Optimization Techniques, and Experiments ,
March 2003. TR2003-835 Hung-Hsien Chang ,
Survey: Eigenvector Analysis in Webpage Rankings ,
March 2003. TR2002-834 Bernhard Hientzsch ,
Overlapping Schwarz Preconditioners for Spectral Nedelec Elements for a Model Problem in H(curl) ,
November 2002. TR2002-833 Petar Maymounkov ,
Online Codes ,
November 2002. TR2002-832 Deni Llambiri, Alexander Totok, and Vijay Karamcheti ,
Efficiently Distributing Component-based Applications Across Wide-Area Environments ,
October 2002. TR2002-831 Javier Portilla, Vasily Strela, Martin J. Wainwright, and Eero P. Simoncelli ,
Image Denoising using a Gaussian Scale Mixture in the Wavelet Domain ,
September 2002. TR2002-830 Jing Li ,
Dual-Primal FETI Methods for Stationary Stokes and Navier-Stokes Equations ,
September 2002. TR2002-829 Weisong Shi, Randy Wright, Eli Collins, and Vijay Karamcheti,
Workload Characterization of a Personalized Web Site - And Its Implications for Dynamic Content Caching,
May 2002. TR2002-828 Jing Li,
Dual-Primal FETI Methods for Incompressible Stokes and Linearized Navier-Stokes Equations,
June 2002. TR2002-827 Yunyue Zhu and Dennis Shasha,
StatStream: Statistical Monitoring of Thousands of Data Streams in Real Time,
August 2002. TR2002-826 David Mazieres and Dennis Shasha,
Building Secure File Systems Out of Byzantine Storage,
May 2002. TR2002-825 Paulo Goldfeld, Luca F. Pavarino, and Olof B. Widlund,
Balancing Neumann-Neumann Preconditioners for Mixed Approximations of Heterogeneous Problems in Linear Elasticity,
April 2002. TR2002-824 Xiaodong Fu, Vijay Karamcheti,
Adaptive Service Access in Shared Wireless Environments,
March 2002. TR2001-823 Bernhard Hientzsch,
Fast Solvers and Domain Decomposition Preconditioners for Spectral Element Discretizations of Problems in H(curl),
Dec 2001. TR2001-822 Weisong Shi, Eli Collins, and Vijay Karamcheti,
Modeling Object Characteristics of Dynamic Web Content,
Nov 2001. TR2001-821 Eric Freudenthal, Lawrence Port, Edward Keenan, Tracy Pesin, Vijay Karamcheti,
Credentialed Secure Communication "Switchboards" ,
Nov 2001. TR2001-820 Eric Freudenthal, Edward Keenan, Tracy Pesin, Lawrence Port, Vijay Karamcheti ,
DisCo: A Distribution Infrastructure for Securely Deploying Decomposable Services in Partly Trusted Environments ,
Nov 2001. TR2001-819 Eric Freudenthal, Tracy Pesin, Lawrence Port, Edward Keenan, Vijay Karamcheti,
dRBAC: Distributed Role-based Access Control for Dynamic Environments,
Nov 2001. TR2001-818 Tao Zhao, Vijay Karamcheti,
Enforcing Resource Sharing Agreements among Distributed Server Cluster ,
Oct 2001. TR2001-817 Jung-Han Kimn,
Overlapping Schwarz Algorithms using Discontinuous Iterates for Poisson's Equation,
May 2001. TR2001-816 Jing Li,
A Dual-Primal FETI Method for Incompressible Stokes Equations,
Jul 2001. TR2001-815 Axel Klawonn, Olof Widlund, Widlund, Maksymilian Dryja,
Dual-Primal FETI Methods for Three-dimensional Elliptic Problems
with Heterogeneous Coefficients,
Apr 2001. TR2001-814 Xiadong Fu, Weisong Shi, Vijay Karamacheti,
Title: Automatic Deployment of Transcoding Components for
Ubiquitous, Network-Aware Access to Internet Services,
Mar 2001. TR2001-813 Luca Pavarino, Olof Widlund,
Title: Balancing Neumann-Neumann Methods for
Incompressible Stokes Equations,
Mar 2001. TR2000-811 Marco Antoniotti, Thomas Anantharaman, Salvatore Paxia, Bud
Mishra,
Title: Genomics via Optical Mapping IV: Sequence
Validation via Optical Map Matching,
Mar 2001. TR2000-810 Caroline Lasser, Andrea Toselli,
Title: An Overlapping Domain Decomposition Preconditioner for a
Class of Discontinuous Galerkin Approximations of Advection-Diffusion
Problems,
Nov. 2000. TR2000-809 Ernest Davis,
Title: Describing Spatial Transitions Using Mereotopological
Relations Over Histories ,
Oct. 2000. TR2000-808 Xiaodong Fu, Weisong Shi, Anatoly Akkerman and Vijay
Karamcheti,
CANS: Composable, Adaptive Network Services Infrastructure
,
Oct. 2000. TR2000-807 Dan Stefanica,
A Numerical Study of FETI Algorithms for Mortar Finite Element Methods,
Sept. 2000. TR2000-806 Andrea Toselli,
hp-finite element approximations on non-matching grids for partial
differential equations with non-negative characteristic form,
Sept. 2000. TR2000-805 Tao Zhao, Vijay Karamcheti ,
Expressing and Enforcing Distributed Resource Sharing Agreements ,
Jul. 2000. TR2000-804 Dan Stefanica ,
Domain Decomposition Methods for Mortar Finite Elements ,
Jul. 2000. TR2000-803 Ekkart Kindler, Dennis Shasha ,
Verifying a Design Pattern for the Fault-Tolerant Execution of Parallel Programs ,
Jun. 2000. TR2000-802 Ernest Davis ,
Continuous Shape Transformation and Metrics on Shapes ,
Apr. 2000. TR2000-801 Aaron Hertzmann ,
Paint By Relaxation ,
May. 2000. TR2000-800 A. Toselli ,
FETI domain decomposition methods for scalar advection-diffusion problems ,
Mar. 2000. TR2000-799 Michael Overton, James V. Burke ,
Variational Analysis of the Abscissa Mapping for Polynomials ,
Mar. 2000. TR2000-798 Ninghui Li,
Local Names in SPKI/SDSI 2.0 ,
Feb. 2000. TR2000-797 F. Rapetti, A. Toselli ,
A Feti preconditioner for two dimensional edge element approximations of Maxwell's equations on non-matching grids ,
Jan. 2000. TR1999-796 A. Klawonn, O. Widlund ,
FETI and Neumann--Neumann Iterative Substructuring Methods: Connections and New Results ,
Dec. 1999. TR1999-795 F. Chang, A. Itzkovitz, V. Karamcheti ,
Secure, User-level Resource-constrained Sandboxing ,
Dec. 1999. TR1999-794 F. Xiadong, H. Wang and V. Karamcheti ,
Transparent Network Connectivity in Dynamic Cluster Environments ,
Nov. 1999. TR1999-793 F. Chang, and V. Karamcheti ,
Automatic Configuration and Run-time Adaptation of Distributed Applications ,
Nov. 1999. TR1999-792 R. Cole, K. Ost and S. Schirra ,
Edge-Coloring Bipartite Multigraphs in $0(E\log D)$ Time ,
Sept. 1999. TR1999-791 J. V. Burke, A. S. Lewis and M. L. Overton ,
Optimizing Matrix Stability ,
Sept. 1999. TR1999-790 J. V. Burke and M. L. Overton ,
Variational Analysis of Non-Lipschitz Spectral Functions ,
Sept. 1999. TR1999-789 R. Cole and R. Hariharan ,
Randomized Swap Matching in $O(m \log m \log |\Sigma| )$ time ,
Sept. 1999. TR1999-788 A. Toselli and A. Klawonn ,
A FETI Domain Decomposition Method for Maxwell's Equations
with Discontinuous Coefficients in Two Dimensions ,
Sept. 1999. TR1999-787 C. Bregler, A. Hertzmann and H. Biermann ,
Recovering Non-Rigid 3D Shape from Image Streams ,
June 1999. TR1999-786 A. Toselli ,
Neumann-Neumann Methods for Vector Field Problems ,
June 1999. TR1999-785 A. Toselli ,
Domain Decomposition Methods for Vector Field Problems ,
May 1999. TR1999-784 H. Biermann, A. Hertzmann, J. Meyer and K. Perlin ,
Stateless Remote Environment Navigation with View Compression ,
Apr. 1999. TR1999-783 A. Hertzmann ,
Interactive 3D Scene Reconstruction from Images ,
Apr. 1999. TR1999-782 N. Schwartz ,
Sparse Constant Propagation via Memory Classification Analysis ,
Feb. 1999. TR1999-781 H. Biermann, A. Levin and D. Zorin ,
Piecewise Smooth Subdivision Surfaces with Normal Control ,
Feb. 1999. TR1999-780 A. Klawonn and O. B. Widlund ,
A Domain Decomposition Method with Lagrange Multipliers for Linear Elasticity ,
Feb. 1999. TR1999-779 N. Schwartz ,
Parallel Programming for Everyone ,
Feb. 1999. TR1999-778 H. Biermann and R. Cole ,
Comic Strips for Algorithm Visualization ,
Feb. 1999. TR1999-777 D. Goyal ,
An Improved Intra-procedural May-alias Analysis Algorithm ,
Feb. 1999. TR1999-776 N. Schwartz ,
Memory Classification Analysis for Recursive C Structures ,
Feb. 1999. TR1998-775 B. I. Wohlmuth, A. Toselli and O. B. Widlund ,
An Iterative Substructuring Method for Raviart-Thomas Vector Fields
in Three Dimensions ,
Oct. 1998. TR1998-774 D. Stefanica ,
Poincare and Friedrichs Inequalities For Mortar Finite Element Methods ,
Nov. 1998. TR1998-773 D. Stefanica and A. Klawonn ,
A Numerical Study of a Class of FETI Preconditioners for Mortar
Finite Elements in Two Dimensions ,
Nov. 1998. TR1998-771 F. Chang, V. Karamcheti, Z. Kedem ,
Exploiting Application Tunability for Efficient, Predictable, Parallel Resource Management ,
Oct. 1998. TR1998-770 T. Anantharaman and B. Mishra ,
Genomics via Optical Mapping (I): Probabilistic Analysis of Optical Mapping Models ,
Aug. 1998. TR1998-769 K. D. Anderson, E. Christiansen, A. R. Conn and M. L. Overton ,
An Efficient Primal-Dual Interior-Point Method for Minimizing a Sum of Euclidean Norms ,
Aug. 1998. TR1998-768 A. Toselli, O. B. Widlund, and
B. I. Wohlmuth ,
An Iterative Substructuring Method for Maxwell's Equations in
Two Dimensions ,
July 1998. TR1998-767 D. Stefanica ,
On the L(2) Stability of the 1-D Mortar Projection ,
June 1998. TR1998-766 N. Schwartz ,
Steering Clear of Triples: Deriving the Control Flow Graph Directly from the Abstract
Syntax Tree in C Programs ,
June 1998. TR1998-765 A. Toselli ,
Some Results on Overlapping Schwarz Methods for the Helmholtz Equation Employing Perfectly
Matched Layers ,
June 1998. TR1998-763 D. Goyal and R. Paige ,
A New Solution to the Hidden Copy Problem ,
Apr. 1998. TR1998-762 A. Baratloo ,
Just-in-Time Transparent Resource Management ,
Mar. 1998. TR1998-761 P. Wyckoff, K. Jeong and T. Johnson ,
Finding Idle Work Periods on Networks of Workstations ,
Mar. 1998. TR1998-760 T. Anantharaman, B. Mishra and D. Schwartz ,
Genomics via Optical Mapping III: Contiging Genomic DNA and Variations ,
Feb. 1998. TR1998-759 T. Anantharaman and B. Mishra ,
Genomics via Optical Mapping II(A): Restriction Maps from Partial Molecules and Variations ,
Feb. 1998. TR1998-758 A. Greenwald ,
Learning to Play Network Games ,
Feb. 1998. TR1998-757 A. Greenwald ,
Competitive Equilibrium ,
Feb. 1998. TR1997-755 L. F. Pavarino and O. B. Widlund ,
Iterative Substructuring Methods for Spectral Element Discretizations of
Elliptic Systems. II: Mixed Methods for Linear Elasticity and Stokes Flow ,
Dec. 1997. TR1997-754 E. Davis ,
Order of Magnitude Comparisons of Distance ,
Dec. 1997. TR1997-753 X. Cai, M. A. Casarin, Jr., F. W. Elliot, Jr. and O. B. Widlund ,
Overlapping Schwarz Algorithms for Solving Helmholtz's Equation ,
Dec. 1997. TR1997-752 M. H. Karaul, Y. A. Korilis and A. Orda ,
WebSeal: Web Server Allocation ,
Dec. 1997. TR1997-751 R. H. W. Hoppe and B. Wohlmuth ,
Adaptive Mixed Hybrid and Macro-Hybrid Finite Element Methods ,
Dec. 1997. TR1997-750 C. Wieners and B. Wohlmuth ,
The Coupling of Mixed and Conforming Finite Element Discretizations ,
Nov. 1997. TR1997-749 B. Wohlmuth ,
Hierarchical A Posteriori Error Estimators for Mortar Finite
Element Methods with Lagrange Multipliers ,
Nov. 1997. TR1997-748 A. Baratloo, M. Karaul, H. Karl and Z. M. Kedem ,
The coupling of mixed and conforming finite element
discretizations ,
Nov. 1997. TR1997-747 L. F. Pavarino and O. B. WIdlund ,
Iterative Substructuring Methods for Spectral Element
Discretizations of Elliptic Systems in Three Dimensions ,
Oct. 1997. TR1997-746 R. Hiptmair and A. Toselli ,
Overlapping Schwarz Methods for Vector Valued Elliptic Problems in Three Dimensions ,
Oct. 1997. TR1997-745 C. Chu and P. Piatko ,
Smile consistency - A Memory Consistency Model with User Definable High
Level Synchronization Primitives ,
Oct. 1997. TR1997-744 L. F. Pavarino and O. B. Widlund ,
Iterative Substructuring Methods for Spectral Element Discretizations of
Elliptic System -> I: Compressible Linear Elasticity ,
Oct. 1997. TR1997-743 I. Bica ,
Iterative Substructuring Algorithms for the P-Version Finite Element
Method for Elliptic Problems ,
Sept. 1997. TR1997-742 D-I. Lin and Z. Kedem ,
Pincer-Search: A New Algorithm for Discovering the Maximum Frequent Set ,
Sept. 1997. TR1997-741 L. Parida, D. Geiger and R. Hummel ,
Junctions: Detection, Classification and Reconstruction ,
August 1997. TR1997-740 L. Parida ,
Inapproximability of Flip-Cut, Shift-Cut and Other problems
from Optical Mapping ,
August 1997. TR1997-739 L. Parida ,
A Uniform Framework for Ordered Restriction Map Problems ,
August 1997. TR1997-738 E. Davis ,
The Naive Physics Perplex ,
July 1997. TR1997-737 F. Alizadeh, J. A. Haeberly, M. V. Nayakkankuppa, M.L. Overton and
Stefan Schmieta ,
SDPPACK User's Guide -- Version 0.9 Beta for Matlab 5.0 ,
June 1997. TR1997-736 A. Toselli ,
Overlapping Schwarz Methods for Maxwell's Equations in Three Dimensions ,
June 1997. TR1997-735 Y. Achdou, Y. Maday and O. B. Widlund ,
Iterative Substructuring Preconditioners for Mortar Element Methods
in Two Dimensions ,
April 1997. TR1997-734 F. Alizadeh, P. Haeberly, M. V. Nayakkankuppam and M.L. Overton ,
SDPPACK User's Guide -- Version 0.8 Beta ,
March 1997. TR1997-733 F. A. Bornemann and C. Schuette ,
On the Singular Limit of the Quantum-Classical Molecular Dynamics Model ,
March 1997. TR1997-732 A. Floratos ,
The On-Line K-Server Problem ,
Feb. 1997. TR1996-731 R. Cole and R. Hariharan ,
Tree Pattern Matching and Subset Matching in Randomized O(n log^3 m) Time ,
Dec. 1996 . TR1996-730 R. Cole, M. Farach, R. Hariharan, T. Przytycka and M. Thorup ,
An O(n log n) Algorithm for the Maximum Agreement Subtree Problem for
Binary Trees ,
Dec. 1996. TR1996-729 T. Brown, K. Jeong, B. Li, S. Talla, P. Wyckoff and D. Shasha ,
PLinda User Manual ,
Dec. 1996 . TR1996-728 C. Ungureanu and B. Goldberg ,
Formal Models of Distributed Memory Management ,
Dec. 1996. TR1996-727 T. Johnson and D. Shasha ,
Hierarchically Split Cube Forests for Decision Support:
description and tuned design ,
Nov. 1996. TR1996-726 A. Toselli ,
Some Numerical Results Using An Additive Schwarz Method For Maxwell's Equations ,
Nov. 1996. TR1996-725 M-S. Chang ,
Building a Fast Double-Dummy Bridge Solver ,
Aug. 1996. TR1996-724 D. R. Dreyer and M.L. Overton ,
Two Heuristics for the Steiner Tree Problem ,
Aug. 1996. TR1996-723 A. Leung, K.V. Palem and A. Pnueli ,
Highly Efficient Instruction Scheduling of Realtime Programs on RISC Processors ,
July 1996. TR1996-722 C. Ungureanu ,
A Note on Scheduling Algorithms for Processors with Lookahead ,
June 1996. TR1996-721 F. Alizadeh, J.A. Haeberly and M.L. Overton ,
Primal-Dual Interior-Point Methods for Semidefinite Programming:
Convergence Rates, Stability and Numerical Results ,
May 1996. TR1996-720 D. Geiger and L. Parida ,
A Model and Solution to the DNA Flipping String Problem ,
May 1996. TR1996-719 M. Teichmann and B. Mishra ,
NYU Reactive Gripper: An Implementation ,
May 1996. TR1996-718 K. Palem ,
CoRRet: A CONSTRAINT Based Environment for Rapid Prototyping Real
Time Programs ,
March 1996. TR1996-717 M.A. Casarin, Jr. ,
Schwarz Preconditioners for Spectral and Mortar Finite Element Methods
with Applications to Incompressible Fluids ,
March 1996. TR1996-716 A. Klawonn ,
Preconditioners for Indefinite Problems ,
March 1996. TR1996-715 G. Koren, D. Shasha ,
Skip-Over: Algorithms and Complexity for Overloaded Systems that
Allow Skips ,
Jan. 1996. TR1995-714 E. Davis ,
A Highly Expressive Language of Spatial Constraints ,
Dec. 1995. TR1995-713 B. Mishra ,
Computational Real Algebraic Geometry ,
Dec. 1995. TR1995-712 M. A. Casarin, O. B. Widlund ,
A Hierarchical Preconditioner for the Mortar Finite Element Method ,
Dec. 1995. TR1995-711 J. Cox, L. Ericson, B. Mishra ,
The Average Case Complexity of Multilevel Syllogistic ,
Dec. 1995. TR1995-710 J.Moro, J.V. Burke, M.L. Overton ,
On the Lidskii-Vishik-Lyusternik Perturbation Theory for
Eigenvalues of Matrices with Arbitrary Jordan Structure ,
Nov. 1995. TR1995-709 B. Mishra, M. Teichman ,
Three Finger Optimal Planar Grasp ,
Nov. 1995. TR1995-708 E.A.M. Shriver, L.F. Wisniewski ,
An API for Choreographing Data Accesses ,
Nov. 1995. TR1995-707 M. Antoniotti, B. Mishra ,
The Supervisor Synthesis Problem for Unrestricted CTL is NP-complete ,
Nov. 1995. TR1995-706 E. Davis ,
Approximation and Abstraction in Solid Object Kinematics ,
Sept. 1995. TR1995-705 M. A. Casarin ,
Quasi-Optimal Schwarz Methods for the Conforming Spectral Element
Discretization ,
Sept. 1995. TR1995-704 M. A. Casarin ,
Diagonal Edge Preconditioners in p-Version and Spectral Element Methods ,
Sept. 1995. TR1995-703 E. Davis ,
Approximations of Shape and Configuration Space ,
Sept. 1995. TR1995-701 R.Cole ,
On the Dynamic Finger Conjecture for Splay Trees
Part II: The Proof ,
Aug. 1995
. TR1995-700 R.Cole, B. Mishra, J. Schmidt, A. Siegel ,
On the Dynamic Finger Conjecture for Splay Trees
Part I: Splay Sorting log n-Block Sequences ,
Aug. 1995
. TR1995-699 A. Leung, K. Palem, C. Ungureanu ,
Run-time versus Compile-time Instruction Scheduling in Superscalar
(RISC) Processors: Performance and Tradeoffs ,
July 1995
. TR1995-698 R. Motwani, K. Palem, V. Sarkar, S. Reyen ,
Combined Instruction Scheduling and Register Allocation ,
July 1995
. TR1995-697 A. Muravitsky ,
New Mathematical Foundations for Knowledge Maintenance Systems:
Research Programs ,
May 1995 (see tr #693)
. TR1995-696 A. Muravitsky ,
Some Knowledge Transformers: Infons and Constraints ,
May 1995 (see tr #691)
. TR1995-695 A. Kheyfits ,
Dirichlet Problem for the Schrodinger Operator in a Half-space
with Boundary Data of Arbitrary Growth at Infinity ,
May 1995
. TR1995-694 A. Muravitsky ,
Logic of Information Knowledge ,
May 1995
. TR1995-693 A. Muravitsky ,
A Perspective of New Foundations for Knowledge Maintenance Systems:
Research Program ,
May 1995
. TR1995-692 Y. Kaluzhny, A. Muravitsky ,
A Knowledge Representation Based on the Belnap's Four-Valued Logic ,
May 1995
. TR1995-691 A. Muravitsky ,
Some Knowledge Transformers: Infons and Constraints ,
May 1995
. TR1995-690 A. Muravitsky ,
A Framework for Knowledge-Based Systems ,
May 1995
. TR1995-689 A. Muravitsky ,
Knowledge Representation as Domains ,
May 1995
. TR1995-688 A. Muravitsky ,
On the First Degree Entailment of Two 3-Valued Logics ,
May 1995
. TR1995-687 A. Siegel, J. Schmidt ,
Closed Hashing is Computable and Optimally Randomizable with Universal
Hash Functions ,
Apr. 1995
. TR1995-686 J. Schmidt, A. Siegel ,
Double Hashing is Computable and Randomizable with Universal Hash Functions ,
Apr. 1995
. TR1995-685 A. Siegel ,
Toward a Usable Theory of Chernoff Bounds for Heterogeneous and Partially
Dependent Random Variables ,
Apr. 1995
. TR1995-684 A. Siegel ,
On Universal Classes of Extremely Random Constant Time Hash Functions
and their Time-space Tradeoff ,
Apr. 1995
. TR1995-683 A. Klawonn ,
An Optimal Preconditioner for a Class of Saddle Point Problems with a Penalty
Term, Part II: General Theory ,
Apr. 1995
. TR1995-682 K. Andersen, E. Christiansen, M. Overton ,
Computing Limit Loads by Minimizing a Sum of Norms ,
Apr. 1995
. TR1995-681 F. Alizadeh, J. Haeberly, M. Overton ,
Complementarity and Nondegeneracy in Semidefinite Programming ,
Mar. 1995
. TR1995-680 B. Mishra ,
Grasp Metrics: Optimality and Complexity ,
Jan. 1995
. TR1995-679 C. Yap ,
Report on NSF Workshop on Manufacturing and Computational Geometry ,
Jan. 1995
. TR1994-677 A. Knyazev ,
New Estimates for Ritz Vectors ,
Dec. 1994
. TR1994-676 A. Klawonn ,
An Optimal Preconditioner for a Class of Saddle Point Problems
with a Penalty Term ,
Dec. 1994
. TR1994-675 M. Antoniotti, B. Mishra ,
Discrete Event Models + Temporal Logic = Supervisory Controller:
Automatic Synthesis of Locomotion Controllers ,
Nov. 1994
. TR1994-674 M. Antoniotti, B. Mishra ,
Automatic Synthesis Algorithms for Supervisory Controllers
(Preliminary Report) ,
Nov. 1994
. TR1994-673 S. M. Sokolov, D. P. Max, R. S. Wallace ,
Simple Multi Function Vision System for 3D Data Acquisition ,
Oct. 1994
. TR1994-672 J. Sellen ,
Planning Paths of Minimal Curvature ,
Oct. 1994. TR1994-671 M.S. Martins ,
Schwarz Preconditioners for Elliptic Problems with
Discontinuous Coefficients Using Conforming and Non-Conforming Elements ,
Sep.
1994. TR1994-670 J. Choi, J. Sellen, C.K. Yap ,
Approximate Euclidean Shortest Path in
3-Space ,
Sep. 1994. TR1994-669 R. Wallace, J. Selig ,
Scaling Direct Drive Robots ,
Aug. 1994. TR1994-668 M. Ebner, R. Wallace ,
A Direct-Drive Hand: Design, Modeling and Control ,
Jun. 1994. TR1994-667 C. Yao ,
Representing Control in Parallel Applicative Programing ,
Sep.
1994. TR1994-666 E. Davis ,
Branching Continuous Time and the Semantics of Continuous
Action ,
Jul. 1994. TR1994-663 L. Pavarino, O. Widlund ,
Iterative Substructuring Methods for Spectral
Elements: Problems in Three Dimensions Based on Numerical Quadrature ,
May 1994. TR1994-662 M. Dryja, M. Sarkis, O. Widlund ,
Multilevel Schwarz Methods for
Elliptic Problems with Discontinuous Coefficients in Three Dimensions ,
Mar. 1994. TR1994-661 L. Pavarino, O. Widlund ,
A Polylogarithmic Bound for an Iterative
Substructuring Method for Spectral Elements in Three Dimensions ,
Mar. 1994
. TR1994-660 J. P. Haeberly, M. Overton ,
Optimizing Eigenvalues of Symmetric
Definite Pencils ,
Mar. 1994. TR1994-659 F. Alizadeh, J. P. Haeberly, M. Overton ,
A New Primal-Dual
Interior-Point Method for Semidefinite Programming ,
Mar. 1994. TR1994-657 G. Davis, S. Mallat, Z. Zhang ,
Adaptive Time-Frequency Approximations
with Matching Pursuits ,
Mar. 1994. TR1994-655 C. Yao, B. Goldberg ,
Pscheme: Extending Continuations to Express
Control and Synchronization in a Parallel LISP ,
Mar. 1994. TR1994-654 H. Chen ,
Multilevel Schwarz Methods with Partial Refinement ,
Mar. 1994
. TR1993-653 B. Mishra, M. Antoniotti, F. Hansen, R. Wallace ,
NYU Educational
Robotics Project: A Pedagogic Overview ,
Nov. 1993. TR1993-652 D. Max, R. Wallace ,
Feedback Control of Miniature Direct Drive
Devices ,
Nov. 1993. TR1993-651 R. Wallace ,
Miniature Direct Drive Rotary Actuators II: Eye,
Finger, and Leg ,
Nov. 1993. TR1993-650 B. Mishra ,
A Survey of Computational Differential Algebra ,
Oct. 1993
. TR1993-648 L. Pavarino, O. Widlund ,
Iterative Substructuring Methods for
Spectral Elements in Three Dimensions ,
Sep. 1993. TR1993-647 B. Mishra ,
Bidirectional Edges Problem, Part II: An Efficient
Algorithm ,
Sep. 1993. TR1993-646 B. Mishra ,
Bidirectional Edges Problem, Part I: A Simple Algorithm ,
Sep. 1993. TR1993-645 A. Greenbaum ,
Norms of Functions of Matrices ,
Aug. 1993. TR1993-643 B. Mishra, M. Antoniotti ,
ED I: NYU Educational Robot Design and
Evaluation ,
Aug. 1993. TR1993-641 W. Hwang, S. Mallat ,
Chacterization of Self-Similar with Wavelet
Maxima ,
Aug. 1993. TR1993-640 F. Tsai ,
A Probabilistic Approach to Geometric Hashing Using Line
Features ,
June 1993. TR1993-639 G. Koren, D. Shasha ,
Competitive Algorithms and Lower Bounds for
On-Line Scheduling of Multiprocessor Real-Time Systems ,
June 1993. TR1993-638 M. Dryja, B. Smith, O. Widlund ,
Schwarz Analysis of Iterative
Substructuring Algorithms for Elliptic Problems in Three Dimensions ,
May 1993. TR1993-637 E. Davis ,
Knowledge Preconditions for Plans ,
May 1993. TR1993-636 R. Wallace, B. Bederson, E. Schwartz ,
Voice-Bandwidth Visual
Communication Through Logmaps: The Telecortex ,
May 1993. TR1993-635 J. Cai ,
A Language for Semantic Analysis ,
May 1993. TR1993-634 R. Wallace ,
Miniature Direct-Drive Rotary Actuators ,
Apr. 1993. TR1993-633 R. Wallace, P. Ong, B. Bederson, E. Schwartz ,
Space Variant Image
Processing ,
Apr. 1993. TR1993-632 Mutukrishnan, K. Palem ,
Highly Efficient Dictionary Matching in
Parallel ,
Apr. 1993. TR1993-631 M. Overton, X. Ye ,
Towards Second-Order Methods for Structured
Nonsmooth Optimization ,
Apr. 1993. TR1993-630 P. Agarwal ,
The Cell Programming Language ,
Mar. 1993. TR1993-629 M. Sarkis ,
Two-Level Schwarz Methods for Nonconforming Finite Elements
and Discontinuous Coefficients ,
Mar. 1993. TR1993-628 G. Gallo, B. Mishra ,
The Complexity of Resolvent Resolved ,
Mar. 1993
. TR1993-627 M. Overton, R. Womersly ,
Second Derivatives for Optimizing Eigenvalues
of Symmetric Matrices ,
Mar. 1993. TR1993-626 M. Dryja, O. Widlund ,
Schwarz Methods of Neumann-Neumann Type for
Three-Dimensional Elliptic Finite Element Problems ,
Mar. 1993. TR1993-625 F. Tsai ,
Using Line Invariants for Object Recognition by Geometric
Hasing ,
Feb. 1993. TR1993-624 J. Haeberly, M. Overton ,
A Hybrid Algorithm for Optimizing Eigenvalues
of Symmetric Definite Pencils ,
Feb. 1993. TR1993-619 S. Mallat, Z. Zhang ,
Matching Pursuits with Time-Frequency
Dictionaries ,
Rev. Aug. 1993. TR1992-621 F. Tsai ,
Statistical Approach to Affine Invariant Matching with
Line Features ,
Nov. 1992. TR1992-620 T.-R. Chuang, B. Goldberg ,
Backward Analysis for Higher-Order
Functions Using Inverse Images ,
Nov. 1992. TR1992-616 L. Pavarino ,
Domain Decomposition Algorithms for the P-Version
Finite Element Method for Elliptic Problems ,
Sep. 1992. TR1992-615 M. Dryja, O. Widlund ,
Some Recent Results on Schwarz Type Domain
Decomposition Algorithms ,
Sep. 1992. TR1992-614 L. Pavarino ,
Some Schwarz Algorithms for the P-Version Finite
Element Method ,
Sep. 1992. TR1992-610 V. Averbukh, S. Figueroa, T. Schlick ,
HESFCN - A Fortran package of
Hessian Subroutines for Testing Nonlinear Optimization Software ,
June 1992. TR1992-609 J. Cai, R. Paige ,
Multiset Discrimination - A Method for Implementing
Programming Language Systems without Hashing ,
June 1992. TR1992-608 A. Greenbaum, Z. Strakos ,
Matrices that Generate the Same Krylov
Residual Spaces ,
May 1992. TR1992-607 A. Greenbaum, L. Trefethen ,
GMRES/CR and Arnoldi/Lanczos as Matrix
Approximation Problems ,
May 1992. TR1992-606 M. Dryja, O. Widlund ,
Domain Decomposition Algorithms with Small
Overlap ,
May 1992. TR1992-604 J. Cai, R. Paige, R. Tajan ,
More Efficient Bottom-Up Mult-Pattern
Matching in Trees ,
Apr. 1992. TR1992-603 J. Cai ,
Counting Embeddings of Planar Graphs Using DFS Trees ,
Apr. 1992. TR1992-602 J. Cai, X. Han, R. Tarjan ,
An $O(m$log$n)$-Time Algorithm for the
Maximal Planar Subgraph Problem ,
Apr. 1992. TR1992-597 G. Park ,
Semantic Analyses for Storage Management Optimizations in
Functional Language Implementations ,
Feb. 1992. TR1992-595 X.-C. Cai, O. Widlund ,
Multiplicative Schwarz Algorithms for Some
Nonsymmetric and Indefinite Problems ,
Feb. 1992. TR1991-590 E. Davis ,
Axiomating Qualitative Process Theory ,
Nov. 1991. TR1991-587 C. Chang, R. Paige ,
New Theoretical and Computational Results for
Regular Languages ,
Oct. 1991. TR1991-586 J. Haeberly ,
On Shape Optimizing the Ratio of the First Two
Eigenvalues of the Laplacian ,
Oct. 1991. TR1991-585 M. Hind ,
Efficient Loop-Level Parallelishm in ADA ,
Sep. 1991. TR1991-584 X. Zhang ,
Studies in Domain Decomoposition: Multilevel Methods and
the Biharmonic Dirichlet Problem ,
Sep. 1991. TR1991-583 X. Zhang ,
Domain Decomposition Algorithms for the Biharmonic
Dirichlet Problem ,
Sep. 1991. TR1991-582 X. Zhang ,
Multilevel Additive Schwarz Methods ,
Sep. 1991. TR1991-581 O. Widlund ,
Some Schwarz Methods for Symmetric and Nonsymmetric
Elliptic Problems ,
Sep. 1991. TR1991-580 L. Pavarino ,
An Additive Schwarz Method for the P-Version Finite
Element Method ,
Sep. 1991. TR1991-579 J. Burke, M. Overton ,
Differential Properties of Eigenvalues ,
Sep. 1991. TR1991-574 R. Cole, O. Zajicek ,
The Expected Advantage of Asynchrony ,
Sep. 1991
. TR1991-573 R. Cole, A. Raghunathan ,
Online Algorithms for Finger Searching ,
Aug. 1991. TR1991-572 G. Koren, D. Shasha ,
An Optimal Scheduling Algorithm with a
Competitive Factor for Real-Time Systems ,
July 1991. TR1991-571 F. Gasperoni, U. Schwiegelshohn ,
Efficient Algorithms for Cyclic
Scheduling ,
July 1991. TR1991-570 M. Dryja, O. Widlund ,
Additive Schwarz Methods for Elliptic
Finite Element Problems in Three Dimensions ,
June 1991. TR1991-568 J. Burke, M. Overton ,
On the Subdifferentiability of a Matrix
Spectrum II: Subdifferential Formulas ,
June 1991. TR1991-567 J. Burke, M. Overton ,
On the Subdifferentiability of a Matrix
Spectrum I: Mathematical Foundations ,
June 1991. TR1991-566 M. Overton, R. Womersley ,
Optimality Conditions and Duality Theory
for Minimizing Sums of the Largest Eigenvalues of Symmetric Matrices ,
June 1991. TR1991-565 E. Davis ,
Lucid Representations ,
June 1991. TR1991-562 S. Nepomnyaschikh ,
Decomposition and Fictitious Domains Methods for
Elliptic Boundary Value Problems ,
May 1991. TR1991-561 R. Sundar ,
Amortized Complexity of Data Structures ,
May 1991. TR1991-557 R. Cole, U. Vishkin ,
On the Detection of Robust Curves ,
Apr. 1991
. TR1991-556 F. Henglein, K. Laufer ,
Programming with Structures, Functions, and
Objects ,
Apr. 1991. TR1991-555 K. Laufer ,
Comparing Three Approaches to Transformational
Programming ,
Apr. 1991. TR1991-554 I. Rgoutsos, R. Hummel ,
On a Parallel Implementation of Geometric
Hashing on the Connection Machine ,
Apr. 1991. TR1991-553 I. Rigoutsos, R. Hummel ,
Scalable Parallel Geometric Hashing for
Hypercube SIMD Architechtures ,
Jan. 1991. TR1991-548 K. L. Clarkson, R. Cole, R. E. Tarjan ,
Randomized Parallel Algorithms
for Trapezoidal Diagrams ,
Mar. 1991. TR1991-546 R. Cole, O. Zajicek ,
An Asynchronous Parallel Algorithm for
Undirected Graph Connectivity ,
Feb. 1991. TR1991-541 E. Davis ,
The Kinematics of Cutting Solid Objects ,
Jan. 1991
. TR1991-539 R. Cole, O. Zajicek ,
The APRAM - The Rounds Complexity Measure
and the Explicit Costs of Synchronization ,
Jan. 1991. TR1990-534 E. Davis ,
Physical Idealization as Plausible Inference ,
Nov. 1990
. TR1990-533 N. Prabhu ,
On a Conjecture of Micha Perles ,
Nov. 1990. TR1990-532 G. Bohus, W. Jockush, C. Lee, N. Prabhu ,
On Triangulations of the
3-Ball and the Solid Torus ,
Nov. 1990. TR1990-531 W. Jockush, N. Prabhu ,
Cutting a Polytope ,
Nov. 1990. TR1990-529 M. Dryja ,
Substructuring Methods for Parabolic Problems ,
Nov. 1990. TR1990-523 P. Ouyang ,
Execution of Regular DO Loops on Asynchronous
Multiprocessors ,
Oct. 1990. TR1990-520 J. Burke ,
Stable Perturbations of Nonsymmetric Matrices ,
Oct. 1990. TR1990-519 B. Smith ,
A Domain Decomposition Algorithm for Elliptic Problems
in Three Dimensions ,
Oct. 1990. TR1990-518 K. Li ,
Dag Representation and Optimization of Rewriting ,
Sep. 1990
. TR1990-517 B. Smith ,
Domain Decomposition Algorithms for the Partial
Differential Equations of Linear Elasticity ,
Sep. 1990. TR1990-514 D. Shasha, J. Turek ,
Beyond Fail-Stop: Wait-Free Serializability
and Resiliency in the Presence of Slow-Down Failures ,
Sep. 1990. TR1990-512 R. Cole ,
Tight Bounds on the Complexity of the Boyer-Moore
Pattern Matching Algorithm ,
June 1990. TR1990-510 S. Cox, M. Overton ,
On the Optimal Design of Columns Against
Buckling ,
June 1990. TR1990-507 M. Dryja, O. Widlund ,
Multilevel Additive Methods for Elliptic
Finite Element Problems ,
May 1990. TR1990-506 X. Cai, O. Widlund ,
Domain Decomposition Algorithms for Indefinite
Elliptic Problems ,
May 1990. TR1990-505 verton ,
Large-Scale Optimization of Eigenvalues ,
May 1990. TR1990-503 V. Lanin, D. Shasha ,
Tree Locking on Changing Trees ,
Apr. 1990
. TR1990-498 K. Donovan ,
Performance of Shared Memory in a Parallel Computer ,
Mar. 1990 .
top | contact webmaster@cs.nyu.edu
|