4355 search results - page 289 / 871 » From Interpretation to Compilation |
207
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
A Sugeno and a Choquet integrals are commonly used fuzzy integrals for aggregation. As a generalization of both integrals, the twofold integral is induced. The twofold integral en...
168
click to vote
FDL
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
134
Voted
DAC
2008
ACM
16 years 7 months ago
2008
ACM
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
302
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
310
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...