Sciweavers

    15777 search results - page 480 / 3156
    » The Reformulation-Optimization Software Engine
    Sort
    View
    ADAEUROPE
    2009
    Springer
    121views Software Engineering» more  ADAEUROPE 2009»
    Formal Verification of AADL Specifications in the Topcased Environment
    15 years 11 months ago
    Formal Verification of AADL Specifications in the Topcased Environment
    Download  www.aadl.info
    Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...
    claim paper
    Read More »
    EMSOFT
    2009
    Springer
    104views Software Engineering» more  EMSOFT 2009»
    Modal interfaces: unifying interface automata and modal specifications
    15 years 11 months ago
    Modal interfaces: unifying interface automata and modal specifications
    Download  www.irisa.fr
    Jean-Baptiste Raclet, Eric Badouel, Albert Benveni...
    claim paper
    Read More »
    EMSOFT
    2009
    Springer
    115views Software Engineering» more  EMSOFT 2009»
    An effective synchronization approach for fast and accurate multi-core instruction-set simulation
    15 years 11 months ago
    An effective synchronization approach for fast and accurate multi-core instruction-set simulation
    Download  logos.cs.nthu.edu.tw
    Meng-Huan Wu, Cheng-Yang Fu, Peng-Chih Wang, Ren-S...
    claim paper
    Read More »
    EMSOFT
    2009
    Springer
    204views Software Engineering» more  EMSOFT 2009»
    Disk schedulers for solid state drivers
    15 years 11 months ago
    Disk schedulers for solid state drivers
    Download  dcslab.hanyang.ac.kr
    Jaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, ...
    claim paper
    Read More »
    ICFEM
    2009
    Springer
    80views Software Engineering» more  ICFEM 2009»
    Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
    15 years 11 months ago
    Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
    Download  www.comp.nus.edu.sg
    Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Z...
    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.