Sciweavers

    1346 search results - page 260 / 270
    » On the number of rectangular partitions
    Sort
    View
    ICSE
    2010
    IEEE-ACM
    158views Software Engineering» more  ICSE 2010»
    Efficient hybrid typestate analysis by determining continuation-equivalent states
    13 years 9 months ago
    Efficient hybrid typestate analysis by determining continuation-equivalent states
    Download  www.bodden.de
    Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
    Eric Bodden
    claim paper
    Read More »
    DAC
    2005
    ACM
    127views Computer Architecture» more  DAC 2005»
    Partitioning-based approach to fast on-chip decap budgeting and minimization
    13 years 9 months ago
    Partitioning-based approach to fast on-chip decap budgeting and minimization
    Download  www.ee.ucr.edu
    This paper proposes a fast decoupling capacitance (decap) allocation and budgeting algorithm for both early stage decap estimation and later stage decap minimization in today’s ...
    Hang Li, Zhenyu Qi, Sheldon X.-D. Tan, Lifeng Wu, ...
    claim paper
    Read More »
    NSDI
    2010
    194views Computer Networks» more  NSDI 2010»
    The Architecture and Implementation of an Extensible Web Crawler
    13 years 8 months ago
    The Architecture and Implementation of an Extensible Web Crawler
    Download  www.usenix.org
    Many Web services operate their own Web crawlers to discover data of interest, despite the fact that largescale, timely crawling is complex, operationally intensive, and expensive...
    Jonathan M. Hsieh, Steven D. Gribble, Henry M. Lev...
    claim paper
    Read More »
    CASCON
    2004
    129views Education» more  CASCON 2004»
    Building predictors from vertically distributed data
    13 years 8 months ago
    Building predictors from vertically distributed data
    Download  research.cs.queensu.ca
    Due in part to the large volume of data available today, but more importantly to privacy concerns, data are often distributed across institutional, geographical and organizational...
    Sabine M. McConnell, David B. Skillicorn
    claim paper
    Read More »
    OPODIS
    2004
    60views Distributed And Parallel Com...» more  OPODIS 2004»
    A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks
    13 years 8 months ago
    A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks
    Download  ceti.cse.ohio-state.edu
    In this paper, we introduce the concept of hierarchy-based fault-local stabilization and a novel self-healing/fault-containment technique and apply them in Stalk. Stalk is an algo...
    Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. ...
    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.