1494 search results - page 151 / 299 » Kernels for Global Constraints |
ICCAD
2009
IEEE
13 years 7 months ago
2009
IEEE
Hardware acceleration is crucial in modern embedded system design to meet the explosive demands on performance and cost. Selected computation kernels for acceleration are usually ...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
ASPDAC
2006
ACM
14 years 3 months ago
2006
ACM
— The rapid increase in IC design complexity and wide-spread use of intellectual-property (IP) blocks have made the so-called mixed-size placement a very important topic in recen...
DSS
2008
13 years 8 months ago
2008
The Web is a universal repository of human knowledge and culture which has allowed unprecedented sharing of ideas and information in a scale never seen before. It can also be cons...
Publication
We propose a method to accurately measure the shape
of objects by suppressing the effect of indirect reflection caused by the interreflection
and subsurface scattering. We use a ...