7393 search results - page 208 / 1479 » Synthesis-for-testability using transformations |
131
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— A well–known problem in constrained optimal control is the presence of interior boundary conditions for constrained arcs which require a–priori knowledge of the optimal sol...
115
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— We present a new algorithm for scan registration of colored 3D point data which is an extension to the Normal Distributions Transform (NDT). The probabilistic approach of NDT i...
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper tells the story of how the team managed to speed up delivery whilst raising quality at the same time. conject used to release complete modules of their Internet platfor...
116
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this research, an architecture that performs both forward and inverse lifting-based discrete wavelet transform is proposed. The proposed architecture reduces the hardware requi...
128
Voted
SCAM
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...