Search Sciweavers | Sciweavers

3708 search results - page 44 / 742

» Programming with C Exceptions

140

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 »

140

click to vote

ASIAN
2007
Springer

114views Algorithms» more ASIAN 2007»

Compiling C Programs into a Strongly Typed Assembly Language

16 years 1 months ago

Download www.qatar.cmu.edu

Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezaw...

claim paper

Read More »

147

click to vote

SPIN
2007
Springer

97views Theoretical Computer Science» more SPIN 2007»

Instrumenting C Programs with Nested Word Monitors

16 years 29 days ago

Download www.cse.psu.edu

Swarat Chaudhuri, Rajeev Alur

claim paper

Read More »

136

click to vote

AICCSA
2006
IEEE

113views Hardware» more AICCSA 2006»

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

16 years 27 days ago

Download www.cs.le.ac.uk

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

claim paper

Read More »

140

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 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers