Sciweavers

    9006 search results - page 177 / 1802
    » Modeling Software
    Sort
    View
    113
    Voted
    CASES
    2003
    ACM
    89views System Software» more  CASES 2003»
    Energy aware algorithm design via probabilistic computing: from algorithms and models to Moore's law and novel (semiconductor) d
    15 years 10 months ago
    Energy aware algorithm design via probabilistic computing: from algorithms and models to Moore's law and novel (semiconductor) d
    Download  www.cs.rice.edu
    Krishna V. Palem
    claim paper
    Read More »
    101
    Voted
    FSTTCS
    2003
    Springer
    74views Software Engineering» more  FSTTCS 2003»
    Real-Time Model-Checking: Parameters Everywhere
    15 years 10 months ago
    Real-Time Model-Checking: Parameters Everywhere
    Download  www.ulb.ac.be
    Véronique Bruyère, Jean-Franç...
    claim paper
    Read More »
    110
    Voted
    ICFEM
    2003
    Springer
    102views Software Engineering» more  ICFEM 2003»
    A Relational Model for Formal Object-Oriented Requirement Analysis in UML
    15 years 10 months ago
    A Relational Model for Formal Object-Oriented Requirement Analysis in UML
    Download  www.iist.unu.edu
    Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen
    claim paper
    Read More »
    112
    Voted
    ARCS
    2010
    Springer
    165views Software Engineering» more  ARCS 2010»
    Compiler-Directed Performance Model Construction for Parallel Programs
    15 years 10 months ago
    Compiler-Directed Performance Model Construction for Parallel Programs
    Download  homepages.inf.ed.ac.uk
    Martin Schindewolf, David Kramer, Marcelo Cintra
    claim paper
    Read More »
    CODES
    2002
    IEEE
    120views Software Engineering» more  CODES 2002»
    Reconfigurable SoC design with hierarchical FSM and synchronous dataflow model
    15 years 10 months ago
    Reconfigurable SoC design with hierarchical FSM and synchronous dataflow model
    Download  www.cecs.uci.edu
    Sunghyun Lee, Sungjoo Yoo, Kiyoung Choi
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.