4139 search results - page 151 / 828 » Designing and Implementing Combinator Languages |
UML
2005
Springer
15 years 4 months ago
2005
Springer
We present Tefkat, an implementation of a language designed speci cally for the transformation of MOF models using patterns and rules. The language adopts a declarative paradigm, w...
FM
2003
Springer
15 years 4 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
ESOP
2003
Springer
15 years 4 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
DANCE
2002
IEEE
15 years 4 months ago
2002
IEEE
— Active Networks, being programmable, promise greater flexibility than current networks. Programmability, however, may introduce safety and security risks. This paper describes...
ICASSP
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we propose a systemic approach for synthesizing field-programmable gate array (FPGA) implementations of fast Fourier transform (FFT) computations. Our approach cons...