Sciweavers

2607 search results - page 133 / 522
» Complete Functional Synthesis
Sort
View
IFL
2004
Springer
15 years 11 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....
IDEAL
2003
Springer
15 years 11 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
ICCAD
1997
IEEE
53views Hardware» more  ICCAD 1997»
15 years 10 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
DAC
2008
ACM
16 years 7 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
ICIP
1995
IEEE
15 years 10 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