Sciweavers

    1816 search results - page 41 / 364
    » Trace oblivious computation
    Sort
    View
    RTSS
    2008
    IEEE
    109views Control Systems» more  RTSS 2008»
    Predictable Out-of-Order Execution Using Virtual Traces
    15 years 11 months ago
    Predictable Out-of-Order Execution Using Virtual Traces
    Download  www.jwhitham.org.uk
    Jack Whitham, Neil C. Audsley
    claim paper
    Read More »
    ICALP
    2007
    Springer
    112views Programming Languages» more  ICALP 2007»
    A Fully Abstract Trace Semantics for General References
    15 years 11 months ago
    A Fully Abstract Trace Semantics for General References
    Download  www.cogs.susx.ac.uk
    James Laird
    claim paper
    Read More »
    CONCUR
    2005
    Springer
    76views Distributed And Parallel Com...» more  CONCUR 2005»
    Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces
    15 years 10 months ago
    Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces
    Download  www.liafa.jussieu.fr
    Paul Gastin, Dietrich Kuske
    claim paper
    Read More »
    GRAPHITE
    2004
    ACM
    106views Computer Graphics» more  GRAPHITE 2004»
    Path tracing using the AR350 processor
    15 years 10 months ago
    Path tracing using the AR350 processor
    Download  www-lil.univ-littoral.fr
    Christophe Cassagnabère, François Ro...
    claim paper
    Read More »
    BIRTHDAY
    2004
    Springer
    67views Applied Computing» more  BIRTHDAY 2004»
    Models for Data-Flow Sequential Processes
    15 years 10 months ago
    Models for Data-Flow Sequential Processes
    Download  www.scism.lsbu.ac.uk
    A family of mathematical models of nondeterministic data flow is introduced. These models are constructed out of sets of traces, successes, failures and divergences, cf. Hoare’s...
    Mark B. Josephs
    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.