Sciweavers

    781 search results - page 58 / 157
    » Automatic Formal Model Generation and Analysis of SDL
    Sort
    View
    LCTRTS
    2004
    Springer
    112views System Software» more  LCTRTS 2004»
    Flattening statecharts without explosions
    14 years 1 months ago
    Flattening statecharts without explosions
    Download  www.itu.dk
    We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
    Andrzej Wasowski
    claim paper
    Read More »
    SAFECOMP
    2007
    Springer
    121views Security Privacy» more  SAFECOMP 2007»
    Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
    14 years 1 months ago
    Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
    Download  wwwiti.cs.uni-magdeburg.de
    Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
    Matthias Güdemann, Frank Ortmeier, Wolfgang R...
    claim paper
    Read More »
    CAV
    2007
    Springer
    129views Hardware» more  CAV 2007»
    BAT: The Bit-Level Analysis Tool
    14 years 1 months ago
    BAT: The Bit-Level Analysis Tool
    Download  www.ccs.neu.edu
    Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
    Panagiotis Manolios, Sudarshan K. Srinivasan, Daro...
    claim paper
    Read More »
    DRR
    2008
    114views Document Analysis» more  DRR 2008»
    Whole-book recognition using mutual-entropy-driven model adaptation
    13 years 9 months ago
    Whole-book recognition using mutual-entropy-driven model adaptation
    Download  www.cse.lehigh.edu
    We describe an approach to unsupervised high-accuracy recognition of the textual contents of an entire book using fully automatic mutual-entropy-based model adaptation. Given imag...
    Pingping Xiu, Henry S. Baird
    claim paper
    Read More »
    SERP
    2007
    182views Software Engineering» more  SERP 2007»
    From Functional Requirements through Test Evaluation Design to Automatic Test Data Patterns Retrieval - a Concept for Testing of
    13 years 9 months ago
    From Functional Requirements through Test Evaluation Design to Automatic Test Data Patterns Retrieval - a Concept for Testing of
    Download  web.fokus.fraunhofer.de
    - Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where t...
    Justyna Zander-Nowicka, Abel Marrero Pérez,...
    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.