4353 search results - page 126 / 871 » Expressiveness of Process Algebras |
132
click to vote
FSE
2006
Springer
15 years 7 months ago
2006
Springer
The purpose of algebraic attacks on stream and block ciphers is to recover the secret key by solving an overdefined system of multivariate algebraic equations. They become very eff...
111
click to vote
SIP
2003
15 years 5 months ago
2003
This paper presents an algebraic approach to construct Mband orthogonal wavelet bases. A system of constraint equations is obtained for M-band orthonormal filters, and then a solu...
111
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ...
120
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
154
click to vote
PDSE
1998
15 years 5 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...