1243 search results - page 157 / 249 » Complexity reduction of C-Algorithm |
100
click to vote
ER
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
116
click to vote
FOCS
2006
IEEE
15 years 7 months ago
2006
IEEE
We convert cell-probe lower bounds for polynomial space into stronger lower bounds for near-linear space. Our technique applies to any lower bound proved through the richness meth...
112
click to vote
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
Abstract—H.264/AVC is the latest video coding standard. It significantly outperforms the previous video coding standards, but the extraordinary huge computation complexity and m...
100
click to vote
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Complex applications implemented as Systems on Chip (SoCs) demand extensive use of system level modeling and validation. Their implementation gathers a large number of complex IP ...