4008 search results - page 505 / 802 » An expressive language of signatures |
148
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
172
click to vote
PPDP
2007
Springer
16 years 25 days ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
168
click to vote
FCCM
2006
IEEE
16 years 23 days ago
2006
IEEE
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...
140
click to vote
PLDI
2005
ACM
16 years 8 days ago
2005
ACM
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus ...
173
click to vote
SAC
2005
ACM
16 years 8 days ago
2005
ACM
A mixin is a reusable module that provides uniform extend modifications to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...