2231 search results - page 151 / 447 » Alternation as a programming paradigm |
153
click to vote
SIAMSC
2008
15 years 4 months ago
2008
We present a two-phase algorithm for solving large-scale quadratic programs (QPs). In the first phase, gradient-projection iterations approximately minimize an augmented Lagrangian...
123
click to vote
EMO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Evolutionary algorithms have been quite effective in dealing with single-objective “optimization” while the area of Evolutionary Multiobjective Optimization (EMOO) h...
139
click to vote
IEEEAMS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
180
click to vote
CASES
2003
ACM
15 years 9 months ago
2003
ACM
Programming multi-processor ASIPs, such as network processors, remains an art due to the wide variety of architectures and due to little support for exploring different implement...
135
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...