Sciweavers

    2340 search results - page 398 / 468
    » Second quarter 2008
    Sort
    View
    SIAMCOMP
    1998
    125views more  SIAMCOMP 1998»
    Free Bits, PCPs, and Nonapproximability-Towards Tight Results
    13 years 9 months ago
    Free Bits, PCPs, and Nonapproximability-Towards Tight Results
    Download  www.cse.buffalo.edu
    This paper continues the investigation of the connection between probabilistically checkable proofs (PCPs) and the approximability of NP-optimization problems. The emphasis is on p...
    Mihir Bellare, Oded Goldreich, Madhu Sudan
    claim paper
    Read More »
    SIAMDM
    1998
    89views more  SIAMDM 1998»
    String Noninclusion Optimization Problems
    13 years 9 months ago
    String Noninclusion Optimization Problems
    Download  www.computing.edu.au
    For every string inclusion relation there are two optimization problems: find a longest string included in every string of a given finite language, and find a shortest string in...
    Anatoly R. Rubinov, Vadim G. Timkovsky
    claim paper
    Read More »
    TCAD
    1998
    86views more  TCAD 1998»
    Fast heuristic and exact algorithms for two-level hazard-free logic minimization
    13 years 9 months ago
    Fast heuristic and exact algorithms for two-level hazard-free logic minimization
    Download  www.cs.columbia.edu
    None of the available minimizers for 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to manual and auto...
    Michael Theobald, Steven M. Nowick
    claim paper
    Read More »
    SIAMJO
    2002
    133views more  SIAMJO 2002»
    SNOPT: An SQP Algorithm for Large-Scale Constrained Optimization
    13 years 9 months ago
    SNOPT: An SQP Algorithm for Large-Scale Constrained Optimization
    Download  www.stanford.edu
    Abstract. Sequential quadratic programming (SQP) methods have proved highly effective for solving constrained optimization problems with smooth nonlinear functions in the objective...
    Philip E. Gill, Walter Murray, Michael A. Saunders
    claim paper
    Read More »
    TKDE
    1998
    139views more  TKDE 1998»
    Distributed Optimistic Concurrency Control Methods for High-Performance Transaction Processing
    13 years 9 months ago
    Distributed Optimistic Concurrency Control Methods for High-Performance Transaction Processing
    Download  www.cs.ucdavis.edu
    —There is an ever-increasing demand for more complex transactions and higher throughputs in transaction processing systems leading to higher degrees of transaction concurrency an...
    Alexander Thomasian
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.