5525 search results - page 869 / 1105 » Verification of Model Transformations |
127
click to vote
SIGGRAPH
1999
ACM
15 years 8 months ago
1999
ACM
We generalize basic signal processing tools such as downsampling, upsampling, and filters to irregular connectivity triangle meshes. This is accomplished through the design of a ...
141
click to vote
LCPC
1999
Springer
15 years 8 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
141
click to vote
SCALESPACE
1999
Springer
15 years 8 months ago
1999
Springer
The classical morphological segmentation paradigm is based on the watershed transform, constructed by flooding the gradient image seen as a topographic surface. For flooding a to...
126
click to vote
RIDE
1998
IEEE
15 years 8 months ago
1998
IEEE
Techniques that emphasize software reuse and scalability are becoming more important than ever. In this paper we present a component-basedmodel for continuous-mediaapplications. C...
127
click to vote
DAC
1993
ACM
15 years 8 months ago
1993
ACM
— We consider the resource-constrained scheduling of loops with interiteration dependencies. A loop is modeled as a data flow graph (DFG), where edges are labeled with the numbe...