5387 search results - page 159 / 1078 » Generating generic functions |
123
click to vote
DATE
2007
IEEE
16 years 20 days ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
155
click to vote
IFIP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
162
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper extends previous work on skewing, an approach to problematic functions in decision tree induction. The previous algorithms were applicable only to functions of binary v...
167
click to vote
FSE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A simple one-way function along with its proposed application in symmetric cryptography is described. The function is computable with three elementary operations on permu...
150
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
A new class of non-totally symmetric functions which can be represented as simple regular symmetric arrays without redundancy is identified. Regular circuits are becoming crucialy...