Sciweavers

    5863 search results - page 1077 / 1173
    » Calculating Functional Programs
    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 9 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 »
    POPL
    2008
    ACM
    161views Programming Languages» more  POPL 2008»
    From dirt to shovels: fully automatic tool generation from ad hoc data
    14 years 9 months ago
    From dirt to shovels: fully automatic tool generation from ad hoc data
    Download  www.cs.princeton.edu
    An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
    Kathleen Fisher, David Walker, Kenny Qili Zhu, Pet...
    claim paper
    Read More »
    OSDI
    2002
    ACM
    144views Operating System» more  OSDI 2002»
    Cooperative I/O: A Novel I/O Semantics for Energy-Aware Applications
    14 years 9 months ago
    Cooperative I/O: A Novel I/O Semantics for Energy-Aware Applications
    Download  www4.informatik.uni-erlangen.de
    In this paper we demonstrate the benefits of application involvement in operating system power management. We present Coop-I/O, an approach to reduce the power consumption of devi...
    Andreas Weissel, Bjórn Beutel, Frank Bellos...
    claim paper
    Read More »
    SIGMOD
    2006
    ACM
    145views Database» more  SIGMOD 2006»
    Automatic client-server partitioning of data-driven web applications
    14 years 9 months ago
    Automatic client-server partitioning of data-driven web applications
    Download  www.cs.cornell.edu
    Current application development tools provide completely different programming models for the application server (e.g., Java and J2EE) and the client web browser (e.g., JavaScript...
    Nicholas Gerner, Fan Yang 0002, Alan J. Demers, Jo...
    claim paper
    Read More »
    EUROSYS
    2008
    ACM
    179views Software Engineering» more  EUROSYS 2008»
    Manageable fine-grained information flow
    14 years 6 months ago
    Manageable fine-grained information flow
    Download  www.cs.ucla.edu
    The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
    Petros Efstathopoulos, Eddie Kohler
    claim paper
    Read More »
    « Prev « First page 1077 / 1173 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-2024, USA.