9626 search results - page 434 / 1926 » Invariant Based Programming |
244
click to vote
OL
2011
15 years 1 months ago
2011
Abstract. We propose a privacy-preserving formulation of a linear program whose constraint matrix is partitioned into groups of columns where each group of columns and its correspo...
303
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...
193
click to vote
CGO
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent work has shown that machine learning can automate and in some cases outperform hand crafted compiler optimizations. Central to such an approach is that machine learning tec...
174
click to vote
EVOW
2009
Springer
16 years 1 months ago
2009
Springer
Evolutionary art has a long and distinguished history, and genetic programming is one of only a handful of AI techniques which is used in graphic design and the visual arts. A rece...
190
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a utility-based resource allocation scheme for layer-encoded IPTV multicast streaming service over IEEE 802.16 WiMAX networks. Unlike existing utility-bas...