Sciweavers

    4451 search results - page 40 / 891
    » Continuous model synthesis
    Sort
    View
    SIMULATION
    2011
    254views Software Engineering» more  SIMULATION 2011»
    The Activity-tracking paradigm in discrete-event modeling and simulation: The case of spatially continuous distributed systems
    15 years 3 days ago
    The Activity-tracking paradigm in discrete-event modeling and simulation: The case of spatially continuous distributed systems
    Download  msdl.cs.mcgill.ca
    From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
    Alexandre Muzy, Rajanikanth Jammalamadaka, Bernard...
    claim paper
    Read More »
    IPMI
    1997
    Springer
    148views Medical Imaging» more  IPMI 1997»
    Continuous Gaussian Mixture Modeling
    16 years 6 months ago
    Continuous Gaussian Mixture Modeling
    Download  midag.cs.unc.edu
    Stephen R. Aylward, Stephen M. Pizer
    claim paper
    Read More »
    LICS
    2009
    IEEE
    118views Automated Reasoning» more  LICS 2009»
    Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
    15 years 11 months ago
    Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
    Download  eprints.eemcs.utwente.nl
    Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...
    claim paper
    Read More »
    TAP
    2009
    Springer
    117views Hardware» more  TAP 2009»
    Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
    15 years 11 months ago
    Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
    Download  tap.ethz.ch
    Paula Herber, Florian Friedemann, Sabine Glesner
    claim paper
    Read More »
    ISCAS
    2007
    IEEE
    113views Hardware» more  ISCAS 2007»
    Discrete-Time Modeling of Clock Jitter in Continuous-Time Delta Sigma Modulators
    15 years 11 months ago
    Discrete-Time Modeling of Clock Jitter in Continuous-Time Delta Sigma Modulators
    Download  www.ece.mcgill.ca
    Philip M. Chopp, Anas A. Hamoui
    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.