FPL
2001
Springer
14 years 1 months ago
2001
Springer
This paper presents an FPGA-based implementation of a syntactic parser that can process languages generated by almost unrestricted real-life context-free grammars (CFGs). More prec...
FPL
2001
Springer
14 years 1 months ago
2001
Springer
This paper presents new achievements on the automatic mapping of algorithms, written in imperative software programming languages, to custom computing machines. The reconfigurable ...
FPL
2001
Springer
14 years 1 months ago
2001
Springer
We present an implementation of a complete RLS Lattice and Normalised RLS Lattice cores for Virtex. The cores accept 24-bit fixed point inputs and produce 24-bit fixed point predic...
EUROCAST
2001
Springer
14 years 1 months ago
2001
Springer
EUROCAST
2001
Springer
14 years 1 months ago
2001
Springer
EUROCAST
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
EUROCAST
2001
Springer
14 years 1 months ago
2001
Springer
EUROCAST
2001
Springer
14 years 1 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
EUROCAST
2001
Springer
14 years 1 months ago
2001
Springer
EUROCAST
2001
Springer
14 years 1 months ago
2001
Springer
CAST.FSM denotes a CAST tool which has been developed at the Institute of Systems Science at the University of Linz during the years 1986-1993. The first version of CAST.FSM was i...