1086 search results - page 65 / 218 » Programming by Numbers: A Programming Method for Novices |
148
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
175
click to vote
EPS
1997
Springer
15 years 10 months ago
1997
Springer
Typical applications of evolutionary optimization involve the off-line approximation of extrema of static multi-modal functions. Methods which use a variety of techniques to self-...
147
click to vote
AMC
2005
15 years 6 months ago
2005
This paper presents a new symbolic algorithm to compute the singular initial value problem of second-order ordinary differential equations using Adomian decomposition method. The ...
163
click to vote
ECOOP
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...
171
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The identification of local similarities between two protein structures can provide clues of a common function. Many different methods exist for searching for similar ...