3984 search results - page 164 / 797 » A Model-Driven Transformation Method |
151
Voted
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (see [22]). After summarising the case description, we give an overview of the subm...
122
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
154
click to vote
ER
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Navigability is a main concern in the design of Web applications. In order to assess such navigability a number of measures has been proposed. From them, measures defined...
135
click to vote
DAGSTUHL
2008
15 years 5 months ago
2008
Existing selfverifying solvers for dense linear (interval-)systems in C-XSC provide high accuracy, but are rather slow. A new set of solvers is presented, which are a lot faster th...
120
Voted
MVA
1998
15 years 5 months ago
1998
In this paper, we present a new method for detecting curvilinear structures in a gray-scale image. The concept of skeleton extraction is introduced to detect more general structur...