1329 search results - page 80 / 266 » Constraint-based model synthesis |
155
click to vote
ASAP
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...
108
click to vote
IVC
2006
15 years 4 months ago
2006
Warping is one of the key areas of image analysis but there has been no understanding of the effects of different non-linear deformations in literature. This paper addresses the p...
151
click to vote
TWC
2008
15 years 4 months ago
2008
Computationally scalable and accurate estimation, prediction, and simulation of wireless communication channels is critical to the development of more adaptive transceiver algorith...
136
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
Abstract— This paper presents synthesis of Hardware Dependent Software (HdS) for multicore and many-core designs using Embedded System Environment (ESE). ESE is a tool set, devel...
139
click to vote
AAAI
1990
15 years 5 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...