Sciweavers

    3605 search results - page 4 / 721
    » System and simulation modeling using SysML
    Sort
    View
    ECBS
    2011
    IEEE
    274views Hardware» more  ECBS 2011»
    Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments
    12 years 7 months ago
    Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments
    Download  www.fortiss.org
    Abstract—With the availability of the off-the-shelf quadrocopter platforms, the implementation of autonomous unmanned aerial vehicle (UAV) has substantially been simplified. Suc...
    Florian Mutter, Stefanie Gareis, Bernhard Schä...
    claim paper
    Read More »
    EDBT
    2011
    ACM
    199views Database» more  EDBT 2011»
    Predicting completion times of batch query workloads using interaction-aware models and simulation
    12 years 11 months ago
    Predicting completion times of batch query workloads using interaction-aware models and simulation
    Download  www.cs.duke.edu
    A question that database administrators (DBAs) routinely need to answer is how long a batch query workload will take to complete. This question arises, for example, while planning...
    Mumtaz Ahmad, Songyun Duan, Ashraf Aboulnaga, Shiv...
    claim paper
    Read More »
    QEST
    2010
    IEEE
    170views Modeling and Simulation» more  QEST 2010»
    Compositional Verification of Probabilistic Systems Using Learning
    13 years 5 months ago
    Compositional Verification of Probabilistic Systems Using Learning
    Download  www.prismmodelchecker.org
    Lu Feng, Marta Z. Kwiatkowska, David Parker
    claim paper
    Read More »
    WSC
    2004
    88views Modeling And Simulation» more  WSC 2004»
    Using Dynamic Multiresolution Modelling to Analyze Large Material Flow Systems
    13 years 8 months ago
    Using Dynamic Multiresolution Modelling to Analyze Large Material Flow Systems
    Download  www.informs-sim.org
    The interactive, simulation-aided analysis of material flow systems is often done with the help of virtual reality. If a user wants to influence the simulation run, the simulation...
    Wilhelm Dangelmaier, Bengt Mueck
    claim paper
    Read More »
    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
    13 years 2 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 »
    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-2024, USA.