4581 search results - page 219 / 917 » Computing Transformation Semigroups |
168
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
This paper presents a novel approach for the problem of generating tiled code for nested for-loops using a tiling transformation. Tiling or supernode transformation has been widel...
148
click to vote
IPPS
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper explores the correlation of instruction counts and cache misses to runtime performance for a large family of divide and conquer algorithms to compute the Walsh–Hadama...
158
click to vote
KSEM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
140
click to vote
DELTA
2006
IEEE
16 years 19 days ago
2006
IEEE
Harmonic distortion may be characterised by the proportion of energy of a sinusoidal signal transferred to the harmonics. Differential time scaling resulting from the spectral war...
183
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...