MEMICS
2010
12 years 11 months ago
2010
We describe an automated way to generate data for a practical LLVM instruction selector based on machine-generated description of the target architecture at register transfer leve...
MEMICS
2010
12 years 11 months ago
2010
MEMICS
2010
12 years 11 months ago
2010
A topological flexibility of implicit active contours is of great benefit, since it allows simultaneous detection of several objects without any a priori knowledge about their num...
MEMICS
2010
12 years 11 months ago
2010
Identification in the limit, originally due to Gold [10], is a widely used computation model for inductive inference and human language acquisition. We consider a nonconstructive ...
MEMICS
2010
12 years 11 months ago
2010
Abstract. Increasing integration densities and the emergence of nanotechnology cause issues related to reliability and power consumption to become dominant factors for the design o...
MEMICS
2010
12 years 11 months ago
2010
MEMICS
2010
12 years 11 months ago
2010
In this paper, an extension of our previous research focused on haptic rendering based on interpolation from precomputed data is presented. The technique employs the radial-basis ...
MEMICS
2010
12 years 11 months ago
2010
MEMICS
2010
12 years 11 months ago
2010
interpretation example conclusion Test-Case Generation for Embedded Binary ng Abstract Interpretation Thomas Reinbacher1 , J
MEMICS
2010
12 years 11 months ago
2010
In this paper, we propose a modification to the Boykov-Kolmogorov maximum flow algorithm [2] in order to make the algorithm preserve the topology of an initial interface. This alg...