638 search results - page 37 / 128 » Scalable Techniques for Clustering the Web |
TCAD
2008
13 years 9 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
EUROPAR
2007
Springer
14 years 3 months ago
2007
Springer
The continuous increase of computational power has made viable the implementation of more and more sophisticated virtualization techniques. The use of virtualization in cluster env...
ICDCS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper develops a scalable online optimization framework for the autonomic performance management of distributed computing systems operating in a dynamic environment to satisf...
CCR
2004
13 years 9 months ago
2004
Providing scalable distributed Web-based eventing services has been an important research topic. It is desirable to have an effective mechanism for the servers to summarize their f...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
— In this paper, information theoretic techniques are used to derive analytic expressions for the minimum expected length of control messages exchanged by proactive routing in a ...