Sciweavers

1399 search results - page 152 / 280
» Multi-party Finite Computations
Sort
View
MEMOCODE
2003
IEEE
15 years 9 months ago
Exact Runtime Analysis Using Automata-Based Symbolic Simulation
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
Tobias Schüle, Klaus Schneider
CCECE
2009
IEEE
15 years 9 months ago
A 10-Gb/s backplane transmitter with a FIR pre-emphasis equalizer to suppress ISI at data centers and edges simultaneously
This paper presents a 10-Gb/s backplane transmitter with a finite impulse response (FIR) pre-emphasis equalizer to suppress inter-symbol-interference (ISI) at data centers and tra...
Dianyong Chen, Bo Wang, Bangli Liang, Tad Kwasniew...
EUROCAST
1997
Springer
85views Hardware» more  EUROCAST 1997»
15 years 8 months ago
Turing Universality of Neural Nets (Revisited)
We show how to use recursive function theory to prove Turing universality of finite analog recurrent neural nets, with a piecewise linear sigmoid function as activation function. W...
João Pedro Guerreiro Neto, Hava T. Siegelma...
ASPDAC
2006
ACM
726views Hardware» more  ASPDAC 2006»
15 years 8 months ago
Newton: a library-based analytical synthesis tool for RF-MEMS resonators
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
Michael S. McCorquodale, James L. McCann, Richard ...
EUROGP
2006
Springer
112views Optimization» more  EUROGP 2006»
15 years 7 months ago
The Halting Probability in Von Neumann Architectures
Abstract. Theoretical models of Turing complete linear genetic programming (GP) programs suggest the fraction of halting programs is vanishingly small. Convergence results proved f...
William B. Langdon, Riccardo Poli