3495 search results - page 310 / 699 » On the random satisfiable process |
176
click to vote
ITC
2002
IEEE
16 years 18 days ago
2002
IEEE
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...
213
click to vote
SSIAI
2002
IEEE
16 years 17 days ago
2002
IEEE
We develop a novel measure of joint time-frequency localization applicable to equivalence classes of finite-length discrete signals, which are of increasing importance in modern ...
182
click to vote
CDC
2009
IEEE
16 years 12 days ago
2009
IEEE
— We consider the problem of attitude stabilization using exclusively visual sensory input, and we look for a solution which can satisfy the constraints of a “bio-plausible” ...
211
click to vote
ASPDAC
2009
ACM
16 years 11 days ago
2009
ACM
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
192
click to vote
HICSS
2000
IEEE
16 years 2 days ago
2000
IEEE
User interfaces (Uis) for client-server-and Web-based products and services must enable users around the world to access complex data and functions. Solutions to successful user-i...