2497 search results - page 272 / 500 » Requirements for models of achievable routing |
161
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Physical synthesis optimizations and engineering change orders typically change the locations of cells, resize cells or add more cells to the design after global placement. Unfort...
188
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
—This research focuses on distributed and localized algorithms for precise boundary detection in 3D wireless networks. Our objectives are in two folds. First, we aim to identify ...
191
click to vote
CN
2008
15 years 6 months ago
2008
The primary feature of cognitive radios for wireless communication systems is the capability to optimize the relevant communication parameters given a dynamic wireless channel env...
173
click to vote
EVOW
2012
Springer
14 years 2 months ago
2012
Springer
This paper presents HyFlex, a software framework for the development of cross-domain search methodologies. The framework features a common software interface for dealing with diff...
164
Voted
CHARME
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...