932 search results - page 67 / 187 » Analysis and Optimization of CHR Programs |
131
click to vote
PE
2010
Springer
14 years 7 months ago
2010
Springer
We introduce a new framework supporting the bottleneck analysis of closed, multiclass BCMP queueing networks in the limiting regime where the number of jobs proportionally grows t...
124
click to vote
ICSM
1994
IEEE
15 years 4 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
111
Voted
CPAIOR
2006
Springer
15 years 4 months ago
2006
Springer
We show that various duals that occur in optimization and constraint satisfaction can be classified as inference duals, relaxation duals, or both. We discuss linear programming, su...
112
click to vote
AIPS
2009
15 years 1 months ago
2009
Solving multiagent planning problems modeled as DECPOMDPs is an important challenge. These models are often solved by using dynamic programming, but the high resource usage of cur...
114
Voted
CGO
2006
IEEE
15 years 6 months ago
2006
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Algorithms have been proposed that automatically group similar portions of a program...