Sciweavers

    9888 search results - page 143 / 1978
    » compute 2009
    Sort
    View
    SOFSEM
    2009
    Springer
    116views Theoretical Computer Science» more  SOFSEM 2009»
    A Machine Checked Soundness Proof for an Intermediate Verification Language
    16 years 3 months ago
    A Machine Checked Soundness Proof for an Intermediate Verification Language
    Download  www.ksi.mff.cuni.cz
    Frédéric Vogels, Bart Jacobs 0002, F...
    claim paper
    Read More »
    172
    Voted
    C5
    2009
    IEEE
    146views Applied Computing» more  C5 2009»
    Active Essays on the Web
    16 years 1 months ago
    Active Essays on the Web
    Download  www.vpri.org
    Takashi Yamamiya, Alessandro Warth, Ted Kaehler
    claim paper
    Read More »
    148
    Voted
    C5
    2009
    IEEE
    70views Applied Computing» more  C5 2009»
    Etoys for One Laptop Per Child
    16 years 1 months ago
    Etoys for One Laptop Per Child
    Download  www.vpri.org
    Bert Freudenberg, Yoshiki Ohshima, Scott Wallace
    claim paper
    Read More »
    CVPR
    2009
    IEEE
    457views Computer Vision» more  CVPR 2009»
    Efficient algorithms for subwindow search in object detection and localization
    16 years 1 months ago
    Efficient algorithms for subwindow search in object detection and localization
    Download  webdocs.cs.ualberta.ca
    Senjian An, Patrick Peursum, Wanquan Liu, Svetha V...
    claim paper
    Read More »
    DAC
    2009
    ACM
    120views Computer Architecture» more  DAC 2009»
    Internet-in-a-Box: emulating datacenter network architectures using FPGAs
    16 years 1 months ago
    Internet-in-a-Box: emulating datacenter network architectures using FPGAs
    Download  www.stanford.edu
    Jonathan D. Ellithorpe, Zhangxi Tan, Randy H. Katz
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.