1728 search results - page 83 / 346 » The Size of Power Automata |
ASPDAC
2007
ACM
15 years 3 months ago
2007
ACM
As the large size of test data volume is becoming one of the major problems in testing System-on-a-Chip (SoC), several compression coding schemes have been proposed. Extended frequ...
100
click to vote
ISLPED
1995
ACM
15 years 3 months ago
1995
ACM
ABSTRACT { Sub-micron technologies and the increasing size and complexity of integrated components have aggravated the e ect of long interconnects and buses, compared to that of ga...
PRICAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
ERSHOV
2003
Springer
15 years 5 months ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
170
click to vote
COLT
1992
Springer
15 years 4 months ago
1992
Springer
This paper deals with finite size networks which consist of interconnections of synchronously evolving processors. Each processor updates its state by applying a "sigmoidal&q...