3507 search results - page 394 / 702 » Slicing for architectural analysis |
214
click to vote
DAC
2012
ACM
13 years 10 months ago
2012
ACM
Many state-of-the-art approaches on fault-tolerant system design make the simplifying assumption that all faults are detected within a certain time interval. However, based on a d...
195
click to vote
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
In the past few years, a number of practical video coding schemes following distributed source coding principles have emerged. One of the main goals of distributed video coding (D...
170
Voted
DAC
2000
ACM
16 years 8 months ago
2000
ACM
The sudden increase in systems-on-a-chip designs has renewed interest in techniques for analyzing and eliminating substrate coupling problems. Previous work on the substrate coupl...
198
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
192
Voted
DAC
2001
ACM
16 years 8 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...