Interactive rendering of trimmed NURBS models is of great importance for CAD systems. For this the model needs to be transformed into a polygonal representation. This transformati...
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...
In this paper, we present an approach to matching heart sounds based on modeling the morphological variations of audio envelopes through a constrained nonrigid translation transfo...
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 ...
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
John Cavazos, Christophe Dubach, Felix V. Agakov, ...