7393 search results - page 236 / 1479 » Synthesis-for-testability using transformations |
137
click to vote
VIS
2007
IEEE
16 years 5 months ago
2007
IEEE
Hardware-accelerated volume rendering using the GPU is now the standard approach for real-time volume rendering, although limited graphics memory can present a problem when renderi...
140
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Speaker identification might be a suitable answer to prevent unauthorized access to personal data. However we also need to provide solutions to secure transmission of spoken infor...
132
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
108
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus ...
148
click to vote
SC
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents program transformations directed toward improving communication-computation overlap in parallel programs that use MPI’s collective operations. Our transforma...