7393 search results - page 274 / 1479 » Synthesis-for-testability using transformations |
138
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
133
click to vote
GPCE
2009
Springer
15 years 9 months ago
2009
Springer
The indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to ...
137
click to vote
FOCS
1989
IEEE
15 years 8 months ago
1989
IEEE
In this paper, Boolean functions in ,4C0 are studied using harmonic analysis on the cube. The main result is that an ACO Boolean function has almost all of its “power spectrum”...
162
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: The analysis of Inter-Alu PCR patterns obtained from human genomic DNA samples is a promising technique for a simultaneous analysis of many genomic loci flanked by Alu...
113
click to vote
TMM
2002
15 years 4 months ago
2002
In this paper a hybrid fractal and Discrete Cosine transform (DCT) coder is developed. Drawing on the ability of DCT to remove inter-pixel redundancies and on the ability of fracta...