2542 search results - page 214 / 509 » integration 2010 |
187
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Multiplexing is a common technique for encoding highdimensional image data into a single, two-dimensional image. Examples of spatial multiplexing include Bayer patterns to capture...
186
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We present a flexible method for fusing information from optical and range sensors based on an accelerated highdimensional filtering approach. Our system takes as input a sequen...
164
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
158
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Although group support systems (GSS) can potentially have tremendous impacts in helping to solve the challenges faced by organizations and societies today, research to date has pr...
156
click to vote
ISQED
2010
IEEE
16 years 1 months ago
2010
IEEE
— Post-silicon debug comprises a significant and highly variable fraction of the total development time for large chip designs. To accelerate post-silicon debug, BackSpace [1, 2...