236 search results - page 13 / 48 » Binary Partitions Revisited |
118
Voted
PLDI
2004
ACM
15 years 6 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
117
Voted
ISMVL
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we propose a compact representation of logic functions using Multi-valued Decision Diagrams (MDDs) called heterogeneous MDDs. In a heterogeneous MDD, each variable ...
122
Voted
ICISS
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we introduce a distortion free watermarking e for relational databases based on the Abstract Interpretation framework. The watermarking technique is partition based. ...
96
Voted
4OR
2007
15 years 24 days ago
2007
Abstract We show that a well-known linearization technique initially proposed for quadratic assignment problems can be generalized to a broader class of quadratic 0-1 mixed-integer...
121
Voted
PR
2010
14 years 7 months ago
2010
Many algorithms in image analysis require a priority queue, a data structure that holds pointers to pixels in the image, and which allows efficiently finding the pixel in the queu...