1146 search results - page 98 / 230 » Applications of the TAMPR Transformation System |
134
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
143
click to vote
LCTRTS
2009
Springer
15 years 11 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
114
click to vote
WCE
2007
15 years 5 months ago
2007
–—Wavelet expansions and wavelet transforms have proven to be very efficient and effective in analyzing a very wide class of signals and phenomena. Wavelet expansion allows a m...
137
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
An imaging system with a single effective viewpoint is called a central projection system. The conventional perspective camera is an example of a central projection system. System...
116
click to vote
ICIP
1995
IEEE
16 years 5 months ago
1995
IEEE
Modern video applications call for computationally intensive data processing at very high data rate. In order to meet the high-performance/low-cost constraints, the stateof-the-ar...