7393 search results - page 391 / 1479 » Synthesis-for-testability using transformations |
135
click to vote
ECSA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....
114
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
Model-driven engineering (MDE) techniques address rapid changes anguages and platforms by lifting the abstraction level from code to models. On the one hand models are transformed ...
120
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— We present a new sampling-based algorithm for iteratively locating Voronoi vertices of a point set in the unit cube Id = [0, 1]d . The algorithm takes an input sample and execu...
156
Voted
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
— Multiple description coding (MDC) has been shown to be robust for video transmission over error-prone channels. By applying the extra prediction loops to the multiple descripti...
147
Voted
ADAEUROPE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. To handle signal processing algorithms such as the Fast Fourrier Transform (FFT) or the Discrete Cosine Transform (DCT) system designers have traditionally resorted to sp...