3984 search results - page 233 / 797 » A Model-Driven Transformation Method |
132
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines pre...
158
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
In this paper, we present a 3D X-Ray Transform based multilinear feature extraction and classification method for Digital Multi-focal Images (DMI). In such images, morphological i...
158
Voted
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
138
Voted
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
Segmenting the speech signals on the basis of time-frequency analysis is the most natural approach. Boundaries are located in places where energy of some frequency subband rapidly...
150
click to vote
ARITH
2007
IEEE
15 years 11 months ago
2007
IEEE
We describe a new method to perform the modular exponentiation operation, i.e., the computation of c = me mod n, where c, m, e and n are large integers. The new method uses the di...