6149 search results - page 244 / 1230 » Revealing the programming process |
128
Voted
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
One of the challenges in web software development is to help achieving a good level of quality in terms of code size and runtime performance, for increasingly popular domain speci...
155
Voted
MCS
2001
Springer
15 years 9 months ago
2001
Springer
Genetic programming (GP) can automatically fuse given classifiers of diverse types to produce a combined classifier whose Receiver Operating Characteristics (ROC) are better than...
155
click to vote
GECCO
1999
Springer
15 years 9 months ago
1999
Springer
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
189
Voted
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
125
Voted
ASAP
2006
IEEE
15 years 8 months ago
2006
IEEE
Parameterized static affine nested loop programs can be automatically converted to input-output equivalent Kahn Process Network specifications. These networks turn out to be close...