Sciweavers

    8540 search results - page 1690 / 1708
    » The Dynamic Servers Problem
    Sort
    View
    SIGKDD
    2008
    125views more  SIGKDD 2008»
    Incremental pattern discovery on streams, graphs and tensors
    14 years 9 months ago
    Incremental pattern discovery on streams, graphs and tensors
    Download  www.sigkdd.org
    Incremental pattern discovery targets streaming applications where the data continuously arrive incrementally. The questions are how to find patterns (main trends) incrementally; ...
    Jimeng Sun
    claim paper
    Read More »
    SIGOPS
    2008
    116views more  SIGOPS 2008»
    Practical techniques for purging deleted data using liveness information
    14 years 9 months ago
    Practical techniques for purging deleted data using liveness information
    Download  www-users.cs.umn.edu
    The layered design of the Linux operating system hides the liveness of file system data from the underlying block layers. This lack of liveness information prevents the storage sy...
    David Boutcher, Abhishek Chandra
    claim paper
    Read More »
    TCAD
    2008
    101views more  TCAD 2008»
    Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors
    14 years 9 months ago
    Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors
    Download  www.eecs.umich.edu
    Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
    Ilya Wagner, Valeria Bertacco, Todd M. Austin
    claim paper
    Read More »
    ASE
    2005
    137views more  ASE 2005»
    Rewriting-Based Techniques for Runtime Verification
    14 years 9 months ago
    Rewriting-Based Techniques for Runtime Verification
    Download  www.havelund.com
    Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
    Grigore Rosu, Klaus Havelund
    claim paper
    Read More »
    96
    Voted
    TCS
    2008
    135views Theoretical Computer Science» more  TCS 2008»
    Role-based access control for boxed ambients
    14 years 9 months ago
    Role-based access control for boxed ambients
    Download  www.cs.stevens.edu
    Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
    Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bi...
    claim paper
    Read More »
    « Prev « First page 1690 / 1708 Last » Next »
    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-2025, USA.