1613 search results - page 158 / 323 » Model-Driven Constraint Engineering |
122
click to vote
FPL
2006
Springer
15 years 7 months ago
2006
Springer
FPGAs have become an attractive choice for scientific computing. In this paper, we propose a high performance design for LU decomposition, a key kernel in many scientific and engi...
118
click to vote
AAAI
2008
15 years 6 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
130
Voted
IPCO
2007
15 years 5 months ago
2007
A conic integer program is an integer programming problem with conic constraints. Conic integer programming has important applications in finance, engineering, statistical learnin...
122
click to vote
ENDM
2010
15 years 1 months ago
2010
This paper deals with an NP-hard bi-objective one-machine problem with ready times involving maximum lateness and unit family setup cost objectives. Considering separately both ob...
118
click to vote
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
Physical synthesis optimizations and engineering change orders typically change the locations of cells, resize cells or add more cells to the design after global placement. Unfort...