4451 search results - page 175 / 891 » Continuous model synthesis |
163
click to vote
ASPDAC
2005
ACM
15 years 8 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...
157
click to vote
VR
2010
IEEE
15 years 4 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...
155
click to vote
CDC
2010
IEEE
15 years 1 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 ...
159
click to vote
ICCD
2003
IEEE
16 years 3 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...
139
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...