7393 search results - page 5 / 1479 » Synthesis-for-testability using transformations |
ER
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, a fast transform method is proposed to convert MPEG-2 8-tap discrete cosine transform (DCT) coefficients to H.264/AVC 4-tap integer transform coefficients directly ...
CPHYSICS
2010
13 years 7 months ago
2010
We propose a new method for the numerical evaluation of the spherical Bessel transform. A formula is derived for the transform by using an integral representation of the spherical...
TIP
2010
2010
The Discrete Shearlet Transform: A New Directional Transform and Compactly Supported Shearlet Frames
13 years 5 months ago
It is now widely acknowledged that analyzing the intrinsic geometrical features of the underlying image is essential in many applications including image processing. In order to a...
TCS
2010
13 years 2 months ago
2010
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...