932 search results - page 79 / 187 » Analysis and Optimization of CHR Programs |
90
Voted
MP
2007
15 years 5 days ago
2007
The elastic-mode formulation of the problem of minimizing a nonlinear function subject to equilibrium constraints has appealing local properties in that, for a finite value of the...
94
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Framework-intensive applications (e.g., Web applications) heavily use temporary data structures, often resulting in performance bottlenecks. This paper presents an optimized blend...
111
Voted
AIME
2003
Springer
15 years 6 months ago
2003
Springer
Ambulatory care supporting long-term treatment of type I diabetes mellitus (DM) is based on the analysis of daily notes of serum glucose measurements, carbohydrate intake, and insu...
117
click to vote
IWMM
2010
Springer
15 years 2 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
102
Voted
ISIPTA
2003
IEEE
15 years 6 months ago
2003
IEEE
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...