Sciweavers

    10891 search results - page 132 / 2179
    » Combining Model Reductions
    Sort
    View
    FM
    2003
    Springer
    139views Formal Methods» more  FM 2003»
    Combining Real-Time Model-Checking and Fault Tree Analysis
    15 years 8 months ago
    Combining Real-Time Model-Checking and Fault Tree Analysis
    Download  www.informatik.uni-oldenburg.de
    We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
    Andreas Schäfer
    claim paper
    Read More »
    3DPVT
    2002
    IEEE
    130views Visualization» more  3DPVT 2002»
    A Practical Approach for 3D Model Indexing by combining Local and Global Invariants
    15 years 8 months ago
    A Practical Approach for 3D Model Indexing by combining Local and Global Invariants
    Download  www.enic.fr
    Jean-Philippe Vandeborre, Vincent Couillet, Mohame...
    claim paper
    Read More »
    ICRA
    2000
    IEEE
    69views Robotics» more  ICRA 2000»
    Combination of Model-Based and Reactive Methods in Autonomous Navigation
    15 years 7 months ago
    Combination of Model-Based and Reactive Methods in Autonomous Navigation
    Download  www.dia.fi.upm.es
    Darío Maravall Gómez-Allende, Javier...
    claim paper
    Read More »
    ICCAD
    1999
    IEEE
    59views Hardware» more  ICCAD 1999»
    Parameterized RTL power models for combinational soft macros
    15 years 7 months ago
    Parameterized RTL power models for combinational soft macros
    Download  www.sti.uniurb.it
    Alessandro Bogliolo, Roberto Corgnati, Enrico Maci...
    claim paper
    Read More »
    ICCAD
    1994
    IEEE
    82views Hardware» more  ICCAD 1994»
    A new efficient approach to statistical delay modeling of CMOS digital combinational circuits
    15 years 7 months ago
    A new efficient approach to statistical delay modeling of CMOS digital combinational circuits
    Download  www.cs.york.ac.uk
    Syed A. Aftab, M. A. Styblinski
    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.