17 search results - page 1 / 4 » Delayed Substitutions |
RTA
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. ...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
We present the implementation and analysis of a variation tolerant version of a switch-to-switch link in a NoC. The goal is to tolerate the effects of process variations on NoC ar...
ICIP
2006
IEEE
14 years 6 months ago
2006
IEEE
In this paper, we compute the residual energy of predictive frames (i.e., unidirectional and bidirectional motion prediction) by using the autocorrelation between successive video...
ISCAS
2005
IEEE
13 years 10 months ago
2005
IEEE
— This paper considers the application of the neural networks for the guaranteed cost control problem of discrete– time uncertain systems that have in both state and input dela...
VLSISP
2008
13 years 4 months ago
2008
Cryptographic substitution boxes (S-boxes) are an integral part of modern block ciphers like the Advanced Encryption Standard (AES). There exists a rich literature devoted to the ...