1329 search results - page 207 / 266 » Constraint-based model synthesis |
133
click to vote
DATE
2006
IEEE
16 years 7 days ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
155
click to vote
ACSD
2005
IEEE
15 years 11 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
167
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
152
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...
174
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper applies an algorithm, based on Tensor Decomposition, to a new synthesis application: by using sampled motions of people of different ages under different emotional stat...