3256 search results - page 143 / 652 » Mixin-Based Programming in C |
117
Voted
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents an Integer Linear Programming (ILP) approach to the instruction-set extension identiļ¬cation problem. An algorithm that iteratively generates and solves a set...
96
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ļ...
139
Voted
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
Constraint programming is a powerful paradigm that oļ¬ers many diļ¬erent strategies for solving problems. Choosing a good strategy is diļ¬cult; choosing a poor strategy wastes r...
97
Voted
ICEC
1994
15 years 5 months ago
1994
:Rule-basedsystemsused for OpticalCharacterRecognition (OCR)are notoriously difficultto write,maintain,and upgrade. Thispaperdescribesa method forusing Genetic Programming(GP) to e...
110
Voted
IJCAI
1989
15 years 4 months ago
1989
A cognitive model of student programmers is presented. The model is based on protocol studies of students writing Pascal programs, and is implemented in a computer simulation prog...