13 search results - page 3 / 3 » A fast dual-field modular arithmetic logic unit and its hard... |
VLSISP
2008
13 years 5 months ago
2008
This paper describes a novel system for real-time video texture analysis. The system utilizes hardware to extract 2nd -order statistical features from video frames. These features ...
CADE
2009
Springer
14 years 3 days ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
GECCO
2006
Springer
13 years 9 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...