5241 search results - page 594 / 1049 » Embedded Programming with C |
149
Voted
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
168
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
130
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
Many backtracking algorithms exhibit heavy-tailed distributions, in which their running time is often much longer than their median. We analyze the behavior of two natural variant...
136
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a process for the semi-automatic conversion of numerical and scientific routines written in the C programming language into Triana-based computational servic...
122
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper is the first extensive performance study of a recently proposed parallel programming model, called Concurrent Collections (CnC). In CnC, the programmer expresses her co...