1951 search results - page 305 / 391 » An algorithm for improving graph partitions |
151
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
Increasing popularity of XML in recent years has generated much interest in query processing over graph-structured data. To support efficient evaluation of path expressions, many ...
131
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Efficiently finding Web services on the Web is a challenging issue in service-oriented computing. Currently, UDDI is a standard for publishing and discovery of Web services, and U...
119
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
145
click to vote
SAT
2007
Springer
15 years 10 months ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
128
click to vote
WOWMOM
2006
ACM
15 years 10 months ago
2006
ACM
The evolution of wireless devices along with the increase in user mobility have created new challenges such as network partitioning and intermittent connectivity. These new challe...