6568 search results - page 91 / 1314 » Reducing the Complexity of Reductions |
197
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
261
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
154
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
The recent demand for system-on-chip RF mixed-signal design and aggressive supply-voltage reduction require chip-level accurate analysis of both the substrate and power delivery s...
197
click to vote
VLSISP
2008
15 years 6 months ago
2008
This paper presents the design of an embedded automated digital video surveillance system with real-time performance. Hardware accelerators for video segmentation, morphological op...
174
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we investigate joint network and channel decoding algorithms for the multiple-access relay channel. We consider a realistic reference scenario with Rayleigh fading ...