CORE
COnnecting
REpositories

    1,720,967 research outputs found

    A correct-by-construction methodology for designing symmetric circuits

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Southampton (e-Prints Soton)

    A Structured Modelling Framework for Capturing Symmetry in Circuits

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Southampton (e-Prints Soton)

    Formalization and Execution of STE in HOL (Extended Version)

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Southampton (e-Prints Soton)

    First Order Rule Learning through a Pulsed Neural Network

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Southampton (e-Prints Soton)

    Formalization and Execution of STE in HOL

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Southampton (e-Prints Soton)

    Rule Extraction from Trained ANN: A Survey

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Southampton (e-Prints Soton)

    Symmetry Reduction for STE Model Checking

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Southampton (e-Prints Soton)
    Crossref

    Symmetry Reduction for STE Model Checking Using Structured Models

    Author
    Publication venue
    Publication date
    Field of study
    Full text link
    EThOS - Electronic Theses Online ServiceGBUnited Kingdo
    Southampton (e-Prints Soton)
    OpenGrey Repository

    Symbolic Simulation based Transient Fault Injection Methodology

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Southampton (e-Prints Soton)

    Hardware Dependability in the Presence of Soft Errors

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Southampton (e-Prints Soton)
    • …
    corecore