3473 search results - page 169 / 695 » Aspect-Oriented Programming with C |
138
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
It is difficult for a student to learn how to program and to build an understanding of the rationale which underpins the development of a program’s componentparts. Conventional ...
116
click to vote
ITNG
2006
IEEE
15 years 10 months ago
2006
IEEE
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...
122
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents an Integer Linear Programming (ILP) approach to the instruction-set extension identification problem. An algorithm that iteratively generates and solves a set...
104
click to vote
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 ...
143
click to vote
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
Constraint programming is a powerful paradigm that offers many different strategies for solving problems. Choosing a good strategy is difficult; choosing a poor strategy wastes r...