980 search results - page 160 / 196 » The Architecture Tradeoff Analysis Method |
COMCOM
2011
13 years 2 months ago
2011
In the very active field of complex networks, research advances have largely been stimulated by the availability of empirical data and the increase in computational power needed ...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
SC
2005
ACM
14 years 1 months ago
2005
ACM
Performance prediction across platforms is increasingly important as developers can choose from a wide range of execution platforms. The main challenge remains to perform accurate...
ICSOC
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. In this paper, we discuss on the extension of grid computing systems in mobile computing environments, where mobile devices can be effectively incorporated into the grid ...
DAWAK
2001
Springer
14 years 7 days ago
2001
Springer
Adaptable similarity queries based on quadratic form distance functions are widely popular in data mining applications, particularly for domains such as multimedia, CAD, molecular ...