9787 search results - page 1539 / 1958 » A Utile Function Optimizer |
162
click to vote
CC
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
201
click to vote
CRYPTO
2005
Springer
16 years 12 days ago
2005
Springer
Since bit and string oblivious transfer and commitment, two primitives of paramount importance in secure two- and multi-party computation, cannot be realized in an unconditionally ...
124
click to vote
ECAL
2005
Springer
16 years 12 days ago
2005
Springer
A swarm-bot is a robotic entity built of several autonomous mobile robots (called s-bots) physically connected together. This form of collective robotics exploits robot interaction...
157
click to vote
ESOP
2005
Springer
16 years 12 days ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
172
click to vote
EUROGP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Cartesian Genetic Programming is a graph based representation that has many benefits over traditional tree based methods, including bloat free evolution and faster evolu...