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
    14 years 7 months 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 »
    84
    Voted
    IPMI
    1997
    Springer
    148views Medical Imaging» more  IPMI 1997»
    Continuous Gaussian Mixture Modeling
    16 years 1 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 7 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 »
    76
    Voted
    TAP
    2009
    Springer
    117views Hardware» more  TAP 2009»
    Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
    15 years 7 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 »
    54
    Voted
    ISCAS
    2007
    IEEE
    113views Hardware» more  ISCAS 2007»
    Discrete-Time Modeling of Clock Jitter in Continuous-Time Delta Sigma Modulators
    15 years 7 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
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.