1151 search results - page 165 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
152
click to vote
FPL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
143
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
To meet conflicting flexibility, performance and cost constraints of demanding signal processing applications, future designs in this domain will contain an increasing number of a...
148
click to vote
HAIS
2009
Springer
15 years 8 months ago
2009
Springer
In engineering design the use of approximation models (= surrogate models) has become standard practice for design space exploration, sensitivity analysis, visualization and optimi...
145
Voted
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
153
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...