1174 search results - page 111 / 235 » Functional Trees |
WLP
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by...
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
Graph-Spectral surface integration techniques construct an integration path assuming that the surface contains a path along which the integration error is minimal. This paper pres...
108
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
- We propose a method of enhancing the reusability of the component IPs by separating communication and computation for a system function. In this approach, we assume that the comp...
FPL
2005
Springer
15 years 8 months ago
2005
Springer
SRAM-based FPGAs have an inherent capacity for defect tolerance. We propose a simple scheme that exploits this potential in multiple-FPGA systems. The symmetry of the system is ex...
145
click to vote
LICS
1997
IEEE
15 years 6 months ago
1997
IEEE
Fixpoint expressions built from functional signatures interpreted over arbitrary complete lattices are considered. A generic notionof automatonis defined and shown, by means of a ...