1329 search results - page 118 / 266 » Constraint-based model synthesis |
140
click to vote
AAAI
1998
15 years 5 months ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
168
click to vote
APCCM
2009
15 years 5 months ago
2009
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
119
click to vote
TOG
2002
15 years 4 months ago
2002
In this paper we present a general method for rapid prototyping of realistic character motion. We solve for the natural motion from a simple animation provided by the animator. Ou...
124
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
142
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Reducing resource usage is one of the most important optimization objectives in behavioral synthesis due to its direct impact on power, performance and cost. The datapat...