6978 search results - page 1105 / 1396 » On Proofs in System P |
171
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Abstract— Chip-package thermal analysis is necessary for the design and synthesis of reliable, high-performance, low-power, compact integrated circuits (ICs). Many methods of IC ...
164
Voted
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
CT colonography is a screening technique for adenomatous colorectal polyps, which are important precursors to colon cancer. Computer aided detection (CAD) systems are developed to...
172
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Prior knowledge is a critical resource for design, especially when designers are striving to generate new ideas for complex problems. Systems that improve access to relevant prior...
173
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
Continuous evolution in process technology brings energyefficiency and reliability challenges, which are harder for memory system designs since chip multiprocessors demand high ba...
188
click to vote
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
—Power has recently been recognized as one of the major obstacles in fielding a Peta-FLOPs class system. To reach Exa-FLOPs, the challenge will certainly be compounded. In this ...