5241 search results - page 406 / 1049 » Embedded Programming with C |
199
Voted
MEMOCODE
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
225
click to vote
MSR
2006
ACM
16 years 1 months ago
2006
ACM
Evolutionary annotations are descriptions of how source code evolves over time. Typical source comments, given their static nature, are usually inadequate for describing how a pro...
195
click to vote
EUROPAR
2005
Springer
16 years 27 days ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
177
Voted
GPCE
2005
Springer
16 years 27 days ago
2005
Springer
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homoge...
200
click to vote
GECCO
2003
Springer
16 years 17 days ago
2003
Springer
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...