3302 search results - page 122 / 661 » Software Is More Than Code |
CC
2004
Springer
14 years 3 months ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— A matrix is described that transforms input vectors (blocks) of length (K − 2), consisting of digital PAM vector components, into output vectors (blocks) of length K. The mat...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper investigates the use of the anisotropic 3-D dualtree discrete wavelet transform (DDWT) for video coding. The 3-D DDWT is an attractive video representation because it i...
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
CRYPTO
1997
Springer
14 years 2 months ago
1997
Springer
This paper considers hash functions based on block ciphers. It presents a new attack on the compression function of the 128-bit hash function MDC-4 using DES with a complexity far ...