7393 search results - page 157 / 1479 » Synthesis-for-testability using transformations |
127
Voted
AAIM
2006
Springer
15 years 9 months ago
2006
Springer
We introduce a novel invertible transform for two-dimensional data which has the objective of reordering the matrix so it will improve its (lossless) compression at later stages. T...
116
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
In the beginning, one of the main fields of application of graph transformation was biology, and more specifically morphology. Later, however, it was like if the biological appli...
116
click to vote
JAC
2008
15 years 4 months ago
2008
Abstract. We consider simulations of graph automata. We introduce two local transformations on the neighborhood: splitting and merging. We explain how to use such transformations, ...
109
click to vote
IJCAI
1989
15 years 4 months ago
1989
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programm...
125
click to vote
ECEASST
2006
15 years 3 months ago
2006
This paper discusses the integration of the Dresden OCL Toolkit into the Fujaba Tool Suite. The integration not only adds OCL support for class diagrams but also makes OCL usable i...