Sciweavers

1174 search results - page 111 / 235
» Functional Trees
Sort
View
WLP
2007
Springer
16 years 25 days ago
The Kiel Curry System KiCS
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...
Bernd Brassel, Frank Huch
ICPR
2006
IEEE
16 years 7 months ago
Combinatorial Surface Integration
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...
Edwin R. Hancock, Roberto Fraile
ASPDAC
2006
ACM
122views Hardware» more  ASPDAC 2006»
16 years 21 days ago
Reusable component IP design using refinement-based design environment
- 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...
Sanggyu Park, Sang-yong Yoon, Soo-Ik Chae
FPL
2005
Springer
73views Hardware» more  FPL 2005»
16 years 8 days ago
Defect Tolerance in Multiple-FPGA Systems
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...
Zohair Hyder, John Wawrzynek
LICS
1997
IEEE
15 years 10 months ago
Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices
Fixpoint expressions built from functional signatures interpreted over arbitrary complete lattices are considered. A generic notionof automatonis defined and shown, by means of a ...
David Janin