4584 search results - page 287 / 917 » Sequential parameter optimization |
118
click to vote
ICCAD
2007
IEEE
16 years 5 days ago
2007
IEEE
Retiming and resynthesis are among the most important techniques for practical sequential circuit optimization. However, their applicability is much limited due to verification c...
107
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— In previous work we presented a multi-robot strategy for routing missions in large scenarios where network connectivity must be explicitly preserved. This strategy is founded o...
114
Voted
MICRO
2008
IEEE
15 years 9 months ago
2008
IEEE
The advent of multicores presents a promising opportunity for speeding up sequential programs via profile-based speculative parallelization of these programs. In this paper we pr...
115
Voted
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper revisits the problem of detecting greedy behavior in the IEEE 802.11 MAC protocol by evaluating the performance of two previously proposed schemes: DOMINO and the Se...
131
click to vote
MEMOCODE
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...