11784 search results - page 2080 / 2357 » Improving Software Process Improvement |
144
Voted
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
139
click to vote
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
— In today’s complex SoC designs, verification and debugging are becoming ever more crucial and increasingly timeconsuming tasks. The prevalence of embedded memories adds to t...
137
click to vote
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
— Three-dimensional die stacking integration provides the ability to stack multiple layers of processed silicon with a large number of vertical interconnects. Through Silicon Via...
159
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Future progress in neuroscience hinges on reconstruction of neuronal circuits to the level of individual synapses. Because of the specifics of neuronal architecture, imaging must ...
150
click to vote
WWW
2010
ACM
16 years 1 days ago
2010
ACM
We introduce a client-server toolkit called Sync Kit that demonstrates how client-side database storage can improve the performance of data intensive websites. Sync Kit is designe...