5465 search results - page 836 / 1093 » Assigning Types to Processes |
159
click to vote
ICCAD
2008
IEEE
16 years 3 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...
153
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Stalls, due to mis-matches in communication rates, are a major performance obstacle in pipelined circuits. If the rate of data production is faster than the rate of consumption, t...
147
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
Online collaboration, in comparison to face-to-face collaboration, is advantageous in making multiparty teamwork possible at a very low cost. As multicultural multiparty collabora...
152
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Many successful models for scene or object recognition transform low-level descriptors (such as Gabor filter responses, or SIFT descriptors) into richer representations of interme...
144
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We propose a multi-view stereo reconstruction algorithm which recovers urban scenes as a combination of meshes and geometric primitives. It provides a compact model while preservi...