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