Search Sciweavers | Sciweavers

3404 search results - page 39 / 681

» C Programming Tutorial

132

click to vote

FM
2009
Springer

118views Formal Methods» more FM 2009»

Certifiable Specification and Verification of C Programs

16 years 1 months ago

Download www.informatik.uni-bremen.de

Christoph Lüth, Dennis Walter

claim paper

Read More »

135

click to vote

ASIAN
2007
Springer

114views Algorithms» more ASIAN 2007»

Compiling C Programs into a Strongly Typed Assembly Language

16 years 18 days ago

Download www.qatar.cmu.edu

Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezaw...

claim paper

Read More »

137

click to vote

SPIN
2007
Springer

97views Theoretical Computer Science» more SPIN 2007»

Instrumenting C Programs with Nested Word Monitors

16 years 16 days ago

Download www.cse.psu.edu

Swarat Chaudhuri, Rajeev Alur

claim paper

Read More »

130

click to vote

AICCSA
2006
IEEE

113views Hardware» more AICCSA 2006»

An Experiment in Automatic Conversion of Legacy Java Programs to C#

16 years 14 days ago

Download www.cs.le.ac.uk

Mohammad El-Ramly, Rihab Eltayeb, Hisham A. Alla

claim paper

Read More »

136

click to vote

CCGRID
2005
IEEE

102views Distributed And Parallel Com...» more CCGRID 2005»

The performance analysis of portable parallel programming interface MpC for SDSM and pthread

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers