1329 search results - page 57 / 266 » Constraint-based model synthesis |
156
click to vote
FCCM
1995
IEEE
15 years 7 months ago
1995
IEEE
FPGA-based synthesis tools require information about behaviour and architectural to make effective use of the limited number of cells typically available. A hardware description l...
123
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
141
click to vote
ENTCS
2010
15 years 4 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
117
click to vote
PR
2006
15 years 3 months ago
2006
This paper presents a general framework to integrate a new type of constraints, based on spatial relations, in deformable models. In the proposed approach, spatial relations are r...
129
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
Multimedia applications are characterized by a large number of data accesses and complex array index manipulations. The built-in address decoder in the RAM memory model commonly u...