1086 search results - page 72 / 218 » Programming by Numbers: A Programming Method for Novices |
142
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
150
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in the framework of sy...
142
click to vote
FASE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...
176
click to vote
ALMOB
2006
15 years 6 months ago
2006
Background: Automated software tools for multiple alignment often fail to produce biologically meaningful results. In such situations, expert knowledge can help to improve the qua...
160
click to vote
ACL
1996
15 years 7 months ago
1996
This paper addresses the problem of correcting spelling errors that result in valid, though unintended words (such as peace and piece, or quiet and quite) and also the problem of ...