1857 search results - page 141 / 372 » Minimum Degree Orderings |
183
click to vote
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we investigate the relationship between the nonlinearity and the order of resiliency of a Boolean function. We first prove a sharper version of McEliece theorem for ...
217
click to vote
GLVLSI
1996
IEEE
15 years 10 months ago
1996
IEEE
Inthispaperweintroduceanondeterministiccounterpart to Reduced, Ordered Binary Decision Diagrams for the representation and manipulation of logic functions. ROBDDs are conceptually...
185
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
154
click to vote
ISSAC
1994
Springer
15 years 10 months ago
1994
Springer
New techniques, both theoretical and practical, are presented for constructing a permutation representation for a matrix group. We assume that the resulting permutation degree, n,...
176
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
The tree constraint partitions a directed graph into node-disjoint trees. In many practical applications that involve such a partition, there exist side constraints specifying requ...