6800 search results - page 1131 / 1360 » Testing with Functions as Specifications |
ISLPED
1995
ACM
13 years 12 months ago
1995
ACM
We will present a power estimation technique for digital integrated circuits that operates at the register transfer level RTL . Such a high-level power estimation capability is r...
SC
1995
ACM
13 years 12 months ago
1995
ACM
The Convex SPP-1000 is the first commercial implementation of a new generation of scalable shared memory parallel computers with full cache coherence. It employs a hierarchical s...
GECCO
2010
Springer
13 years 11 months ago
2010
Springer
In this paper we introduce a method for computing fitness in evolutionary learning systems based on NVIDIA’s massive parallel technology using the CUDA library. Both the match ...
ICPR
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract—A visual appearance of natural materials fundamentally depends on illumination conditions, which significantly complicates a real scene analysis. We propose textural fe...
BMVC
2001
13 years 10 months ago
2001
This paper describes an algorithm for shape estimation in cluttered scenes. A new image potential is defined based on strokes detected in the image. The motivation is simple. Fea...