936 search results - page 131 / 188 » The Synthesis Problem of Netcharts |
100
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
In this study, we apply a novel synthesis technique for implementing robust digital computation in nanoscale lattices with random interconnects: percolation theory on random graph...
125
Voted
ICCAD
2006
IEEE
16 years 9 days ago
2006
IEEE
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean satisfiability (SAT). State-of-the-art methods use simulat...
78
Voted
ICCAD
2004
IEEE
16 years 9 days ago
2004
IEEE
Microchip structures represent an attractive platform for microscale chemical processing of fluidic systems. However, standardized design methods for these devices have not yet b...
121
Voted
ICCAD
2002
IEEE
16 years 8 days ago
2002
IEEE
For many years, CMOS process scaling has allowed a steady increase in the operating frequency and integration density of integrated circuits. Only recently, however, have we reach...
117
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We propose a learning method for gait synthesis from a sequence of shapes(frames) with the ability to extrapolate to novel data. It involves the application of PCA, first to redu...