6897 search results - page 503 / 1380 » Parallelization of Modular Algorithms |
132
click to vote
WEA
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a metaheuristic framework for combinatorial optimization. Our framework is similar to others (e.g. [1]) in that it is modular enough that important components can be i...
136
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
—Creating latency insensitive or asynchronous designs from clocked designs has potential benefits of increased modularity and robustness to variations. Several transformations h...
118
Voted
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Maintenance is undoubtedly the most effort-consuming activity in software production whereby the entropy of legacy systems (e.g., due to redundancies, poor modularity and lack of ...
126
click to vote
VTS
2000
IEEE
15 years 9 months ago
2000
IEEE
We present a low-cost on-line test methodology for RTL controller-datapath pairs, based on the notion of path invariance. The fundamental observation supporting the proposed metho...
176
click to vote
AISC
2010
Springer
15 years 8 months ago
2010
Springer
We prove formally that the first order theory of algebraically closed fields enjoy quantifier elimination, and hence is decidable. This proof is organized in two modular parts. We ...