Sciweavers

2607 search results - page 133 / 522
» Complete Functional Synthesis
Sort
View
126
Voted
IFL
2004
Springer
15 years 9 months ago
A Virtual Machine for Functional Logic Computations
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P....
155
Voted
IDEAL
2003
Springer
15 years 9 months ago
Comparative Study between Radial Basis Probabilistic Neural Networks and Radial Basis Function Neural Networks
This paper exhaustively discusses and compares the performance differences between radial basis probabilistic neural networks (RBPNN) and radial basis function neural networks (RBF...
Wen-Bo Zhao, De-Shuang Huang, Lin Guo
85
Voted
ICCAD
1997
IEEE
53views Hardware» more  ICCAD 1997»
15 years 8 months ago
A quantitative approach to functional debugging
We introduce a novel cut-based debugging paradigm. It coordinates design emulation and simulation and enables fast transition from one to another. Emulation or functional implemen...
Darko Kirovski, Miodrag Potkonjak
137
Voted
DAC
2008
ACM
16 years 4 months ago
The synthesis of robust polynomial arithmetic with stochastic logic
As integrated circuit technology plumbs ever greater depths in the scaling of feature sizes, maintaining the paradigm of deterministic Boolean computation is increasingly challeng...
Weikang Qian, Marc D. Riedel
143
Voted
ICIP
1995
IEEE
15 years 7 months ago
Error bound for multi-stage synthesis of narrow bandwidth Gabor filters
This paper develops an error bound for narrow bandwidth Gabor filters synthesized using multiple stages. It is shown that the error introduced by approximating narrow bandwidth Ga...
R. Neil Braithwaite, Bir Bhanu