7103 search results - page 888 / 1421 » Program Generation and Components |
171
click to vote
JFP
2008
15 years 6 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
183
click to vote
JOT
2006
15 years 6 months ago
2006
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
159
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
182
click to vote
JCB
2007
15 years 6 months ago
2007
Accurate prediction of pseudoknotted nucleic acid secondary structure is an important computational challenge. Prediction algorithms based on dynamic programming aim to find a st...
137
click to vote
TSE
2008
15 years 6 months ago
2008
Design patterns are important in object-oriented programming because they offer design motifs, elegant solutions to recurrent design problems, which improve the quality of software...