Sciweavers

    1105 search results - page 175 / 221
    » From Languages to Systems: Understanding Practical Applicati...
    Sort
    View
    TASE
    2010
    IEEE
    163views Software Engineering» more  TASE 2010»
    Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance
    13 years 2 months ago
    Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance
    Download  harvardforest.fas.harvard.edu
    Abstract--With the availability of powerful computational and communication systems, scientists now readily access large, complicated derived datasets and build on those results to...
    Leon J. Osterweil, Lori A. Clarke, Aaron M. Elliso...
    claim paper
    Read More »
    CASES
    2006
    ACM
    142views System Software» more  CASES 2006»
    A dynamic binary instrumentation engine for the ARM architecture
    14 years 2 months ago
    A dynamic binary instrumentation engine for the ARM architecture
    Download  www.cs.virginia.edu
    Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
    Kim M. Hazelwood, Artur Klauser
    claim paper
    Read More »
    DAGSTUHL
    2007
    110views Software Engineering» more  DAGSTUHL 2007»
    End-User Software Engineering Position Paper
    13 years 9 months ago
    End-User Software Engineering Position Paper
    Download  drops.dagstuhl.de
    bstract, rather than through examples. I’d like to see the ability to demonstrate examples in concrete situations, have the system record them, and generalize them to yield a pro...
    Henry Lieberman
    claim paper
    Read More »
    APPINF
    2003
    231views Information Technology» more  APPINF 2003»
    A Multithreaded Compiler Backend for High-level Array Programming
    13 years 9 months ago
    A Multithreaded Compiler Backend for High-level Array Programming
    Download  www.sac-home.org
    Whenever large homogeneous data structures need to be processed in a non-trivial way, e.g. in computational sciences, image processing, or system simulation, high-level array prog...
    Clemens Grelck
    claim paper
    Read More »
    SIGSOFT
    2007
    ACM
    153views Software Engineering» more  SIGSOFT 2007»
    SLEDE: lightweight verification of sensor network security protocol implementations
    14 years 9 months ago
    SLEDE: lightweight verification of sensor network security protocol implementations
    Download  www.cs.iastate.edu
    Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
    Youssef Hanna
    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.