Sciweavers

3708 search results - page 44 / 371

» Programming with C Exceptions

Certifiable Specification and Verification of C Programs

118 views 82 votes 15 years 9 months ago FM 2009»

claim paper

Christoph Lüth, Dennis Walter

Compiling C Programs into a Strongly Typed Assembly Language

114 views 94 votes 15 years 8 months ago ASIAN 2007»

claim paper

Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezaw...

Instrumenting C Programs with Nested Word Monitors

97 views 95 votes 15 years 8 months ago SPIN 2007»

claim paper

Swarat Chaudhuri, Rajeev Alur

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

113 views 93 votes 15 years 8 months ago AICCSA 2006»

claim paper

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

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

102 views 90 votes 15 years 8 months ago CCGRID 2005»

claim paper

H. Midorikawa

Compiler parallelization of C programs for multi-core DSPs with multiple address spaces

90 views 90 votes 15 years 7 months ago CODES 2003»

claim paper

Björn Franke, Michael F. P. O'Boyle

From C Programs to the Configure-Execute Model

78 views 66 votes 15 years 7 months ago DATE 2003»

claim paper

João M. P. Cardoso, Markus Weinhardt

Fast prototyping of reconfigurable architectures from a C program

123 views 97 votes 15 years 7 months ago ISCAS 2003»

Rapid evaluation and design space exploration at the algorithmic level are important issues in the design cycle. In this paper we propose an original area vs delay estimation meth...

claim paper

Sebastien Bilavarn, Guy Gogniat, Jean Luc Philippe...

Systematic test program generation for SoC testing using embedded processor

89 views 80 votes 15 years 7 months ago ISCAS 2003»

claim paper

Mohammad H. Tehranipour, Mehrdad Nourani, Seid Meh...

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs

96 views 84 votes 15 years 7 months ago SCAM 2003»

claim paper

Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Ha...

« Prev « First page 44 / 371 Last » Next »