4126 search results - page 475 / 826 » Set based logic programming |
131
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
We present a mathematical model for the problem of scheduling tests for core-based system-on-chip (SOC) VLSI designs. Given a set of tests for each core in the SOC and a set of te...
139
click to vote
DCC
2008
IEEE
16 years 3 months ago
2008
IEEE
Multiple description coding (MDC) has emerged as a powerful technique for reliable real-time communications over lossy packet networks. In its basic form, it involves encoding a me...
162
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Multiple description coding (MDC) has emerged as a powerful technique for reliable real-time communications over lossy packet networks. In its basic form, it involves encoding ...
134
click to vote
ICECCS
2000
IEEE
15 years 8 months ago
2000
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
170
click to vote
TMI
2010
15 years 2 months ago
2010
—Medical image registration is an important task in medical image processing. It refers to the process of aligning data sets, possibly from different modalities (e.g., magnetic r...