14078 search results - page 310 / 2816 » Design and Analysis of Computer Algorithms |
175
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
170
click to vote
SAC
2004
ACM
16 years 3 days ago
2004
ACM
In the analysis of multidimensional data sets questions involving detection of extremal events, correlations, patterns and trends play an increasingly important role in a variety ...
198
click to vote
ISPD
2004
ACM
16 years 3 days ago
2004
ACM
High performance integrated circuits are now reaching the 100-plus watt regime, and power delivery and power grid signal integrity have become critical. Analyzing the performance ...
153
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
147
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
- In multi-layered power/ground (P/G) networks, to connect the whole network together, vertical vias are usually placed at intersections between metal wires of adjoining layers. In...