Sciweavers

    1274 search results - page 251 / 255
    » N-fold integer programming
    Sort
    View
    JAIR
    2007
    132views more  JAIR 2007»
    New Inference Rules for Max-SAT
    13 years 7 months ago
    New Inference Rules for Max-SAT
    Download  www.jair.org
    Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliï¬...
    Chu Min Li, Felip Manyà, Jordi Planes
    claim paper
    Read More »
    TPDS
    2008
    196views more  TPDS 2008»
    End-to-End Energy Management in Networked Real-Time Embedded Systems
    13 years 7 months ago
    End-to-End Energy Management in Networked Real-Time Embedded Systems
    Download  vulcan.ee.iastate.edu
    Recent technological advances have opened up a wide range of distributed real-time applications involving battery-driven embedded devices with local processing and wireless communi...
    G. Sudha Anil Kumar, Govindarasu Manimaran, Zhengd...
    claim paper
    Read More »
    TVLSI
    2008
    107views more  TVLSI 2008»
    Static and Dynamic Temperature-Aware Scheduling for Multiprocessor SoCs
    13 years 7 months ago
    Static and Dynamic Temperature-Aware Scheduling for Multiprocessor SoCs
    Download  www.bu.edu
    Thermal hot spots and high temperature gradients degrade reliability and performance, and increase cooling costs and leakage power. In this paper, we explore the benefits of temper...
    Ayse Kivilcim Coskun, T. T. Rosing, Keith Whisnant...
    claim paper
    Read More »
    VLSISP
    2008
    203views more  VLSISP 2008»
    FPGA-based System for Real-Time Video Texture Analysis
    13 years 7 months ago
    FPGA-based System for Real-Time Video Texture Analysis
    Download  rtsimage.di.uoa.gr
    This paper describes a novel system for real-time video texture analysis. The system utilizes hardware to extract 2nd -order statistical features from video frames. These features ...
    Dimitrios E. Maroulis, Dimitrios K. Iakovidis, Dim...
    claim paper
    Read More »
    ANOR
    2002
    99views more  ANOR 2002»
    An Inventory-Location Model: Formulation, Solution Algorithm and Computational Results
    13 years 7 months ago
    An Inventory-Location Model: Formulation, Solution Algorithm and Computational Results
    Download  www.ieor.berkeley.edu
    We introduce a distribution center (DC) location model that incorporates working inventory and safety stock inventory costs at the distribution centers. In addition, the model inco...
    Mark S. Daskin, Collette R. Coullard, Zuo-Jun Max ...
    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.