Sciweavers

    21984 search results - page 149 / 4397
    » C
    Sort
    View
    EMSOFT
    2009
    Springer
    84views Software Engineering» more  EMSOFT 2009»
    SyncCharts in C: a proposal for light-weight, deterministic concurrency
    15 years 11 months ago
    SyncCharts in C: a proposal for light-weight, deterministic concurrency
    Download  rtsys.informatik.uni-kiel.de
    Reinhard von Hanxleden
    claim paper
    Read More »
    FM
    2009
    Springer
    118views Formal Methods» more  FM 2009»
    Certifiable Specification and Verification of C Programs
    15 years 11 months ago
    Certifiable Specification and Verification of C Programs
    Download  www.informatik.uni-bremen.de
    Christoph Lüth, Dennis Walter
    claim paper
    Read More »
    ISVC
    2009
    Springer
    174views Applied Computing» more  ISVC 2009»
    High-Quality Rendering of Varying Isosurfaces with Cubic Trivariate C1-Continuous Splines
    15 years 11 months ago
    High-Quality Rendering of Varying Isosurfaces with Cubic Trivariate C1-Continuous Splines
    Download  www.gris.informatik.tu-darmstadt.de
    Smooth trivariate splines on uniform tetrahedral partitions are well suited for high-quality visualization of isosurfaces from scalar volumetric data. We propose a novel rendering ...
    Thomas Kalbe, Thomas Koch, Michael Goesele
    claim paper
    Read More »
    ACSD
    2008
    IEEE
    89views Hardware» more  ACSD 2008»
    Process algebraic verification of SystemC codes
    15 years 11 months ago
    Process algebraic verification of SystemC codes
    Download  www.win.tue.nl
    Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...
    claim paper
    Read More »
    DATE
    2008
    IEEE
    71views Hardware» more  DATE 2008»
    Efficient Implementation of Native Software Simulation for MPSoC
    15 years 11 months ago
    Efficient Implementation of Native Software Simulation for MPSoC
    Download  www.date-conference.com
    Patrice Gerin, Xavier Guerin, Frédér...
    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.