Sciweavers

    1226 search results - page 22 / 246
    » Generating Abstractions from Static Domain Analysis
    Sort
    View
    ICCAD
    2001
    IEEE
    95views Hardware» more  ICCAD 2001»
    On the Signal Bounding Problem in Timing Analysis
    14 years 7 months ago
    On the Signal Bounding Problem in Timing Analysis
    Download  www.cs.york.ac.uk
    In this paper, we study the propagation of slew dependent bounding signals and the corresponding slew problem in static timing analysis. The selection of slew from the latest arri...
    Jin-fuw Lee, Daniel L. Ostapko, Jeffery Soreff, C....
    claim paper
    Read More »
    ENTCS
    2007
    100views more  ENTCS 2007»
    Using Template Haskell for Abstract Interpretation
    13 years 10 months ago
    Using Template Haskell for Abstract Interpretation
    Download  dalila.sip.ucm.es
    mplate Haskell for Abstract Interpretation Clara Segura1 ,2 Departamento de Sistemas Inform´aticos y Programaci´on Universidad Complutense de Madrid Madrid, Spain Carmen Torrano3...
    Clara Segura, Carmen Torrano
    claim paper
    Read More »
    FASE
    2009
    Springer
    106views Software Engineering» more  FASE 2009»
    A Formal Way from Text to Code Templates
    14 years 5 months ago
    A Formal Way from Text to Code Templates
    Download  metrik.informatik.hu-berlin.de
    Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
    Guido Wachsmuth
    claim paper
    Read More »
    NAR
    2000
    122views more  NAR 2000»
    ProDom and ProDom-CG: tools for protein domain analysis and whole genome comparisons
    13 years 10 months ago
    ProDom and ProDom-CG: tools for protein domain analysis and whole genome comparisons
    Download  www.pdg.cnb.uam.es
    ProDom contains all protein domain families automatically generated from the SWISS-PROT and TrEMBL sequence databases (http://www.toulouse. inra.fr/prodom.html ). ProDom-CG result...
    Florence Corpet, Florence Servant, Jér&ocir...
    claim paper
    Read More »
    GI
    2004
    Springer
    141views Theoretical Computer Science» more  GI 2004»
    A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
    14 years 3 months ago
    A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
    Download  www.jblech.de
    Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
    Jan Olaf Blech, Sabine Glesner
    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.