3913 search results - page 390 / 783 » complexity 2006 |
164
click to vote
ACMSE
2006
ACM
16 years 24 days ago
2006
ACM
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
151
click to vote
ASPDAC
2006
ACM
16 years 24 days ago
2006
ACM
– Model-based design is widely accepted in developing complex embedded system under intense time-to-market pressure. While it promises improved design productivity, the main bott...
147
click to vote
ASPDAC
2006
ACM
16 years 24 days ago
2006
ACM
— As the complexity of SoCs is increasing, hardware/software co-verification becomes an important part of system verification. C-level cycle-based simulation could be an efficien...
189
Voted
ASPDAC
2006
ACM
16 years 24 days ago
2006
ACM
Abstract - This survey paper intends to provide a comprehensive coverage of the techniques that are pertinent to the processor-based implementation of H.264/AVC video codec, partic...
162
click to vote
ASPDAC
2006
ACM
16 years 24 days ago
2006
ACM
Statistical timing analysis has been widely applied to predict the timing yield of VLSI circuits when process variations become significant. Existing statistical latch timing met...