Sciweavers

    181 search results - page 33 / 37
    » Using Static Analysis to Find Bugs
    Sort
    View
    BMCBI
    2006
    155views more  BMCBI 2006»
    CAVER: a new tool to explore routes from protein clefts, pockets and cavities
    13 years 7 months ago
    CAVER: a new tool to explore routes from protein clefts, pockets and cavities
    Download  www.biomedcentral.com
    Background: The main aim of this study was to develop and implement an algorithm for the rapid, accurate and automated identification of paths leading from buried protein clefts, ...
    Martin Petrek, Michal Otyepka, Pavel Banás,...
    claim paper
    Read More »
    APSEC
    2003
    IEEE
    93views Software Engineering» more  APSEC 2003»
    Understanding How the Requirements Are Implemented in Source Code
    14 years 1 months ago
    Understanding How the Requirements Are Implemented in Source Code
    Download  www.cs.rpi.edu
    For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
    Wei Zhao, Lu Zhang, Yin Liu, Jing Luo, Jiasu Sun
    claim paper
    Read More »
    BIS
    2009
    154views Business» more  BIS 2009»
    Using Process Mining to Generate Accurate and Interactive Business Process Maps
    13 years 8 months ago
    Using Process Mining to Generate Accurate and Interactive Business Process Maps
    Download  wwwis.win.tue.nl
    Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
    Wil M. P. van der Aalst
    claim paper
    Read More »
    FUIN
    2010
    136views more  FUIN 2010»
    Modeling Biology using Generic Reactive Animation
    13 years 5 months ago
    Modeling Biology using Generic Reactive Animation
    Download  www.wisdom.weizmann.ac.il
    Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
    Yaki Setty, Irun R. Cohen, David Harel
    claim paper
    Read More »
    ENTCS
    2002
    181views more  ENTCS 2002»
    Alias verification for Fortran code optimization
    13 years 7 months ago
    Alias verification for Fortran code optimization
    Download  www.jucs.org
    Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
    Thi Viet Nga Nguyen, François Irigoin
    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.