Sciweavers

    871 search results - page 81 / 175
    » Modular Design of Reactive Systems
    Sort
    View
    DFT
    2009
    IEEE
    189views VLSI» more  DFT 2009»
    Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms
    14 years 2 months ago
    Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms
    Download  people.ee.duke.edu
    Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
    Meng Zhang, Anita Lungu, Daniel J. Sorin
    claim paper
    Read More »
    DAC
    2005
    ACM
    102views Computer Architecture» more  DAC 2005»
    Operator-based model-order reduction of linear periodically time-varying systems
    14 years 9 months ago
    Operator-based model-order reduction of linear periodically time-varying systems
    Download  www.cs.york.ac.uk
    eriodically time-varying (LPTV) abstractions are useful for a variety of communication and computer subsystems. In this paper, we present a novel operator-based model-order reduct...
    Yayun Wan, Jaijeet S. Roychowdhury
    claim paper
    Read More »
    LISP
    2002
    105views more  LISP 2002»
    Specification Diagrams for Actor Systems
    13 years 7 months ago
    Specification Diagrams for Actor Systems
    Download  www.cs.jhu.edu
    Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
    Scott F. Smith, Carolyn L. Talcott
    claim paper
    Read More »
    JLP
    2006
    138views more  JLP 2006»
    Algebraic-coalgebraic specification in CoCasl
    13 years 7 months ago
    Algebraic-coalgebraic specification in CoCasl
    Download  www.informatik.uni-bremen.de
    We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
    Till Mossakowski, Lutz Schröder, Markus Rogge...
    claim paper
    Read More »
    IJCNN
    2006
    IEEE
    151views Neural Networks» more  IJCNN 2006»
    Design of Optimal PI Controllers for Doubly Fed Induction Generators Driven by Wind Turbines Using Particle Swarm Optimization
    14 years 1 months ago
    Design of Optimal PI Controllers for Doubly Fed Induction Generators Driven by Wind Turbines Using Particle Swarm Optimization
    Download  web.mst.edu
    – When subjected to transient disturbances in the power grid, the variable frequency converter (VFC) is the most sensitive part in the variable-speed wind turbine generator syste...
    Wei Qiao, Ganesh K. Venayagamoorthy, Ronald G. Har...
    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.