1755 search results - page 300 / 351 » An efficient simulation algorithm based on abstract interpre... |
AAAI
1998
14 years 11 months ago
1998
Manydesign problems are solved using multiple levels of abstraction, wherea design at one level has combinatorially manychildren at the next level. A stochastic optimization metho...
GLOBECOM
2008
IEEE
14 years 11 months ago
2008
IEEE
Abstract— An important issue for supporting multimedia applications in multiple heterogeneous networks, a typical pervasive computing environment, is how to optimize the rate all...
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—Accurate and timely identification of the routerlevel topology of the Internet is one of the major unresolved problems in Internet research. Topology recovery via tomog...
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—Multiple-input and multiple-output (MIMO) technique is considered as one of the most promising emerging wireless technologies that can significantly improve transmissio...
104
click to vote
ATS
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...