Sciweavers

7329 search results - page 27 / 1466
» Software Architectural Transformation
Sort
View
JOT
2006
113views more  JOT 2006»
14 years 11 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
EMSOFT
2010
Springer
14 years 9 months ago
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fi...
ICASSP
2010
IEEE
14 years 9 months ago
Bandwidth-intensive FPGA architecture for multi-dimensional DFT
Multi-dimensional (MD) Discrete Fourier Transform (DFT) is a key kernel algorithm in many signal processing algorithms, including radar data processing and medical imaging. Althou...
Chi-Li Yu, Chaitali Chakrabarti, Sungho Park, Vija...
65
Voted
DAC
2000
ACM
15 years 4 months ago
Optimizing sequential verification by retiming transformations
Gianpiero Cabodi, Stefano Quer, Fabio Somenzi