Sciweavers

    2673 search results - page 64 / 535
    » Guided Static Analysis
    Sort
    View
    87
    Voted
    SOFTWARE
    2002
    108views Applied Computing» more  SOFTWARE 2002»
    Improving Security Using Extensible Lightweight Static Analysis
    15 years 3 months ago
    Improving Security Using Extensible Lightweight Static Analysis
    Download  www.cs.purdue.edu
    David Evans, David Larochelle
    claim paper
    Read More »
    112
    Voted
    TMI
    2002
    78views more  TMI 2002»
    A Quasi-Static Analysis for a Class of Induced-Current EIT Systems using Discrete Coils
    15 years 3 months ago
    A Quasi-Static Analysis for a Class of Induced-Current EIT Systems using Discrete Coils
    Download  www.eee.metu.edu.tr
    A discrete coil EIT system is investigated for the general case of an eccentric circular inhomogeneity. The solution methodology of the forward problem of this system is explained....
    Adnan Koksal, B. Murat Eyuboglu, Mehmet Demirbilek
    claim paper
    Read More »
    106
    Voted
    FOSSACS
    2010
    Springer
    115views Software Engineering» more  FOSSACS 2010»
    Model Checking Is Static Analysis of Modal Logic
    15 years 2 months ago
    Model Checking Is Static Analysis of Modal Logic
    Download  wiki.ercim.eu
    Flemming Nielson, Hanne Riis Nielson
    claim paper
    Read More »
    93
    Voted
    ICFEM
    2010
    Springer
    161views Software Engineering» more  ICFEM 2010»
    Software Metrics in Static Program Analysis
    15 years 2 months ago
    Software Metrics in Static Program Analysis
    Download  www4.in.tum.de
    Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wol...
    claim paper
    Read More »
    140
    Voted
    JOT
    2008
    120views more  JOT 2008»
    Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis
    15 years 2 months ago
    Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis
    Download  www.jot.fm
    Xiufeng Ni, Cui Zhang
    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.