Sciweavers

    77016 search results - page 207 / 15404
    » Modeling
    Sort
    View
    SPRINGSIM
    2010
    128views Modeling And Simulation» more  SPRINGSIM 2010»
    SFS3: a simulation framework for self-stabilizing systems
    15 years 2 months ago
    SFS3: a simulation framework for self-stabilizing systems
    Download  www.cs.clemson.edu
    Sally K. Wahba, Jason O. Hallstrom, Pradip K. Srim...
    claim paper
    Read More »
    120
    Voted
    PATMOS
    2010
    Springer
    131views Modeling and Simulation» more  PATMOS 2010»
    An Efficient Low Power Multiple-Value Look-Up Table Targeting Quaternary FPGAs
    15 years 1 months ago
    An Efficient Low Power Multiple-Value Look-Up Table Targeting Quaternary FPGAs
    Download  patmos2010.imag.fr
    Cristiano Lazzari, Jorge Fernandes, Paulo F. Flore...
    claim paper
    Read More »
    PATMOS
    2010
    Springer
    225views Modeling and Simulation» more  PATMOS 2010»
    Clock Network Synthesis with Concurrent Gate Insertion
    15 years 1 months ago
    Clock Network Synthesis with Concurrent Gate Insertion
    Download  patmos2010.imag.fr
    Jingwei Lu, Wing-Kai Chow, Chiu-Wing Sham
    claim paper
    Read More »
    124
    Voted
    PATMOS
    2010
    Springer
    133views Modeling and Simulation» more  PATMOS 2010»
    A Power-Aware Online Scheduling Algorithm for Streaming Applications in Embedded MPSoC
    15 years 1 months ago
    A Power-Aware Online Scheduling Algorithm for Streaming Applications in Embedded MPSoC
    Download  patmos2010.imag.fr
    Tanguy Sassolas, Nicolas Ventroux, Nassima Boudoua...
    claim paper
    Read More »
    QEST
    2010
    IEEE
    170views Modeling and Simulation» more  QEST 2010»
    Compositional Verification of Probabilistic Systems Using Learning
    15 years 1 months ago
    Compositional Verification of Probabilistic Systems Using Learning
    Download  www.prismmodelchecker.org
    Lu Feng, Marta Z. Kwiatkowska, David Parker
    claim paper
    Read More »
    « Prev « First page 207 / 15404 Last » Next »
    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.