652 search results - page 8 / 131 » Linear Explicit Substitutions |
FOCM
2008
13 years 7 months ago
2008
AUTOMATICA
2010
13 years 7 months ago
2010
: The guarantee of feasibility given feasibility at initial time is an issue that has been overlooked by many of the recent papers on stochastic model predictive control. Effective...
SACRYPT
2005
Springer
14 years 29 days ago
2005
Springer
In this paper we study the substitution-permutation network (SPN) on which AES is based. We introduce AES∗ , a SPN identical to AES except that fixed S-boxes are replaced by ran...
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...
DIM
2007
ACM
13 years 11 months ago
2007
ACM
Online social networks are formed when web applications allow users to contribute to an online community. The explosive growth of these social networks taxes the management capaci...