1431 search results - page 74 / 287 » Solving Constraints in Model Transformations |
103
click to vote
EDOC
2004
IEEE
15 years 4 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
124
Voted
CASES
2007
ACM
15 years 4 months ago
2007
ACM
We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature co...
134
Voted
JAPLL
2010
14 years 11 months ago
2010
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we propose a novel method for generic object localization. The method is based on modeling the object as a graph at two levels: a local substructural representation ...
104
click to vote
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
The accurate modeling of the electronic structure of atoms and molecules involves computationally intensive tensor contractions involving large multi-dimensional arrays. The effi...