3799 search results - page 678 / 760 » An Engineering Approach to Formal Methods |
117
click to vote
SYNASC
2005
IEEE
15 years 10 months ago
2005
IEEE
Code duplication is a common problem, and a wellknown sign of bad design. As a result of that, in the last decade, the issue of detecting code duplication led to various solutions...
159
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
132
click to vote
LCTRTS
2005
Springer
15 years 10 months ago
2005
Springer
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...
127
click to vote
PAM
2005
Springer
15 years 10 months ago
2005
Springer
A number of key areas in IP network engineering, management and surveillance greatly benefit from the ability to dynamically identify traffic flows according to the applications re...
129
click to vote
ISPD
2004
ACM
15 years 9 months ago
2004
ACM
Many current designs contain a large number of standard cells intermixed with larger macro blocks. The range of size in these “mixed block” designs complicates the placement p...