4047 search results - page 253 / 810 » Algebraic Model Checking |
197
click to vote
TSP
2008
15 years 6 months ago
2008
In our paper titled "Algebraic Signal Processing Theory: Foundation and 1-D Time" appearing in this issue of the IEEE TRANSACTIONS ON SIGNAL PROCESSING, we presented the ...
247
click to vote
DISCO
1993
15 years 10 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
162
click to vote
DBPL
2003
Springer
15 years 12 months ago
2003
Springer
The increased usage of mobile devices coupled with an unprecedented demand for information has pushed the scalability problem of pull-based data service to the focus. A broadcast ...
172
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In [1], we presented the algebraic signal processing theory, an axiomatic and general framework for linear signal processing. The basic concept in this theory is the signal model d...
106
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Checking the equivalence of a system-level model against an RTL design is a major challenge. The reason is that usually the system-level model is written by a system architect, ...