1329 search results - page 95 / 266 » Constraint-based model synthesis |
118
click to vote
DAC
1992
ACM
15 years 8 months ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
136
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
- To date, most high-level synthesis systems do not automatically solve present design problems, such as those related to timing associated with the physical implementation of mult...
123
click to vote
VR
2010
IEEE
15 years 2 months ago
2010
IEEE
A system to synthesize in real-time the sound of footsteps on different materials is presented. The system is based on microphones which allow the user to interact with his own fo...
125
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
123
click to vote
ICCD
2003
IEEE
16 years 1 months ago
2003
IEEE
— We model the power fluctuation as cycle-to-cycle power gradient and minimize the mean of the power gradients using ILP. We propose scheduling schemes for three modes of datapa...