1569 search results - page 158 / 314 » Automated Design Improvement by Example |
120
click to vote
IJNSEC
2007
15 years 3 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...
113
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Process variation has become a critical problem in modern VLSI fabrication. In the presence of process variation, buffer insertion problem under performance constraints becomes mo...
110
Voted
DAC
1999
ACM
16 years 4 months ago
1999
ACM
- Closed form solutions for the 50% delay, rise time, overshoots, and settling time of signals in an RLC tree are presented. These solutions have the same accuracy characteristics ...
125
click to vote
DAC
1999
ACM
16 years 4 months ago
1999
ACM
Finding the minimum column multiplicity for a bound set of variables is an important problem in Curtis decomposition. To investigate this problem, we compared two graphcoloring pr...
120
click to vote
DAC
2001
ACM
16 years 4 months ago
2001
ACM
Clustering is an effective method to increase the available parallelism in VLIW datapaths without incurring severe penalties associated with large number of register file ports. E...