Sciweavers

    2687 search results - page 9 / 538
    » Formal Analysis of PKCS
    Sort
    View
    147
    Voted
    SAS
    2004
    Springer
    239views Formal Methods» more  SAS 2004»
    Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis
    15 years 8 months ago
    Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis
    Download  impact.crhc.illinois.edu
    Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu
    claim paper
    Read More »
    114
    Voted
    SFM
    2010
    Springer
    231views Formal Methods» more  SFM 2010»
    Probabilistic Semantics and Program Analysis
    15 years 8 months ago
    Probabilistic Semantics and Program Analysis
    Download  www.sti.uniurb.it
    Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
    claim paper
    Read More »
    109
    Voted
    FTRTFT
    1998
    Springer
    105views Formal Methods» more  FTRTFT 1998»
    An Algorithm for the Approximative Analysis of Rectangular Automata
    15 years 7 months ago
    An Algorithm for the Approximative Analysis of Rectangular Automata
    Download  www.cs.berkeley.edu
    Jörg Preußig, Stefan Kowalewski, Howard...
    claim paper
    Read More »
    SAS
    1997
    Springer
    90views Formal Methods» more  SAS 1997»
    Type-Directed Flow Analysis for Typed Intermediate Languages
    15 years 7 months ago
    Type-Directed Flow Analysis for Typed Intermediate Languages
    Download  www.cs.ucla.edu
    Suresh Jagannathan, Stephen Weeks, Andrew K. Wrigh...
    claim paper
    Read More »
    92
    Voted
    SAS
    2000
    Springer
    79views Formal Methods» more  SAS 2000»
    Unified Analysis of Array and Object References in Strongly Typed Languages
    15 years 7 months ago
    Unified Analysis of Array and Object References in Strongly Typed Languages
    Download  www.cs.rice.edu
    Stephen J. Fink, Kathleen Knobe, Vivek Sarkar
    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.