Sciweavers

    9698 search results - page 58 / 1940
    » models 2010
    Sort
    View
    151
    Voted
    QEST
    2010
    IEEE
    170views Modeling and Simulation» more  QEST 2010»
    Compositional Verification of Probabilistic Systems Using Learning
    15 years 3 months ago
    Compositional Verification of Probabilistic Systems Using Learning
    Download  www.prismmodelchecker.org
    Lu Feng, Marta Z. Kwiatkowska, David Parker
    claim paper
    Read More »
    SPRINGSIM
    2010
    150views Modeling And Simulation» more  SPRINGSIM 2010»
    210 King Street: a dataset for integrated performance assessment
    15 years 3 months ago
    210 King Street: a dataset for integrated performance assessment
    Download  www.autodeskresearch.com
    Ramtin Attar, Venk Prabhu, Michael Glueck, Azam Kh...
    claim paper
    Read More »
    PATMOS
    2010
    Springer
    225views Modeling and Simulation» more  PATMOS 2010»
    Clock Network Synthesis with Concurrent Gate Insertion
    15 years 3 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 »
    PATMOS
    2010
    Springer
    133views Modeling and Simulation» more  PATMOS 2010»
    A Power-Aware Online Scheduling Algorithm for Streaming Applications in Embedded MPSoC
    15 years 3 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 »
    SPRINGSIM
    2010
    167views Modeling And Simulation» more  SPRINGSIM 2010»
    Application of RT-DEVS in military
    15 years 3 months ago
    Application of RT-DEVS in military
    Download  cell-devs.sce.carleton.ca
    Mohammad Moallemi, Gabriel A. Wainer, Antoine Awad...
    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.