Sciweavers

    9842 search results - page 235 / 1969
    » Compositional timing analysis
    Sort
    View
    CAV
    2001
    Springer
    88views Hardware» more  CAV 2001»
    Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks
    15 years 11 months ago
    Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks
    Download  www.eecs.wsu.edu
    Zhe Dang
    claim paper
    Read More »
    ERSHOV
    2001
    Springer
    98views Theoretical Computer Science» more  ERSHOV 2001»
    Binding-Time Analysis for Polymorphic Types
    15 years 11 months ago
    Binding-Time Analysis for Polymorphic Types
    Download  repository.readscheme.org
    Rogardt Heldal, John Hughes
    claim paper
    Read More »
    IPPS
    2000
    IEEE
    91views Distributed And Parallel Com...» more  IPPS 2000»
    Concurrent Specification and Timing Analysis of Digital Hardware Using SDL
    15 years 11 months ago
    Concurrent Specification and Timing Analysis of Digital Hardware Using SDL
    Download  ipdps.cc.gatech.edu
    Kenneth J. Turner, F. Javier Argul-Marin, Stephen ...
    claim paper
    Read More »
    RTSS
    2000
    IEEE
    135views Control Systems» more  RTSS 2000»
    Modeling Complex Flows for Worst-Case Execution Time Analysis
    15 years 11 months ago
    Modeling Complex Flows for Worst-Case Execution Time Analysis
    Download  www.cs.ucla.edu
    Jakob Engblom, Andreas Ermedahl
    claim paper
    Read More »
    IPPS
    1998
    IEEE
    77views Distributed And Parallel Com...» more  IPPS 1998»
    A Reconfigurable Hardware-Monitor for Communication Analysis in Distributed Real-Time Systems
    15 years 10 months ago
    A Reconfigurable Hardware-Monitor for Communication Analysis in Distributed Real-Time Systems
    Download  ipdps.cc.gatech.edu
    Andreas Kirschbaum, Jürgen Becker, Manfred Gl...
    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.