Sciweavers

3888 search results - page 262 / 778
» Change-Driven Model Transformations
Sort
View
IPPS
2007
IEEE
16 years 29 days ago
Performance Analysis of a Family of WHT Algorithms
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...
Michael Andrews, Jeremy Johnson
CVPR
2006
IEEE
16 years 8 months ago
Simultaneous Registration and Modeling of Deformable Shapes
Many natural objects vary the shapes as linear combinations of certain bases. The measurement of such deformable shapes is coupling of rigid similarity transformations between the...
Jing Xiao, Bogdan Georgescu, Xiang Zhou, Dorin Com...
ICPR
2008
IEEE
16 years 1 months ago
Shape-based matching of heart sounds
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...
Tanveer Fathima Syeda-Mahmood, Fei Wang
CONCUR
2004
Springer
16 years 1 days ago
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach
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 ...
Paolo Baldan, Andrea Corradini, Barbara König
220
Voted
CASES
2006
ACM
16 years 19 days ago
Automatic performance model construction for the fast software exploration of new hardware designs
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, ...