Sciweavers

2882 search results - page 294 / 577
» Enhancements to the Voting Algorithm
Sort
View
DAC
2006
ACM
16 years 4 days ago
Mining global constraints for improving bounded sequential equivalence checking
In this paper, we propose a novel technique on mining relationships in a sequential circuit to discover global constraints. In contrast to the traditional learning methods, our mi...
Weixin Wu, Michael S. Hsiao
STOC
2006
ACM
116views Algorithms» more  STOC 2006»
16 years 4 days ago
Information-theoretically secure protocols and security under composition
We investigate the question of whether security of protocols in the information-theoretic setting (where the adversary is computationally unbounded) implies the security of these ...
Eyal Kushilevitz, Yehuda Lindell, Tal Rabin
AINA
2005
IEEE
15 years 11 months ago
Improving the Ramping up Behavior of TCP Slow Start
This paper proposes an improvement to the TCP ramp up behavior in slow-start. Current implementations of the TCP start-up procedure may result in an exponential growth of the cong...
Rung-Shiang Cheng, Hui-Tang Lin, Wen-Shyang Hwang,...
CEC
2005
IEEE
15 years 11 months ago
On improving genetic programming for symbolic regression
This paper reports an improvement to genetic programming (GP) search for the symbolic regression domain, based on an analysis of dissimilarity and mating. GP search is generally di...
Steven Gustafson, Edmund K. Burke, Natalio Krasnog...
ARCS
2005
Springer
15 years 11 months ago
Reducing System Level Power Consumption for Mobile and Embedded Platforms
The power consumption of peripheral devices is a significant portion of the overall energy usage of a mobile platform. To take advantage of idle times, most devices offer the abi...
Ripal Nathuji, Karsten Schwan