6020 search results - page 925 / 1204 » A New Approach to Model Counting |
152
click to vote
ASPDAC
2006
ACM
16 years 16 days ago
2006
ACM
Extensive research has proposed the use of multiple on-die power supplies (VDD) for reducing power consumption in CMOS circuits. We present a detailed study and design techniques ...
209
click to vote
MINENET
2006
ACM
16 years 15 days ago
2006
ACM
When failures occur in Internet overlay connections today, it is difficult for users to determine the root cause of failure. An overlay connection may require TCP connections bet...
185
click to vote
MOBIWAC
2006
ACM
16 years 15 days ago
2006
ACM
Authors presented recently an indoor location technique based on Time Of Arrival (TOA) obtained from Round-Trip-Time (RTT) measurements at data link level and trilateration. This ...
241
click to vote
CVPR
2008
IEEE
16 years 10 days ago
2008
IEEE
While there is a large class
of Multiple-Target Tracking (MTT) problems for which batch
processing is possible and desirable, batch MTT remains relatively
unexplored in comparis...
158
click to vote
ACSD
2005
IEEE
16 years 5 days ago
2005
IEEE
Register Transfer Level (RTL) synthesis model which simplified the design of clocked circuits allowed design automation boost and VLSI progress for more than a decade. Shrinking t...