Sciweavers

740 search results - page 37 / 148
» Recursive layout generation
Sort
View
106
Voted
FPL
2001
Springer
102views Hardware» more  FPL 2001»
15 years 6 months ago
A Generic Library for Adaptive Computing Environments
The Generic Library for Adaptive Computing Environments (GLACE) consists of a comprehensive set of module generators currently targeting Xilinx XC4000 and Virtex devices. In contra...
Tilman Neumann, Andreas Koch
ASYNC
2004
IEEE
107views Hardware» more  ASYNC 2004»
15 years 6 months ago
A Fast and Energy-Efficient Stack
We present some novel hardware implementations of a stack. All designs are clockless, fast, and energy efficient, while occupying modest area. We implemented a 42-place stack chip...
Jo C. Ebergen, Daniel Finchelstein, Russell Kao, J...
POPL
2009
ACM
16 years 2 months ago
Types and higher-order recursion schemes for verification of higher-order programs
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
Naoki Kobayashi
88
Voted
CDC
2009
IEEE
108views Control Systems» more  CDC 2009»
15 years 7 months ago
The parabigeminal nucleus as a recursive estimator
— The parabigeminal nucleus (PBN) is known to estimate the retinal position error (RPE) of an intended target. Recently it has been discovered that PBN activity continues to enco...
Rui Ma, Todd P. Coleman, Joseph G. Malpeli
NLPRS
2001
Springer
15 years 6 months ago
Korean Text Generation from Database for Homeshopping Sites
This paper describes a text generation system, XExplainer, which can dynamically produce a description of commodities in Korean from a relational database for homeshopping sites. ...
Ji-Eun Roh, Sin-Jae Kang, Jong-Hyeok Lee