888 search results - page 93 / 178 » The Power of Temporal Proofs |
ISSS
2000
IEEE
15 years 2 months ago
2000
IEEE
Efficient use of an optimized custom memory hierarchy to exploit temporal locality in the memory accesses on array signals can have a very large impact on the power consumption i...
ICMCS
1997
IEEE
15 years 2 months ago
1997
IEEE
– Video is a powerful medium for disseminating news as information. Like any other information, techniques are required to help search and locate interesting video content. In th...
FDL
2006
IEEE
15 years 1 months ago
2006
IEEE
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper, we propose a method to extract features from three-dimensional acceleration signals. The proposed method is based on the (auto-)correlation matrix of Fourier transf...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....