Sciweavers

    3708 search results - page 44 / 742
    » Programming with C Exceptions
    Sort
    View
    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 »
    108
    Voted
    ASIAN
    2007
    Springer
    114views Algorithms» more  ASIAN 2007»
    Compiling C Programs into a Strongly Typed Assembly Language
    15 years 10 months ago
    Compiling C Programs into a Strongly Typed Assembly Language
    Download  www.qatar.cmu.edu
    Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezaw...
    claim paper
    Read More »
    SPIN
    2007
    Springer
    97views Theoretical Computer Science» more  SPIN 2007»
    Instrumenting C Programs with Nested Word Monitors
    15 years 10 months ago
    Instrumenting C Programs with Nested Word Monitors
    Download  www.cse.psu.edu
    Swarat Chaudhuri, Rajeev Alur
    claim paper
    Read More »
    AICCSA
    2006
    IEEE
    113views Hardware» more  AICCSA 2006»
    An Experiment in Automatic Conversion of Legacy Java Programs to C#
    15 years 10 months ago
    An Experiment in Automatic Conversion of Legacy Java Programs to C#
    Download  www.cs.le.ac.uk
    Mohammad El-Ramly, Rihab Eltayeb, Hisham A. Alla
    claim paper
    Read More »
    CCGRID
    2005
    IEEE
    102views Distributed And Parallel Com...» more  CCGRID 2005»
    The performance analysis of portable parallel programming interface MpC for SDSM and pthread
    15 years 10 months ago
    The performance analysis of portable parallel programming interface MpC for SDSM and pthread
    Download  xserv0.is.seikei.ac.jp
    H. Midorikawa
    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.