1329 search results - page 207 / 266 » Constraint-based model synthesis |
137
click to vote
DATE
2006
IEEE
16 years 23 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...
166
click to vote
ACSD
2005
IEEE
16 years 9 days 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...
172
click to vote
CODES
2005
IEEE
16 years 9 days ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
162
Voted
DATE
2005
IEEE
16 years 9 days 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...
196
click to vote
ICMCS
2005
IEEE
16 years 8 days 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...