2883 search results - page 296 / 577 » Algorithms for merged indexes |
174
click to vote
SAT
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
135
click to vote
MM
1997
ACM
15 years 10 months ago
1997
ACM
–Large scale clustered continuous media (CM) servers deployed in applications like video-on-demand have high availability requirements. In the event of server failure, streams fr...
168
click to vote
LISA
2007
15 years 8 months ago
2007
Packet filtering firewall is one of the most important mechanisms used by corporations to enforce their security policy. Recent years have seen a lot of research in the area of ...
170
click to vote
CGF
2006
15 years 5 months ago
2006
A mixed reality (MR) represents an environment composed both by real and virtual objects. MR applications are used more and more, for instance in surgery, architecture, cultural h...
155
click to vote
PVLDB
2010
15 years 4 months ago
2010
The performance of external sorting using merge sort is highly dependent on the length of the runs generated. One of the most commonly used run generation strategies is Replacemen...