4581 search results - page 58 / 917 » Computing Transformation Semigroups |
103
Voted
GG
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...
85
Voted
DCC
2001
IEEE
16 years 12 days ago
2001
IEEE
We propose a new transform coding algorithm that integrates all optimization steps into a coherent and consistent framework. Each iteration of the algorithm is designed to minimiz...
117
Voted
PDP
2009
IEEE
15 years 7 months ago
2009
IEEE
There is a multicore platform that is currently concentrating an enormous attention due to its tremendous potential in terms of sustained performance: the NVIDIA Tesla boards. The...
107
Voted
MFCS
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Kamperman and Walters proposed the notion of a simulation of one rewrite system by another one, whereby each term of the simulating rewrite system is related to a term in...
95
Voted
DAGSTUHL
1996
15 years 2 months ago
1996
We revisit the main techniques of program transformation which are used in partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based prog...