7393 search results - page 267 / 1479 » Synthesis-for-testability using transformations |
135
click to vote
POPL
1995
ACM
15 years 7 months ago
1995
ACM
The goal of program transformation is to improve efficiency while preserving meaning. One of the best known transformation techniques is Burstall and Darlington’s unfold-fold me...
117
click to vote
TCSV
2008
15 years 4 months ago
2008
Integer cosine transform (ICT) is adopted by H.264/AVC for its bit-exact implementation and significant complexity reduction compared to the discrete cosine transform (DCT) with an...
274
click to vote
DCC
2011
IEEE
14 years 10 months ago
2011
IEEE
With the simplicity of its application together with compression efficiency, the Discrete Cosine Transform(DCT) plays a vital role in the development of video compression standar...
124
Voted
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Clio is an existing schema-mapping tool that provides user-friendly means to manage and facilitate the complex task of transformation and integration of heterogeneous data such as...
135
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...