Sciweavers

    10435 search results - page 2040 / 2087
    » Computational Biology and Language
    Sort
    View
    EUROSYS
    2010
    ACM
    291views Software Engineering» more  EUROSYS 2010»
    Reverse Engineering of Binary Device Drivers with RevNIC
    15 years 8 months ago
    Reverse Engineering of Binary Device Drivers with RevNIC
    Download  infoscience.epfl.ch
    This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driver...
    Vitaly Chipounov, George Candea
    claim paper
    Read More »
    101
    Voted
    EUROSYS
    2006
    ACM
    149views Software Engineering» more  EUROSYS 2006»
    Solving the starting problem: device drivers as self-describing artifacts
    15 years 8 months ago
    Solving the starting problem: device drivers as self-describing artifacts
    Download  www.cs.kuleuven.ac.be
    Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
    Michael F. Spear, Tom Roeder, Orion Hodson, Galen ...
    claim paper
    Read More »
    ICCAD
    2004
    IEEE
    191views Hardware» more  ICCAD 2004»
    Checking consistency of C and Verilog using predicate abstraction and induction
    15 years 8 months ago
    Checking consistency of C and Verilog using predicate abstraction and induction
    Download  reports-archive.adm.cs.cmu.edu
    edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
    Daniel Kroening, Edmund M. Clarke
    claim paper
    Read More »
    SOSP
    2009
    ACM
    154views Operating System» more  SOSP 2009»
    Helios: heterogeneous multiprocessing with satellite kernels
    15 years 8 months ago
    Helios: heterogeneous multiprocessing with satellite kernels
    Download  www.sigops.org
    Helios is an operating system designed to simplify the task of writing, deploying, and tuning applications for heterogeneous platforms. Helios introduces satellite kernels, which ...
    Edmund B. Nightingale, Orion Hodson, Ross McIlroy,...
    claim paper
    Read More »
    PEPM
    2010
    ACM
    170views Software Engineering» more  PEPM 2010»
    Optimizing relational algebra operations using generic equivalence discriminators and lazy products
    15 years 8 months ago
    Optimizing relational algebra operations using generic equivalence discriminators and lazy products
    Download  www.diku.dk
    We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
    Fritz Henglein
    claim paper
    Read More »
    « Prev « First page 2040 / 2087 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.