Sciweavers

    3454 search results - page 660 / 691
    » Modern computer algebra
    Sort
    View
    SIGSOFT
    2004
    ACM
    124views Software Engineering» more  SIGSOFT 2004»
    Testing static analysis tools using exploitable buffer overflows from open source code
    14 years 8 months ago
    Testing static analysis tools using exploitable buffer overflows from open source code
    Download  www.ll.mit.edu
    Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
    Misha Zitser, Richard Lippmann, Tim Leek
    claim paper
    Read More »
    WWW
    2006
    ACM
    135views Internet Technology» more  WWW 2006»
    Relaxed: on the way towards true validation of compound documents
    14 years 8 months ago
    Relaxed: on the way towards true validation of compound documents
    Download  www.medieq.org
    To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
    Jirka Kosek, Petr Nálevka
    claim paper
    Read More »
    WWW
    2005
    ACM
    116views Internet Technology» more  WWW 2005»
    A search engine for natural language applications
    14 years 8 months ago
    A search engine for natural language applications
    Download  turing.cs.washington.edu
    Many modern natural language-processing applications utilize search engines to locate large numbers of Web documents or to compute statistics over the Web corpus. Yet Web search e...
    Michael J. Cafarella, Oren Etzioni
    claim paper
    Read More »
    KDD
    2008
    ACM
    186views Data Mining» more  KDD 2008»
    Cut-and-stitch: efficient parallel learning of linear dynamical systems on smps
    14 years 8 months ago
    Cut-and-stitch: efficient parallel learning of linear dynamical systems on smps
    Download  www.db.cs.cmu.edu
    Multi-core processors with ever increasing number of cores per chip are becoming prevalent in modern parallel computing. Our goal is to make use of the multi-core as well as multi...
    Lei Li, Wenjie Fu, Fan Guo, Todd C. Mowry, Christo...
    claim paper
    Read More »
    VLSID
    2005
    IEEE
    139views VLSI» more  VLSID 2005»
    Variable Input Delay CMOS Logic for Low Power Design
    14 years 8 months ago
    Variable Input Delay CMOS Logic for Low Power Design
    Download  www.eng.auburn.edu
    Modern digital circuits consist of logic gates implemented in the complementary metal oxide semiconductor (CMOS) technology. The time taken for a logic gate output to change after...
    Tezaswi Raja, Vishwani D. Agrawal, Michael L. Bush...
    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.