12519 search results - page 2178 / 2504 » Approximation Problems Categories |
190
click to vote
EMSOFT
2007
Springer
16 years 26 days ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
159
click to vote
FPGA
2007
ACM
16 years 26 days ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...
193
click to vote
FPGA
2007
ACM
16 years 26 days ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
181
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
The application of resource-defined fitness sharing (RFS) to shape nesting problems reveals a remarkable ability to discover tilings [7, 8]. These tilings represent exact covers...
193
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
We attack the problem of user fatigue by using an interactive genetic algorithm to evolve user interfaces in the XUL interface definition language. The interactive genetic algori...