Sciweavers

    13917 search results - page 78 / 2784
    » Abstraction of Probabilistic Systems
    Sort
    View
    ATAL
    2008
    Springer
    81views Intelligent Agents» more  ATAL 2008»
    Models and algorithmic approaches for cooperative multi-robot systems: thesis abstract
    15 years 6 months ago
    Models and algorithmic approaches for cooperative multi-robot systems: thesis abstract
    Download  www.aamas-conference.org
    Noa Agmon
    claim paper
    Read More »
    ASPDAC
    2005
    ACM
    83views Hardware» more  ASPDAC 2005»
    Abstracting functionality for modular performance analysis of hard real-time systems
    15 years 6 months ago
    Abstracting functionality for modular performance analysis of hard real-time systems
    Download  www.artist-embedded.org
    Ernesto Wandeler, Lothar Thiele
    claim paper
    Read More »
    EMSOFT
    2008
    Springer
    91views Software Engineering» more  EMSOFT 2008»
    State space abstraction for parameterized self-stabilizing embedded systems
    15 years 6 months ago
    State space abstraction for parameterized self-stabilizing embedded systems
    Download  users.eecs.northwestern.edu
    Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...
    claim paper
    Read More »
    EMSOFT
    2008
    Springer
    78views Software Engineering» more  EMSOFT 2008»
    Event order abstraction for parametric real-time system verification
    15 years 6 months ago
    Event order abstraction for parametric real-time system verification
    Download  www.cecs.uci.edu
    Shinya Umeno
    claim paper
    Read More »
    CATS
    2007
    63views Applied Computing» more  CATS 2007»
    Termination of Abstract Reduction Systems
    15 years 6 months ago
    Termination of Abstract Reduction Systems
    Download  crpit.com
    Jeremy E. Dawson, Rajeev Goré
    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.