1695 search results - page 96 / 339 » Linear, Polynomial or Exponential |
134
click to vote
ESOP
2008
Springer
15 years 6 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...
123
click to vote
EUROGP
2008
Springer
15 years 6 months ago
2008
Springer
We present N-gram GP, an estimation of distribution algorithm for the evolution of linear computer programs. The algorithm learns and samples the joint probability distribution of...
119
click to vote
EOR
2008
15 years 4 months ago
2008
The Linear Ordering Problem with Cumulative Costs is an NP-hard combinatorial optimization problem arising from an application in UMTS mobile-phone communication systems. This pap...
129
click to vote
APPML
2004
15 years 4 months ago
2004
In this paper, a new condition for the controllability of higher order linear dynamical systems is obtained. The suggested test contains rank conditions of suitably defined matric...
123
click to vote
APAL
2010
15 years 4 months ago
2010
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...