3107 search results - page 418 / 622 » Error-Correcting Source Code |
112
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...
125
Voted
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
New embedded systems must be power-aware, not just low-power. That is, they must track their power sources and the changingpower and performance constraints imposed by the environ...
121
Voted
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
other projects in the database. Software development data is highly variable, which often result,s in underlying trends being hidden. In order to address this problem, a method of ...
130
Voted
ISHPC
2000
Springer
15 years 7 months ago
2000
Springer
Traditional parallel compilers do not effectively parallelize irregular applications because they contain little looplevel parallelism due to ambiguous memory references. We explo...
132
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...