380 search results - page 47 / 76 » Functional reactive programming from first principles |
116
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
PM-PVM is a portable implementation of PVM designed to work on SMP architectures supporting multithreading. PM-PVM portability is achieved through the implementation of the PVM fu...
119
click to vote
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
124
click to vote
ICIP
2008
IEEE
16 years 4 months ago
2008
IEEE
This paper studies two increasingly popular paradigms for image quality assessment - Structural SIMilarity (SSIM) metrics and Information Fidelity metrics. The relation of the SSI...
121
click to vote
JCP
2007
15 years 2 months ago
2007
—In this paper, a neural network solution to extract independent components from nonlinearly mixed signals is proposed. Firstly, a structurally constrained mixing model is introd...
130
click to vote
VLSISP
2008
15 years 1 months ago
2008
In this paper, we introduce a new method for watermarking of IP cores for FPGA architectures where the signature (watermark) is detected at the power supply pins of the FPGA. This ...