3002 search results - page 277 / 601 » Cloud Based Design Optimization |
191
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
174
click to vote
ASAP
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—The demand for biomedical implants keeps increasing. However, most of the current implant design methodologies involve custom-ASIC design. The SiMS project aims to chang...
174
click to vote
JCM
2008
15 years 6 months ago
2008
Waterfilling solutions provide optimal power distribution in multiple-input multiple-output (MIMO) system design. However, the optimal distribution is usually obtained through cost...
157
click to vote
VIS
2006
IEEE
16 years 8 months ago
2006
IEEE
Based on the observation that it is relatively easier for users to generate several good transfer functions (TFs) for different features of volumetric data, we propose TF fusing, ...
172
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...