Sciweavers

    20126 search results - page 229 / 4026
    » Timed Transition Systems
    Sort
    View
    LISA
    1993
    87views Operating System» more  LISA 1993»
    A Practical Approach to NFS Response Time Monitoring
    15 years 5 months ago
    A Practical Approach to NFS Response Time Monitoring
    Download  www.usenix.org
    Gary L. Schaps, Peter Bishop 0002
    claim paper
    Read More »
    ECRTS
    2010
    IEEE
    192views Embedded Systems» more  ECRTS 2010»
    ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr
    15 years 5 months ago
    ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr
    Download  www-verimag.imag.fr
    Karine Altisen, Matthieu Moy
    claim paper
    Read More »
    ECRTS
    2010
    IEEE
    162views Embedded Systems» more  ECRTS 2010»
    Investigating Average versus Worst-Case Timing Behavior of Data Caches and Data Scratchpads
    15 years 4 months ago
    Investigating Average versus Worst-Case Timing Behavior of Data Caches and Data Scratchpads
    Download  www.jwhitham.org.uk
    Jack Whitham, Neil C. Audsley
    claim paper
    Read More »
    HYBRID
    2011
    Springer
    194views Control Systems» more  HYBRID 2011»
    The earlier the better: a theory of timed actor interfaces
    14 years 4 months ago
    The earlier the better: a theory of timed actor interfaces
    Download  chess.eecs.berkeley.edu
    Marc Geilen, Stavros Tripakis, Maarten Wiggers
    claim paper
    Read More »
    ICCAD
    2002
    IEEE
    143views Hardware» more  ICCAD 2002»
    A Markov chain sequence generator for power macromodeling
    16 years 1 months ago
    A Markov chain sequence generator for power macromodeling
    Download  www.eecs.umich.edu
    In macromodeling-based power estimation, circuit macromodels are created from simulations of synthetic input vector sequences. Fast generation of these sequences with all possible...
    Xun Liu, Marios C. Papaefthymiou
    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.