1943 search results - page 129 / 389 » End-to-End Integration Testing |
152
click to vote
VLSID
2000
IEEE
15 years 8 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
124
click to vote
AAAI
2008
15 years 6 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
117
click to vote
JSC
2010
15 years 2 months ago
2010
We present a new algorithm to compute the integral closure of a reduced Noetherian ring in its total ring of fractions. A modification, applicable in positive characteristic, whe...
130
click to vote
DFT
1999
IEEE
15 years 8 months ago
1999
IEEE
A programmable single-chip multiprocessor system for video coding has been developed. The system is implemented in a high-performance 0.25 m logic/embedded DRAM process. It integr...
154
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
Resolving local ambiguities is an important issue for shape from shading (SFS). Pixel ambiguities of SFS can be eliminated by propagation approaches. However, patch ambiguities st...