Sciweavers

3888 search results - page 150 / 778
» Change-Driven Model Transformations
Sort
View
ESTIMEDIA
2008
Springer
15 years 6 months ago
Translating data flow to synchronous block diagrams
We propose a method to automatically transform synchronous data flow diagrams into synchronous block diagrams. The idea is to use triggers, a mechanism that allows a block to be f...
Roberto Lublinerman, Stavros Tripakis
DAGSTUHL
2007
15 years 6 months ago
Some Experiments on Tiling Loop Programs for Shared-Memory Multicore Architectures
The model-based transformation of loop programs is a way of detecting fine-grained parallelism in sequential programs. One of the challenges is to agglomerate the parallelism to a...
Armin Größlinger
ENTCS
2008
85views more  ENTCS 2008»
15 years 4 months ago
Innermost Termination of Rewrite Systems by Labeling
Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rul...
René Thiemann, Aart Middeldorp
ACL
2012
13 years 7 months ago
Lemmatisation as a Tagging Task
We present a novel approach to the task of word lemmatisation. We formalise lemmatisation as a category tagging task, by describing how a word-to-lemma transformation rule can be ...
Andrea Gesmundo, Tanja Samardzic
ICIP
2005
IEEE
16 years 6 months ago
High capacity watermarking using balanced multiwavelet transforms
Abstract-- The emergence of digital multimedia and the proliferation of its use have raised major concerns about the protection of intellectual property. In response to these conce...
Lahouari Ghouti, Ahmed Bouridane, Said Boussakta