2777 search results - page 378 / 556 » Example centric programming |
152
Voted
SIAMJO
2002
15 years 2 months ago
2002
Abstract. Sequential quadratic programming (SQP) methods have proved highly effective for solving constrained optimization problems with smooth nonlinear functions in the objective...
119
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Much effort is spent everyday by programmers in trying to reduce long, failing execution traces to the cause of the error. We present a new algorithm for error cause localization ...
160
Voted
ASSETS
2010
ACM
14 years 9 months ago
2010
ACM
Individuals diagnosed with autism spectrum disorder (ASD) often fixate on narrow, restricted interests. These interests can be highly motivating, but they can also create attentio...
138
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
260
Voted
PADL
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...