10493 search results - page 1664 / 2099 » Dynamic Word Problems |
155
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
The run-time binding of web services has been recently put forward in order to support rapid and dynamic web service compositions. With the growing number of alternative web servi...
STOC
2004
ACM
16 years 4 months ago
2004
ACM
Recently, approximation analysis has been extensively used to study algorithms for routing weighted packets in various network settings. Although different techniques were applied...
142
click to vote
SIGMOD
2002
ACM
16 years 4 months ago
2002
ACM
The Grid is an emerging platform to support on-demand "virtual organisations" for coordinated resource sharing and problem solving on a global scale. The application thr...
134
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
This paper considers the problem of change detection using local distributed eigen monitoring algorithms for next generation of astronomy petascale data pipelines such as the Larg...
158
click to vote
ICCAD
2001
IEEE
16 years 21 days ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...