315 search results - page 49 / 63 » Combinational Verification based on High-Level Functional Sp... |
ISCA
2000
IEEE
14 years 7 days ago
2000
IEEE
The microprocessor industry is currently struggling with higher development costs and longer design times that arise from exceedingly complex processors that are pushing the limit...
IWPC
2010
IEEE
13 years 6 months ago
2010
IEEE
—Data fusion is the process of integrating multiple sources of information such that their combination yields better results than if the data sources are used individually. This ...
BMCBI
2007
13 years 8 months ago
2007
Background: Cis-acting transcriptional regulatory elements in mammalian genomes typically contain specific combinations of binding sites for various transcription factors. Althoug...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
CVPR
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper presents a new image denoising model for real color photo noise removal. Our model is implemented in the hue, saturation and intensity (HSI) space. The hue and saturati...