Sciweavers

1420 search results - page 118 / 284
» A Framework for Scheduler Synthesis
Sort
View
PRDC
2007
IEEE
16 years 17 days ago
Model Based Development of Safety-Critical Systems Using Template Based Code Generation
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
Matthias Regensburger, Christian Buckl, Alois Knol...
FMCAD
2008
Springer
15 years 7 months ago
Invariant-Strengthened Elimination of Dependent State Elements
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
Michael L. Case, Alan Mishchenko, Robert K. Brayto...
ALC
1997
15 years 7 months ago
Synthesising interconnections
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...
José Luiz Fiadeiro, Antónia Lopes, T...
TSP
2010
15 years 29 days ago
Design of regular wavelets using a three-step lifting scheme
We propose structural multidimensional multi-channel filter banks with desirable numbers of vanishing moments for the analysis and synthesis banks. For a two-channel filter bank, w...
Ramin Eslami, Hayder Radha
ICASSP
2011
IEEE
14 years 10 months ago
Blind periodically time-varying MMOE channel shortening for OFDM systems
In this paper, the problem of synthesizing a blind channel shortening algorithm for orthogonal frequency-division multiplexing (OFDM) systems is addressed. In particular, a common...
Donatella Darsena, Giacinto Gelli, Luigi Paura, Fr...