6120 search results - page 386 / 1224 » The Power of Linear Functions |
156
click to vote
ISMVL
2003
IEEE
16 years 2 days ago
2003
IEEE
Discrete functions are now commonly represented by binary (BDD) and multiple-valued (MDD) decision diagrams. Sifting is an effective heuristic technique which applies adjacent var...
181
click to vote
PG
2003
IEEE
16 years 2 days ago
2003
IEEE
We present an algorithm to construct a tight bounding polyhedron for a recursive procedural model. We first use an iterated function system (IFS) to represent the extent of the p...
234
click to vote
FSE
2003
Springer
16 years 21 hour ago
2003
Springer
We present our further observations on the structure of the AES algorithm relating to the cyclic properties of the functions used in this cipher. We note that the maximal period of...
180
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
164
click to vote
MLQ
2010
15 years 5 months ago
2010
This article systematically investigates so-called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modifi...