Sciweavers

7393 search results - page 138 / 1479
» Synthesis-for-testability using transformations
Sort
View
GG
2004
Springer
15 years 8 months ago
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
Paolo Baldan, Barbara König, Ingo Stürme...
TAL
2004
Springer
15 years 8 months ago
Ontology-Based Feature Transformations: A Data-Driven Approach
Abstract. We present a novel approach to incorporating semantic information to the problems of natural language processing, in particular to the document classification task. The ...
Filip Ginter, Sampo Pyysalo, Jorma Boberg, Jouni J...
112
Voted
IPPS
2003
IEEE
15 years 8 months ago
Short Vector Code Generation for the Discrete Fourier Transform
In this paper we use a mathematical approach to automatically generate high performance short vector code for the discrete Fourier transform (DFT). We represent the well-known Coo...
Franz Franchetti, Markus Püschel
DELTA
2010
IEEE
15 years 8 months ago
Algorithm Transformation for FPGA Implementation
— High level hardware description languages aim to make hardware design more like programming software. These languages are often used to accelerate legacy software algorithms by ...
Donald G. Bailey, Christopher T. Johnston
CAIP
2009
Springer
182views Image Analysis» more  CAIP 2009»
15 years 8 months ago
New Lane Model and Distance Transform for Lane Detection and Tracking
Particle filtering of boundary points is a robust way to estimate lanes. This paper introduces a new lane model in correspondence to this particle filterbased approach, which is ...
Ruyi Jiang, Reinhard Klette, Tobi Vaudrey, Shigang...