16430 search results - page 650 / 3286 » On Computable Tree Functions |
155
click to vote
MFCS
2001
Springer
15 years 11 months ago
2001
Springer
We study different computable versions of Baire’s Category Theorem in computable analysis. Similarly, as in constructive analysis, different logical forms of this theorem lead ...
251
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
207
click to vote
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
Transmitting compressed data can reduce inter-processor communication traffic and create new opportunities for DVS (dynamic voltage scaling) in distributed embedded systems. Howe...
224
click to vote
IEEEIAS
2009
IEEE
16 years 1 months ago
2009
IEEE
: An algorithm for one-way hash function construction based on conservative chaotic system is proposed. The plaintext is divided into a group of message blocks by a fixed length an...
182
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...