Sciweavers

903 search results - page 111 / 181
» On the reduction of a random basis
Sort
View
ASPDAC
2006
ACM
100views Hardware» more  ASPDAC 2006»
16 years 5 days ago
Generation of shorter sequences for high resolution error diagnosis using sequential SAT
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
Sung-Jui (Song-Ra) Pan, Kwang-Ting Cheng, John Moo...
CP
2005
Springer
15 years 11 months ago
Multi-point Constructive Search
Abstract. Multi-Point Constructive Search maintains a small set of “elite solutions” that are used to heuristically guide constructive search through periodically restarting se...
J. Christopher Beck
INFOCOM
2002
IEEE
15 years 11 months ago
Using the Small-World Model to Improve Freenet Performance
– Efficient data retrieval in a peer-to-peer system like Freenet is a challenging problem. In this paper we study the impact of cache replacement policy on the performance of Fre...
Hui Zhang 0002, Ashish Goel, Ramesh Govindan
LSSC
2001
Springer
15 years 10 months ago
A Quasi-Monte Carlo Method for Integration with Improved Convergence
Abstract. Quasi-Monte Carlo methods are based on the idea that random Monte Carlo techniques can often be improved by replacing the underlying source of random numbers with a more ...
Aneta Karaivanova, Ivan Dimov, Sofiya Ivanovska
WCNC
2010
IEEE
15 years 10 months ago
Transmit and Reserve (TAR): A Coordinated Channel Access for IEEE 802.11 Networks
—This paper considers the medium access problem in the IEEE 802.11 standard. Although the transmission bit rates have clearly increased, some MAC related problems remain unsolved...
Bachar Wehbi, Anis Laouiti, Ana R. Cavalli