1431 search results - page 247 / 287 » Solving Constraints in Model Transformations |
110
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
101
Voted
NPC
2004
Springer
15 years 5 months ago
2004
Springer
This paper is motivated by the problem of poor searching efficiency in decentralized peer-to-peer file-sharing systems. We solve the searching problem by considering and modeling t...
SBACPAD
2004
IEEE
15 years 1 months ago
2004
IEEE
Seismic tomography enables to model the internal structure of the Earth. In order to improve the precision of existing models, a huge amount of acquired seismic data must be analy...
123
click to vote
TVLSI
2008
15 years 11 days ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
99
Voted
GLVLSI
2010
IEEE
15 years 5 months ago
2010
IEEE
Meeting the temperature constraints and reducing the hot-spots are critical for achieving reliable and efficient operation of complex multi-core systems. The goal of thermal mana...