3328 search results - page 267 / 666 » On Plateaued Functions and Their Constructions |
140
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
164
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...
170
click to vote
WECWIS
1999
IEEE
15 years 11 months ago
1999
IEEE
The dominant technology for electronic communication and commerce, the telephone, does not discriminate between sighted and non-sighted users. The web does discriminate. The web i...
189
Voted
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse...
173
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
Simple disjunctive decomposition is a special case of logic function decompositions, where variables are divided into two disjoint sets and there is only one newly introduced vari...