3706 search results - page 282 / 742 » The Transformational Approach to Program Development |
144
click to vote
ECOOP
2012
Springer
13 years 6 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
167
click to vote
COCOS
2003
Springer
15 years 8 months ago
2003
Springer
We investigate some approaches to solving nonconvex global optimization problems by convex nonlinear programming methods. We assume that the problem becomes convex when selected va...
129
Voted
CASCON
1993
15 years 4 months ago
1993
The growth of commercial and academic interest in parallel and distributed computing during the past fifteen years has been accompanied by a corresponding increase in the number o...
126
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
In recent years, the development of multi-objective evolutionary algorithms (MOEAs) hybridized with mathematical programming techniques has significantly increased. However, most...
108
Voted
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
We summarize the Computational Engineering and Science program at the University of Utah. Program requirements as well as related research areas are outlined. To obtain the MS degr...