7393 search results - page 317 / 1479 » Synthesis-for-testability using transformations |
202
click to vote
VLDB
2007
ACM
16 years 5 months ago
2007
ACM
RadixZip is a block compression technique for token streams. It introduces RadixZip Transform, a linear time algorithm that rearranges bytes using a technique inspired by radix so...
125
click to vote
IV
2006
IEEE
15 years 10 months ago
2006
IEEE
This article describes a particular use of ontologies for visualising maps in a browser window. Geographic data are represented as instances of concepts in an ontology of transpor...
134
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— This paper introduces a transformational design method which can be used to map code written in a high level source language, like C, to a coarse grain reconfigurable ...
118
click to vote
TLCA
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we introduce a cut-elimination procedure for classical logic, which is both strongly normalising and consisting of local proof transformations. Traditional cut-elimin...
143
click to vote
ISW
2000
Springer
15 years 8 months ago
2000
Springer
Generally, low frequency domain may be useful to embed a watermark in an image. However, if a watermark is embedded into low frequency components, blocking effects may occur in the...