Sciweavers

    14190 search results - page 138 / 2838
    » Abstractions for hybrid systems
    Sort
    View
    RSP
    2008
    IEEE
    134views Control Systems» more  RSP 2008»
    Integrating Abstract NoC Models within MPSoC Design
    16 years 25 days ago
    Integrating Abstract NoC Models within MPSoC Design
    Download  www.inf.pucrs.br
    Edson Ifarraguirre Moreno, Katalin Maria Popovici,...
    claim paper
    Read More »
    WORDS
    2005
    IEEE
    97views Embedded Systems» more  WORDS 2005»
    A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP
    16 years 1 days ago
    A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP
    Download  faculty.ist.unomaha.edu
    Victor L. Winter, Jason Beranek, Azamatbek Mametja...
    claim paper
    Read More »
    IWSOS
    2011
    Springer
    292views Control Systems» more  IWSOS 2011»
    Self-organized Middle-Out Abstraction
    14 years 9 months ago
    Self-organized Middle-Out Abstraction
    Download  www.vonmammen.org
    Sebastian von Mammen, Jan-Philipp Steghöfer, ...
    claim paper
    Read More »
    ICRA
    2007
    IEEE
    159views Robotics» more  ICRA 2007»
    Decoupled Visual Servoing from a set of points imaged by an omnidirectional camera
    16 years 23 days ago
    Decoupled Visual Servoing from a set of points imaged by an omnidirectional camera
    Download  wwwlasmea.univ-bpclermont.fr
    Abstract— This paper presents a hybrid decoupled visionbased control scheme valid for the entire class of central catadioptric sensors (including conventional perspective cameras...
    Hicham Hadj-Abdelkader, Youcef Mezouar, Philippe M...
    claim paper
    Read More »
    HVC
    2007
    Springer
    108views Hardware» more  HVC 2007»
    How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison
    16 years 19 days ago
    How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison
    Download  wwwhome.cs.utwente.nl
    Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
    David N. Jansen, Joost-Pieter Katoen, Marcel Olden...
    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.