Sciweavers

    2673 search results - page 64 / 535
    » Guided Static Analysis
    Sort
    View
    64
    Voted
    SOFTWARE
    2002
    108views Applied Computing» more  SOFTWARE 2002»
    Improving Security Using Extensible Lightweight Static Analysis
    15 years 12 days ago
    Improving Security Using Extensible Lightweight Static Analysis
    Download  www.cs.purdue.edu
    David Evans, David Larochelle
    claim paper
    Read More »
    90
    Voted
    TMI
    2002
    78views more  TMI 2002»
    A Quasi-Static Analysis for a Class of Induced-Current EIT Systems using Discrete Coils
    15 years 11 days 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 »
    80
    Voted
    FOSSACS
    2010
    Springer
    115views Software Engineering» more  FOSSACS 2010»
    Model Checking Is Static Analysis of Modal Logic
    14 years 11 months ago
    Model Checking Is Static Analysis of Modal Logic
    Download  wiki.ercim.eu
    Flemming Nielson, Hanne Riis Nielson
    claim paper
    Read More »
    73
    Voted
    ICFEM
    2010
    Springer
    161views Software Engineering» more  ICFEM 2010»
    Software Metrics in Static Program Analysis
    14 years 11 months ago
    Software Metrics in Static Program Analysis
    Download  www4.in.tum.de
    Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wol...
    claim paper
    Read More »
    JOT
    2008
    120views more  JOT 2008»
    Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis
    14 years 11 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
    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-2025, USA.