Sciweavers

    1880 search results - page 52 / 376
    » A Static Analysis for Beta-Binders
    Sort
    View
    ASPDAC
    2009
    ACM
    122views Hardware» more  ASPDAC 2009»
    Accelerating statistical static timing analysis using graphics processing units
    16 years 24 days ago
    Accelerating statistical static timing analysis using graphics processing units
    Download  www.aspdac.com
    Kanupriya Gulati, Sunil P. Khatri
    claim paper
    Read More »
    ACSAC
    2007
    IEEE
    143views Security Privacy» more  ACSAC 2007»
    Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies
    16 years 19 days ago
    Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies
    Download  www.acsac.org
    Paolina Centonze, Robert J. Flynn, Marco Pistoia
    claim paper
    Read More »
    IOLTS
    2007
    IEEE
    88views Hardware» more  IOLTS 2007»
    Automated Derivation of Application-aware Error Detectors using Static Analysis
    16 years 17 days ago
    Automated Derivation of Application-aware Error Detectors using Static Analysis
    Download  netfiles.uiuc.edu
    Karthik Pattabiraman, Zbigniew Kalbarczyk, Ravisha...
    claim paper
    Read More »
    NDSS
    2007
    IEEE
    265views Computer Networks» more  NDSS 2007»
    Cross Site Scripting Prevention with Dynamic Data Tainting and Static Analysis
    16 years 17 days ago
    Cross Site Scripting Prevention with Dynamic Data Tainting and Static Analysis
    Download  www.seclab.tuwien.ac.at
    Cross-site scripting (XSS) is an attack against web applications in which scripting code is injected into the output of an application that is then sent to a user’s web browser....
    Philipp Vogt, Florian Nentwich, Nenad Jovanovic, E...
    claim paper
    Read More »
    FMICS
    2007
    Springer
    100views Formal Methods» more  FMICS 2007»
    Static Analysis of the Accuracy in Control Systems: Principles and Experiments
    16 years 13 days ago
    Static Analysis of the Accuracy in Control Systems: Principles and Experiments
    Download  www.ens-lyon.fr
    Eric Goubault, Sylvie Putot, Philippe Baufreton, J...
    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.