7393 search results - page 453 / 1479 » Synthesis-for-testability using transformations |
143
click to vote
APAL
2005
15 years 6 months ago
2005
We prove a full completeness theorem for multiplicative-additive linear logic (i.e. MALL) using a double gluing construction applied to Ehrhard's -autonomous category of hype...
151
click to vote
TECS
2008
15 years 6 months ago
2008
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
165
click to vote
LISP
2002
15 years 6 months ago
2002
We investigate call-by-value continuation-passing style transforms that continuations. Altering a single variable in the translation of -abstraction gives rise to different control...
169
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this work, the problem of the estimation of parameters in case of mixtures of models composed by the sum of multiple Gaussians is considered. It will be shown how this estimati...
178
Voted
ASAP
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper examines the architecture, algorithm and implementation of a switch-based multi-processor realization of the fast Fourier transform (FFT). The architecture employs M pr...