1727 search results - page 216 / 346 » A Technique for Large Automated Mechanism Design Problems |
185
click to vote
CLUSTER
2000
IEEE
15 years 10 months ago
2000
IEEE
To construct a large commodity clustec a hierarchical network is generally adopted for connecting the host muchines, where a Gigabit backbone switch connects a few commodity switc...
194
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— With the expansion of cloud-based services, the question as to how to control usage of such large distributed systems has become increasingly important. Load balancing (LB), an...
187
click to vote
HPDC
2008
IEEE
16 years 26 days ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
186
click to vote
MTV
2003
IEEE
15 years 11 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
130
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
We consider the problem of optimizing the performance of a latency-insensitive system (LIS) where the addition of backpressure has caused throughput degradation. Previous works ha...