6102 search results - page 42 / 1221 » Generating Optimizing Specializers |
ITC
1997
IEEE
14 years 5 hour ago
1997
IEEE
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests for them is becoming a serious problem in industry. This paper...
MP
2010
13 years 6 months ago
2010
In this paper, we propose lifting techniques for generating strong cuts for nonlinear programs that are globally-valid. The theory is geometric and provides intuition into lifting...
VLSID
1999
IEEE
14 years 2 days ago
1999
IEEE
We survey some of the methods used for manipulating, representing, and optimizing multi-valued logic with the view of both building a better understanding of the more specialized ...
INFOCOM
2002
IEEE
14 years 22 days ago
2002
IEEE
—We address the issue of optimal energy allocation and admission control for communications satellites in earth orbit. Such satellites receive requests for transmission as they o...
ICDE
1993
IEEE
13 years 12 months ago
1993
IEEE
Emerging database application domains demand not only new functionality but also high performance. To satisfy these two requirements, the Volcano project provides efficient, exten...