2976 search results - page 102 / 596 » On the bounded integer programming |
94
Voted
CORR
2008
Springer
15 years 19 days ago
2008
Springer
The linear programming method is applied to the space Un(C) of unitary matrices in order to obtain bounds for codes relative to the diversity sum and the diversity product. Theore...
102
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We answer a problem posed in [GKM08] regarding a restricted model of small-space computation, tailored for solving the GEN problem. They define two variants of “incremental bra...
105
click to vote
ERSHOV
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
102
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
100
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...