Sciweavers

Share
MEMICS
2010
9 years 6 months ago
Instructor Selector Generation from Architecture Description
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...
Miloslav Trmac, Adam Husar, Jan Hranac, Tomas Hrus...
MEMICS
2010
9 years 6 months ago
Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm
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...
Martin Maska, Pavel Matula, Michal Kozubek
MEMICS
2010
9 years 6 months ago
On Reliability and Refutability in Nonconstructive Identification
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 ...
Ilja Kucevalovs
MEMICS
2010
9 years 6 months ago
Monitoring and Control of Temperature in Networks-on-Chip
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...
Tim Wegner, Claas Cornelius, Andreas Tockhorn, Dir...
MEMICS
2010
9 years 6 months ago
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data
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 ...
Jan Fousek, Tomas Golembiovsky, Jiri Filipovic, Ig...
MEMICS
2010
9 years 6 months ago
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
interpretation example conclusion Test-Case Generation for Embedded Binary ng Abstract Interpretation Thomas Reinbacher1 , J
Thomas Reinbacher, Jörg Brauer, Martin Horaue...
MEMICS
2010
9 years 6 months ago
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation
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...
Ondrej Danek, Martin Maska
books