2976 search results - page 158 / 596 » On the bounded integer programming |
131
click to vote
RTAS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most...
105
click to vote
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...
CORR
2007
Springer
15 years 3 months ago
2007
Springer
A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Supinterpretations have shown their interest to deal with...
134
click to vote
CPAIOR
2008
Springer
15 years 4 months ago
2008
Springer
This paper extends our previous work by exploring the use of a hybrid solution method for solving the connection subgraph problem. We employ a two phase solution method, which dras...
142
click to vote
CPAIOR
2008
Springer
15 years 4 months ago
2008
Springer
Theoretical models for the evaluation of quickly improving search strategies, like limited discrepancy search, are based on specific assumptions regarding the probability that a va...