4066 search results - page 488 / 814 » Almost Complete Sets |
182
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
174
click to vote
FGR
2006
IEEE
16 years 1 months ago
2006
IEEE
Facial composites are typically constructed by witnesses to crime by describing a suspect's face and then selecting facial features from a kit of parts. Unfortunately, when p...
187
click to vote
CASES
2006
ACM
16 years 1 months ago
2006
ACM
The continuing miniaturization of technology coupled with wireless networks has made it feasible to physically embed sensor network systems into the environment. Sensor net proces...
199
Voted
ISCC
2005
IEEE
16 years 1 months ago
2005
IEEE
The paper presents a novel protection methodology for setting protected paths in a multiservice GMPLSbased network scenario. By applying the proposed methods, label switched paths...
166
Voted
SPAA
2005
ACM
16 years 1 months ago
2005
ACM
This paper presents concurrent cache-oblivious (CO) B-trees. We extend the cache-oblivious model to a parallel or distributed setting and present three concurrent CO B-trees. Our ...